Predicates and Predicate Transformers for Supervisory Control of Discrete Event Dynamical Systems 1

@inproceedings{Kumar1995PredicatesAP,
  title={Predicates and Predicate Transformers for Supervisory Control of Discrete Event Dynamical Systems 1},
  author={Ratnesh Kumar and Vijay K. Garg and Steven I. Marcus},
  year={1995}
}
Most discrete event system models are based on de ning the alphabet set or the set of events as a fundamental concept. In this paper, we take an alternative view of treating the state space as the fundamental concept. We approach the problem of controlling discrete event systems by using predicates and predicate transformers. Predicates have the advantage that they can concisely characterize an in nite state space. The notion of controllability of a predicate is de ned, and the supervisory… CONTINUE READING
Highly Cited
This paper has 62 citations. REVIEW CITATIONS

Topics

Statistics

0510'96'98'00'02'04'06'08'10'12'14'16'18
Citations per Year

63 Citations

Semantic Scholar estimates that this publication has 63 citations based on the available data.

See our FAQ for additional information.