Login / Signup
Supervisory Control Synthesis of Timed Automata Using Forcible Events.
Aida Rashidinejad
Michel A. Reniers
Martin Fabian
Published in:
IEEE Trans. Autom. Control. (2024)
Keyphrases
</>
timed automata
supervisory control
model checking
data acquisition
discrete event
power grid
theorem prover
first order logic
fault detection and diagnosis
theorem proving
control system
dynamic systems
human operators
real time systems
simulation model
multi agent
control architecture
human activities
fuzzy logic