Tyck till om SwePub Sök
här!
Sökning: id:"swepub:oai:research.chalmers.se:439bf0a7-0aac-4e5b-b843-977a8b927b51" >
Symbolic State-Spac...
Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory
-
- Fei, Zhennan, 1984 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Miremadi, Sajed, 1983 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Åkesson, Knut, 1972 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
visa fler...
-
- Lennartson, Bengt, 1956 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
visa färre...
-
(creator_code:org_t)
- ISBN 9783642299650
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
- 2013
- Engelska.
-
Ingår i: Communications in Computer and Information Science. - Berlin, Heidelberg : Springer Berlin Heidelberg. - 1865-0937 .- 1865-0929. - 9783642299650 ; 271, s. 161-175
- Relaterad länk:
-
http://dx.doi.org/10...
-
visa fler...
-
https://research.cha...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- Supervisory Control Theory (SCT) is a model-based framework for automatically synthesizing a supervisor that minimally restricts the behavior of a plant such that given specifications is fulfilled. The main obstacle which prevents SCT from having a major industrial breakthrough is that the supervisory synthesis, consisting of a series of reachability tasks, suffers from the state-space explosion problem. To alleviate this problem, a well-known strategy is to represent and explore the state-space symbolically by using Binary Decision Diagrams. Based on this principle, an alternative symbolic state-space traversal approach, depending on the disjunctive partitioning technique, is presented in this paper. In addition, the approach is adapted to the prior work, the guard generation procedure, to extract compact propositional formulae from a symbolically represented supervisor. These propositional formulae, referred to as guards, are then attached to the original model, resulting in a modular and comprehensible representation of the supervisor.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering (hsv//eng)
Nyckelord
- Binary decision diagrams
- Supervisory control theory
- Propositional formulae
- Partitioning techniques
- State-space exploration
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
Till lärosätets databas