Supervisory Control Synthesis of Timed Automata Using Forcible Events.

Aida Rashidinejad Michel A. Reniers Martin Fabian

Published in: CoRR (2021)

Keyphrases

timed automata
supervisory control
data acquisition
model checking
discrete event
power grid
theorem prover
hidden semi markov models
fault detection and diagnosis
dynamic systems
first order logic
human operators
theorem proving
particle filter
high speed
expert systems
decision making
artificial intelligence