Synthesis of controllers to handle safety, and liveness for timed discrete-event systems - an example in nuclear reactor systems

IEEE Conference on Control Applications - Proceedings

Volumn 1, Issue , 2000, Pages 604-609

  Ho, Tan Jan ^a  

^a ROYAL MILITARY COLLEGE OF CANADA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

DEADLOCK AVOIDANCE ALGORITHM; SAFETY SPECIFICATIONS; STATE TRANSITION FUNCTION; TIMED DISCRETE EVENT SYSTEMS;

ACCIDENT PREVENTION; ALGORITHMS; COMPUTER SIMULATION; DISCRETE TIME CONTROL SYSTEMS; DYNAMIC PROGRAMMING; FUNCTIONS; MATHEMATICAL MODELS; NUCLEAR MATERIALS SAFEGUARDS; NUCLEAR REACTORS; PROBLEM SOLVING; SPECIFICATIONS;

CONTROL SYSTEM SYNTHESIS;

EID: 0034477824     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. Z. Banaszak, and B. Krogh, Deadlock Avoidance in flexible manufacturing systems with concurrently competing process flow. IEEE Transactions on Robotics and Automation, 6, pp.724-734, 1990.
2. B.A. Brandin and W.M. Wonham, Supervisory control of timed discrete-event system, IEEE Transactions on Automatic Control, 39, pp.329-342, 1994.
3. T.-J. Ho, The control of real-time discrete-event systems subject to predicate-based constraints, Ph.D. dissertation, Department of Electrical and Computer Engineering, University of Toronto, November, 1997.
4. T.-J. Ho, A new approach to synthesis problems in timed discrete-event systems International Journal of Control,73, pp.505-519, 2000.
5. J. S. Ostroff, and W. M. Wonham, A framework for real-time discrete-event control IEEE Transactions on Automatic Control, 35, pp.386-397, 1990.
6. J.S. Ostroff, Systematic development of controllers for real-time discrete event systems. Proceedings of the European Control Conference, pp. 522-533, 1991
7. P.J. Ramadge, and W.M. Wonham, Modular feedback logic for discrete event systems. SIAM J. Control and Optimization, 25, pp.1202-1218, 1987.
8. Viswanadham et al., Deadlock prevention and deadlock avoidance in flexible manufacturing systems using petri net models. IEEE Transactions on Robotics and Automation,6, pp.713-723, 1990