Sökning: id:"swepub:oai:research.chalmers.se:fffefc6b-69bc-4248-a902-b949b1fd41ab" >
Modular specificati...
Modular specification of forbidden states for supervisory control
-
- Magnusson, Patrik, 1984 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Fabian, Martin, 1960 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Åkesson, Knut, 1972 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
(creator_code:org_t)
- ISBN 9783902661791
- 2010
- 2010
- Engelska.
-
Ingår i: IFAC Proceedings Volumes. 10th International Workshop on Discrete Event Systems (WODES), Berlin, 30 August - 1 September 2010. - 1474-6670. - 9783902661791 ; 10, s. 412-417
- Relaterad länk:
-
http://publications.... (primary) (free)
-
visa fler...
-
https://doi.org/10.3...
-
https://research.cha...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Nyckelord
- discrete event systems
- modular control
- forbidden state problem
- supervisory control
- formal specification
- automata
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
Till lärosätets databas