Verifying finite state real-time discrete event processes.
Jonathan S. OstroffPublished in: ICDCS (1989)
Keyphrases
- finite state
- discrete event
- real time
- model checking
- dynamic systems
- markov chain
- simulation model
- markov decision processes
- hybrid systems
- discrete event systems
- discrete event simulation
- crisis response
- temporal logic
- optimal policy
- low cost
- partially observable markov decision processes
- supervisory control
- dynamical systems
- action sets
- multiple faults
- dynamic programming
- control system
- context free
- data acquisition
- policy iteration
- average cost
- tree automata
- cooperative
- vector quantization
- reinforcement learning