Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence

Flordal, Hugo,1977Chalmers tekniska högskola,Chalmers University of Technology (författare)

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.

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)

Ingår i:Discrete Event Dynamic Systems: Theory and Applications: Springer Science and Business Media LLC17:4, s. 475-5040924-67031573-7594

Av författaren/redakt...: Flordal, Hugo, 1 ...; Malik, Robi; Fabian, Martin, ...; Åkesson, Knut, 1 ...

Om ämnet

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.