Sökning: id:"swepub:oai:research.chalmers.se:94eb2935-7a63-4dc4-a2af-40d435aa7256" >
Efficient Superviso...
Efficient Supervisory Synthesis to Large-Scale Discrete Event Systems Modeled as Extended Finite Automata
-
- 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)
- 2012
- Engelska.
- Relaterad länk:
-
http://publications.... (primary) (free)
-
visa fler...
-
https://research.cha...
-
visa färre...
Abstract
Ämnesord
Stäng
- The state-space explosion problem, resulting from the reachability computation of the synthesis task, is one of main obstacles preventing the supervisory control theory (SCT) from having a major industrial breakthrough. To alleviate this problem, a well-known strategy is to utilize binary decision diagrams (BDDs) to represent system transition relations and compute supervisors symbolically. Based on this principle, we present in this paper an efficient reachability approach to large-scale discrete event systems modeled as finite automata with variables. By making use of the disjunctive partitioning technique, the proposed approach partitions the transition relation of a considered system into a set of partial transition relations according to included events. Then those partial transition relations are selected systematically to perform the reachability computation. Consequently, more iterations might be required to compute the fixed point, but the inter- mediate BDDs are smaller. As a supplement to prior framework, the approach has been implemented in the supervisory control tool Supremica and the efficiency is demonstrated on a set of industrially relevant benchmark problems.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Maskinteknik -- Produktionsteknik, arbetsvetenskap och ergonomi (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Mechanical Engineering -- Production Engineering, Human Work Science and Ergonomics (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Supervisory Control Theory
- Partitioning Techniques
- Binary Decision Diagrams
Publikations- och innehållstyp
- rap (ämneskategori)
- vet (ämneskategori)