Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications.

Shigemasa Takai

Published in: Autom. (2019)

Keyphrases

discrete event systems
discrete event
supervisory control
dynamic systems
simulation model
petri net
model based diagnosis
complex systems
telecommunication networks
dynamical systems
real time
cooperative
data acquisition
power grid