IEEE - Institute of Electrical and Electronics Engineers, Inc. - Synthesis of real-time supervisors for controlled time Petri nets

Proceedings of 32nd IEEE Conference on Decision and Control

Author(s): Sathaye, A.S. ; Krogh, B.H.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1993
Conference Location: San Antonio, TX, USA
Conference Date: 15 December 1993
ISBN (Paper): 0-7803-1298-8
DOI: 10.1109/CDC.1993.325157
Regular:

A method is presented to synthesize real-time supervisors for controlled time Petri nets (CtlTPNs) based on the synthesis of logical supervisors for a related untimed controlled automata. The... View More

Advertisement