The Existence of the Supervisor of Product Composition for Discrete Event Systems
Tian Xiaoli
Abstract
Tian Xiaoli
Abstract
Discrete event systems are event-driven dynamic systems,which are mostly modeled by finite automata.Regarding product composition of two discrete event subsystems,two supervisor existence theorems are given with respect to different control specifications.The results provide theoretical basis to synthesize complex systems and develop new prospect in the application of the supervisory control theory of discrete event systems.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
Discrete event systems are event-driven dynamic systems,which are mostly modeled by finite automata.Regarding product composition of two discrete event subsystems,two supervisor existence theorems are given with respect to different control specifications.The results provide theoretical basis to synthesize complex systems and develop new prospect in the application of the supervisory control theory of discrete event systems.
Key concepts: Supervisor, Discrete event dynamic system, Supervisory control theory, Supervisory control, Automaton, Event (particle physics), Computer science, Discrete system