Symbolic discrete event system specification.
Bernard P. ZeiglerSung-Do ChiPublished in: IEEE Trans. Syst. Man Cybern. (1992)
Keyphrases
- discrete event
- dynamic systems
- simulation model
- discrete event simulation
- high level
- crisis response
- hybrid systems
- multiple faults
- dynamical systems
- supervisory control
- discrete event systems
- state transition
- manufacturing process
- distributed agents
- symbolic description
- complex systems
- mathematical modeling
- expert systems
- formal specification
- decision making
- machine learning
- databases