Search: onr:"swepub:oai:research.chalmers.se:0c7556ab-2800-4cd1-826e-894eeb63d244" >
Compositional Synth...
-
Flordal, Hugo,1977Chalmers tekniska högskola,Chalmers University of Technology
(author)
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence
- Article/chapterEnglish2007
Publisher, publication year, extent ...
-
2007-08-17
-
Springer Science and Business Media LLC,2007
Numbers
-
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
Supplementary language notes
-
Language:English
-
Summary in:English
Part of subdatabase
Classification
-
Subject category:art swepub-publicationtype
-
Subject category:ref swepub-contenttype
Notes
-
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.
Subject headings and genre
Added entries (persons, corporate bodies, meetings, titles ...)
-
Malik, RobiUniversity of Waikato
(author)
-
Fabian, Martin,1960Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)fabian
(author)
-
Åkesson, Knut,1972Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)knut
(author)
-
Chalmers tekniska högskolaUniversity of Waikato
(creator_code:org_t)
Related titles
-
In:Discrete Event Dynamic Systems: Theory and Applications: Springer Science and Business Media LLC17:4, s. 475-5040924-67031573-7594
Internet link
Find in a library
To the university's database