Logic inference based construction of a supervisor for a discrete event system.
Artem DavydovAleksandr LarionovNadezhda V. NagulPublished in: ICCS-DE (2020)
Keyphrases
- discrete event
- dynamic systems
- simulation model
- discrete event simulation
- logical inference
- hybrid systems
- crisis response
- discrete event systems
- multiple faults
- abductive reasoning
- manufacturing process
- supervisory control
- dynamical systems
- inference mechanism
- deductive reasoning
- logic programming
- bayesian networks
- modal logic
- classical logic
- real time
- probabilistic inference
- belief networks