Login / Signup
Supervisory Control of Fair Discrete-Event Systems: A Canonical Temporal Logic Foundation.
Kiam Tian Seow
Published in:
IEEE Trans. Autom. Control. (2021)
Keyphrases
</>
temporal logic
discrete event systems
supervisory control
discrete event
dynamic systems
simulation model
model checking
dynamical systems
data acquisition
belief revision
verification method
model based diagnosis
complex systems
linear temporal logic
petri net
power grid