Invariant-based Supervisory Control of Switched Discrete Event Systems.

Spyros A. Reveliotis Zhennan Fei

Published in: ADHS (2015)

Keyphrases

discrete event systems
supervisory control
discrete event
dynamic systems
simulation model
dynamical systems
data acquisition
complex systems
petri net
database systems
telecommunication networks
low cost
model checking