Supervisory control of hybrid systems wi
β
T. Moor; J. Raisch
π
Article
π
1999
π
Elsevier Science
π
English
β 145 KB
This contribution addresses the synthesis of supervisory control for hybrid systems with discrete external signals. Such systems are in general neither l-complete nor can they be represented by ΓΏnite state machines. We ΓΏnd an l-complete approximation (abstraction) l for , represent it by a ΓΏnite sta