Abstract: Modular supervisory control of composed systems is investigated. The composed systems are discrete event systems represented by the composition of smaller subsystems. This paper refines the modular control by exploiting aspects of modularity of specifications and of plant, aiming to incorporate the least necessary number of sub-systems in each control module. Then, a more efficient approach to verify modularity and synthesize modular controllers for composed systems is formulated and illustrated by an example.
Publication Year: 2000
Publication Date: 2000-01-01
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 83
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot