Browsing by Subject "model reduction synthesis"
Now showing items 1-1 of 1
(Springer Netherlands, 2007)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 ...