Sökning: onr:"swepub:oai:research.chalmers.se:0c7556ab-2800-4cd1-826e-894eeb63d244" >
Compositional Synth...
-
Flordal, Hugo,1977Chalmers tekniska högskola,Chalmers University of Technology
(författare)
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence
- Artikel/kapitelEngelska2007
Förlag, utgivningsår, omfång ...
-
2007-08-17
-
Springer Science and Business Media LLC,2007
Nummerbeteckningar
-
LIBRIS-ID:oai:research.chalmers.se:0c7556ab-2800-4cd1-826e-894eeb63d244
-
https://doi.org/10.1007/s10626-007-0018-zDOI
-
https://research.chalmers.se/publication/67415URI
Kompletterande språkuppgifter
-
Språk:engelska
-
Sammanfattning på:engelska
Ingår i deldatabas
Klassifikation
-
Ämneskategori:art swepub-publicationtype
-
Ämneskategori:ref swepub-contenttype
Anmärkningar
-
This paper presents a general framework for efficient synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of process equivalence. In this context, a large number of ways are suggested how a finite-state automaton can be simplified such that the results of supervisor synthesis are preserved. The proposed approach yields a compact representation of a least restrictive supervisor that ensures controllability and nonblocking. The method is demonstrated on a simple manufacturing example to significantly reduce the number of states constructed for supervisor synthesis. © 2007 Springer Science+Business Media, LLC.
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Malik, RobiUniversity of Waikato
(författare)
-
Fabian, Martin,1960Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)fabian
(författare)
-
Åkesson, Knut,1972Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)knut
(författare)
-
Chalmers tekniska högskolaUniversity of Waikato
(creator_code:org_t)
Sammanhörande titlar
-
Ingår i:Discrete Event Dynamic Systems: Theory and Applications: Springer Science and Business Media LLC17:4, s. 475-5040924-67031573-7594
Internetlänk
Hitta via bibliotek
Till lärosätets databas