Syntax-based synthesis for temporal-safety supervision

Automatica

Volumn 41, Issue 11, 2005, Pages 1965-1972

  Seow, Kiam Tian ^a  

^a NANYANG TECHNOLOGICAL UNIVERSITY   (Singapore)

Author keywords

Control synthesis; Discrete event systems; Temporal logic

Indexed keywords

ACCIDENT PREVENTION; BOOLEAN ALGEBRA; NATURAL LANGUAGE PROCESSING SYSTEMS;

BOOLEAN EQUATIONS; CONTROL SYNTHESIS; SYNTAX-BASED APPROACH; TEMPORAL LOGIC;

DISCRETE TIME CONTROL SYSTEMS;

EID: 24944540992     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.automatica.2005.05.011     Document Type: Article

References (20)

1. M. Barbeau, F. Kabanza, and R. St.-Denis A method for the synthesis of controllers to handle safety, liveness, and real-time constraints IEEE Transactions on Automatic Control 43 11 1998 1543 1559
2. E.W. Dijkstra, and C.S. Scholten Predicate calculus and program semantics 1990 Springer New York
3. Kumar, R. (1991). Supervisory synthesis techniques for discrete event dynamical systems. Ph.D. thesis, Faculty of the Graduate School, The University of Texas at Austin, USA.
4. R. Kumar, V.K. Garg, and S.I. Marcus Predicate and predicate transformers for supervisory control of discrete event dynamical systems IEEE Transactions on Automatic Control 38 2 1993 232 247
5. Y. Li, and W.M. Wonham Control of vector discrete event systems I - the base model IEEE Transactions on Automatic Control 38 8 1993 1214 1227 (Correction in Vol. 39, p. 1771)
6. Lin, F. (1991). Analysis and synthesis of discrete event systems using temporal logic. In Proceedings of the IEEE international symposium on intelligent control (pp. 140-145). Arlington, VA, USA.
7. Lin, J.-Y. & Ionescu, D. (1990). A generalized temporal logic approach for control problems of a class of nondeterministic discrete event systems. In Proceedings of the 29th IEEE international conference on decision and control (pp. 3440-3445). Honolulu, Hawaii, USA.
8. Z. Manna, and A. Pnueli The temporal logic of reactive and concurrent systems: specification 1992 Springer New York
9. Manna, Z., & the STEP Group. (1995). STeP: The Stanford Temporal Prover (Educational Release), User's Manual. Technical Report STAN-CS-TR-95-1562, Computer Science Department, Stanford University.
10. Ostroff, J. S. (1989). 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 (pp. 155-171, 172-183). New York: Research Studies Press Ltd., Wiley.
11. J.S. Ostroff, and W.M. Wonham A framework for real-time discrete event control IEEE Transactions on Automatic Control 35 4 1990 386 397
12. P.J. Ramadge, and W.M. Wonham Supervisory control of a class of discrete event processes SIAM Journal of Control and Optimization 25 1 1987 206 230
13. P.J. Ramadge, and W.M. Wonham Modular feedback logic for discrete event systems SIAM Journal of Control and Optimization 25 5 1987 1202 1218
14. Ross, K. A., & Wright, C. R. B. (1988). Discrete mathematics (2nd ed.) chapter 2.2: Propositional Calculus. Englewood Cliffs, NJ: Prentice-Hall (Tables on Logical Equivalences, Logical implications and Rules of inference).
15. Seow, K. T. (1997). A temporal logic approach to supervisory control of discrete-event systems. Doctor of Philosophy (Ph.D.) thesis, School of Electrical and Electronic Engineering, Nanyang Technological University, Singapore.
16. K.T. Seow Existence characterizations of temporal-safety supervisors IEEE Transactions on Automatic Control 47 10 2002 1779 1783
17. Seow, K. T., & Devanathan, R. (1995). A temporal logic approach to discrete event control. In Proceedings of the IEEE international conference on robotics and automation (pp. 1435-1440). Nagoya, Japan.
18. K.T. Seow, and R. Devanathan A temporal logic approach to discrete event control for the safety canonical class Systems and Control Letters 28 4 1996 205 217
19. Seow, K. T., & Devanathan, R. (1999). Control computation and complexity of temporal-safety in discrete-event systems. In Proceedings of the American control conference (pp. 1976-1980). San Diego, CA, USA.
20. J.G. Thistle, and W.M. Wonham Control problems in a temporal logic framework International Journal of Control 44 4 1986 943 976