Paper Info
Title
Modular specification of forbidden states for supervisory control.
Abstract
A method for solving the forbidden state problem in the Supervisory Control Theory framework is presented. In many real-world applications both the plant and specification is given as a set of interacting automata or processes. In this work, we enable specification of forbidden states within such a modular structure. The aim with the method is to make each forbidden modular state combination uncontrollable. It is then possible to use efficient modular synthesis algorithms for calculation of a modular supervisor where the forbidden states are removed.
Year
DOI
Venue
2010
10.3182/20100830-3-DE-4013.00068
IFAC Proceedings Volumes
Keywords
Field
DocType
discrete event systems,automata,modular control,supervisory control,formal specification,forbidden state problem
Supervisor,Programming language,Supervisory control,Automaton,Supervisory control theory,Formal specification,Control engineering,Modular design,Modular specification,Mathematics,Modular structure
Conference
Volume
Issue
ISSN
43
12
1474-6670
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
Patrik Magnusson100.34
Martin Fabian220427.91
Knut Åkesson330233.72