Sign in
Supervisory Control of Timed Discrete-Event Systems With Logical and Temporal Specifications.
Francesco Basile
Roberto Cordone
Luigi Piroddi
Published in:
IEEE Trans. Autom. Control. (2022)
Keyphrases
</>
discrete event
discrete event systems
supervisory control
dynamic systems
simulation model
petri net
temporal constraints
temporal information
dynamical systems
computational intelligence
complex systems
temporal reasoning
high speed