Supervisory control of timed automata.
Alexia GouinLaurent LibeautJean-Louis FerrierPublished in: ECC (1999)
Keyphrases
- timed automata
- supervisory control
- data acquisition
- discrete event
- model checking
- power grid
- theorem prover
- fault detection and diagnosis
- human operators
- theorem proving
- control system
- dynamic systems
- control architecture
- first order logic
- simulation model
- multi agent learning
- data collection
- neural network
- fault diagnosis
- power system
- multi agent reinforcement learning
- fault detection
- dynamic environments
- data management
- artificial intelligence