Login / Signup
Predicates and predicate transformers for supervisory control of discrete event dynamical systems.
Ratnesh Kumar
Vijay K. Garg
Steven I. Marcus
Published in:
IEEE Trans. Autom. Control. (1993)
Keyphrases
</>
dynamical systems
discrete event
supervisory control
dynamic systems
differential equations
discrete event systems
state space
nonlinear dynamical systems
real time
machine learning
reinforcement learning
simulation model
timed petri nets