A temporal logic approach to discrete event control for the safety canonical class

  • Authors:

  • Kiam Tian Seow;R. Devanathan

  • Affiliations:

  • -;-

  • Venue:
  • Systems & Control Letters
  • Year:
  • 1996

Quantified Score

Hi-index 0.00

Visualization

Abstract