Existence characterizations of temporal-safety supervisors

IEEE Transactions on Automatic Control

Volumn 47, Issue 10, 2002, Pages 1779-1783

  Seow, Kiam Tian ^a  

^a Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

Author keywords

Controllable canonical form; Logical discrete event (DES) system; Supervisory control; Temporal safety

Indexed keywords

CONTROL SYSTEM ANALYSIS; CONTROL SYSTEM SYNTHESIS; CONTROLLABILITY; DISCRETE TIME CONTROL SYSTEMS;

TEMPORAL-SAFETY SUPERVISORS;

SCADA SYSTEMS;

EID: 0036806639     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2002.803562     Document Type: Article

References (19)

1. P.J. Ramadge and W.M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Control Optim., vol. 25, no. 1, pp. 206-230, Jan. 1987.
2. Y. Li and W.M. Wonham, "Control of vector discrete event systems I-The base model," IEEE Trans. Automat. Contr., vol. 38, pp. 1214-1227, Aug. 1993.
3. R. Kumar, V.K. Garg, and S.I. Marcus, "Predicate and predicate transformers for supervisory control of discrete event dynamical systems," IEEE Trans. Automat. Contr., vol. 38, pp. 232-247, Feb. 1993.
4. Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Specification. New York: Springer-Verlag, 1992.
5. A. Fusaoka, H. Seki, and K. Takahashi, "A description and reasoning of plant controllers in temporal logic," in Proc. 8th Int. Joint Con. Artificial Intelligence, 1983, pp. 405-408.
6. J.G. Thistle and W.M. Wonham, "Control problems in a temporal logic framework," Int. J. Control, vol. 44, no. 4, pp. 943-976, Sept. 1986.
7. J.S. Ostroff and W.M. Wonham, "A framework for real-time discrete event control," IEEE Trans. Automat. Contr., vol. 35, pp. 386-397, Apr. 1990.
8. F. Lin, "Analysis and synthesis of discrete event systems using temporal logic," Control Theory Adv. Technol. (CTAT), vol. 9, no. 1, pp. 341-350, Mar. 1993.
9. J.-Y. Lin and D. Ionescu, "A reachability synthesis procedure for discrete event systems in a temporal logic framework," IEEE Trans. Syst., Man, Cybern., vol. 24, pp. 1397-1406, Sept. 1994.
10. M. Barbeau, F. Kabanza, and R. St.-Denis, "A method for the synthesis of controllers to handle safety, liveness, and real-time constraints," IEEE Trans. Automat. Contr., vol. 43, pp. 1543-1559, Nov. 1998.
11. P.E. Caines and S. Wang, "COCOLOG: A conditional observer and controller logic for finite machines," SIAM J. Control Optim., vol. 33, no. 6, pp. 1687-1715, Nov. 1995.
12. K.T. Seow and R. Devanathan, "A temporal logic approach to discrete event control for the safety canonical class," Syst. Control Lett., vol. 28, no. 4, pp. 205-217, Aug. 1996.
13. K.T. Seow, "A temporal logic approach to supervisory control of discrete-event systems," Ph.D. dissertation, School of Elect. Electron. Eng., Nanyang Tech. Univ., Singapore, May 1997.
14. R. Kumar, "Supervisory synthesis techniques for discrete event dynamical systems," Ph.D. dissertation, Faculty of the Graduate School, Univ. of Texas at Austin, Austin, TX, Aug. 1991.
15. Z. Manna and the STEP Group, "STEP: The Stanford Temporal Prover (Educational Release), user's manual," Computer Science Department, Stanford University, Stanford CA STAN-CS-TR-95-1562 Nov. 1995.
16. D. Drusinsky, "The Temporal Rover and the ATG Rover," in Proc. 7th SPIN Workshop, vol. 1885, 2000, pp. 323-330.
17. O. Maler, A. Pnueli, and J. Sifakis, "On the synthesis of discrete controllers for timed systems," in Proc. 12th Ann. Symp. Theoretical Aspects of Computer Science, E. Mayr and C. Puech, Eds., 1995, pp. 229-242.
18. E. Asann, O. Maler, A. Pnueli, and J. Sifakis, "Controller synthesis for timed automata," in Proc. IFAC Symp. System Structure and Control, July 1998, pp. 469-474.
19. E.W. Dijkstra and C.S. Scholten, Predicate Calculus and Program Semantics. New York: Springer-Verlag, 1990.