Sökning: id:"swepub:oai:research.chalmers.se:b717cc47-632e-4082-a9a4-298328dc4a2c" >
State-Vector Transi...
State-Vector Transition Model Applied to Supervisory Control
-
- Lennartson, Bengt, 1956 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Miremadi, Sajed, 1983 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Fei, Zhennan, 1984 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
visa fler...
-
- Noori-Hosseini, Mona, 1982 (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
-
visa färre...
-
(creator_code:org_t)
- ISBN 9781467347372
- 2012
- 2012
- Engelska.
-
Ingår i: 17th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA). - 9781467347372
- Relaterad länk:
-
http://publications.... (primary) (free)
-
visa fler...
-
https://doi.org/10.1...
-
https://research.cha...
-
visa färre...
Abstract
Ämnesord
Stäng
- In supervisory control theory, a supervisor restricts the plant in order to fulfill given specifications. A problem for larger industrial applications is that the resulting supervisor is not easily implemented and comprehensible for the users. To tackle this problem, an efficient method has recently been introduced to characterize a supervisor by tractable logic conditions, referred to as guards. This approach has been developed for a specific type of automata with variables called extended finite automata (EFAs). An extension of this approach to a more general class of models is presented in this paper. It means that classical supervisory control problems for automata and Petri nets are easily and efficiently solved, but also generalized based on the suggested approach. The synthesis procedure is naturally modeled and efficiently computed based on binary decision diagrams.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Robotteknik och automation (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Robotics (hsv//eng)
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
Till lärosätets databas
- Av författaren/redakt...
-
Lennartson, Beng ...
-
Miremadi, Sajed, ...
-
Fei, Zhennan, 19 ...
-
Noori-Hosseini, ...
-
Fabian, Martin, ...
-
Åkesson, Knut, 1 ...
- Om ämnet
-
- TEKNIK OCH TEKNOLOGIER
-
TEKNIK OCH TEKNO ...
-
och Elektroteknik oc ...
-
och Robotteknik och ...
- Artiklar i publikationen
-
17th IEEE Intern ...
- Av lärosätet
-
Chalmers tekniska högskola