Login / Signup
Nonblocking Supervisory Control Synthesis of Timed Automata using Abstractions and Forcible Events.
Aida Rashidinejad
Patrick van der Graaf
Michel A. Reniers
Published in:
ICARCV (2020)
Keyphrases
</>
timed automata
supervisory control
model checking
data acquisition
power grid
discrete event
theorem proving
control system
fault detection and diagnosis
theorem prover
human operators
control architecture
first order logic
real time
real time systems
dynamical systems
machine learning
dynamic systems
data analysis