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

Systems and Control Letters

Volumn 28, Issue 4, 1996, Pages 205-217

  Seow, Kiam Tian ^a   Devanathan, R ^a  

^a NANYANG TECHNOLOGICAL UNIVERSITY   (Singapore)

Author keywords

Discrete event systems; Safety canonical class; Supervisory control; Temporal logic

Indexed keywords

EID: 0001544884     PISSN: 01676911     EISSN: None     Source Type: Journal    
DOI: 10.1016/0167-6911(96)00032-1     Document Type: Article

References (17)

1. E.W. Dijkstra and C.S. Scholten, Predicate Calculus and Program Semantics (Springer, New York, 1990).
2. M. Heymann, Concurrency and discrete event control, IEEE Control Systems Mag. 10 (4) (1990) 103-112.
3. C.A.R. Hoare, Communicating Sequential Processes, International Series in Computer Science (Prentice-Hall, Englewood Cliffs, NJ, 1985).
4. R. Kumar, V.K. Garg and S.I. Marcus, Predicate and predicate transformers for supervisory control of discrete event dynamical systems, IEEE Trans. Automat. Control 38(2) (1993) 232-247.
5. Y.Li and W.M. Wonham, Controllability and observability in the state-feedback control of discrete event systems, Proc. 27th IEEE Internat. Conf. on Decision and Control, Austin, TX (1988) 203-208.
6. Y. Li and W.M. Wonham, Control of vector discrete event systems I - the base model, IEEE Trans. Automat. Control 38(8) (1993) 1214-1227.
7. Z. Manna and A. Pnueli, A temporal proof system, in: J.W. de Bakker and J.V. Leeuwen, eds., Foundations of Computer Science IV, Distributed Systems: Part 2, Semantics and Logic, Mathematical Centre Tracts, Vol. 159 (Mathematisch Centrum, Amsterdam, 1983) 163-255.
8. Z. Manna and A. Pneuli, The Temporal Logic of Reactive and Concurrent Systems: Specification (Springer, New York, 1992).
9. J.S. Ostroff, Appendix A: Formal overview of temporal logic and Appendix B: Temporal logic theorems and rules, in: Temporal Logic for Real Time Systems, Advanced Software Development Series (Research Studies Press, Wiley, New York, 1989) pp. 155-171, 172-183.
10. P.J. Ramadge, Some tractable supervisory control problems for discrete-event systems modeled by Büchi automata, IEEE Trans. Automat. Control 34(1) (1989) 10-19.
11. P.J. Ramadge and W.M. Wonham, Modular feedback logic for discrete event systems, SIAM J. Control Optim. 25(5) (1987) 1202-1218.
12. P.J. Ramadge and W.M. Wonham, Supervisory control of a class of discrete event processes, SIAM J. Control Optim. 25(1) (1987) 206-230.
13. P.J. Ramadge and W.M. Wonham, The control of discrete event systems, Proc. IEEE 77(1) (1989) 81-98.
14. K.A. Ross and C.R.B. Wright, Discrete Mathematics, Ch. 2.2: Propositional Calculus (Prentice-Hall, Englewood Cliffs, NJ, 2nd ed., 1988). Tables on Logical equivalences, Logical implications and Rules of inference.
15. R. Smedinga, Locked discrete event systems: How to model and how to unlock, Discrete Event Dynamic Systems: Theory and Applications 3/4(2) (1993) 265-297.
16. T. Ushio, Controllability and control-invariance in discrete-event systems, Internat. J. Control 50 (1989) 1507-1515.
17. T. Ushio, Y. Li and W.M. Wonham, Concurrency and state feedback in discrete event systems, IEEE Trans. Automat. Control 37 (1992) 1180-1184.