Now showing items 1-1 of 1
Bisimulation, the Supervisory Control Problem and Strong Model Matching for Finite State Machines
(Kluwer Academic Publishers; Springer Science+Business Media, 1998-12)
A fundamental relationship between the controllability of a language with respect to another language and a set of uncontrollable events in the Supervisory Control Theory initiated by (Ramadge and Wonham, 1989) and ...