Supervisory Control of Finite State Machines.
Adnan AzizFelice BalarinRobert K. BraytonMarika Domenica Di BenedettoAlexander SaldanhaPublished in: CAV (1995)
Keyphrases
- finite state machines
- supervisory control
- data acquisition
- discrete event
- power grid
- model checking
- finite state automata
- human operators
- control system
- control architecture
- regular expressions
- dynamic systems
- fault detection and diagnosis
- simulation model
- monitoring system
- database
- data processing
- high speed
- distributed control
- low cost
- complex systems
- power system
- decision makers
- distributed learning
- hidden markov models
- real time