Consistency checking scenario-based specifications of dynamic systems by combining simulation and synthesis.
Joel GreenyerJens FriebenPublished in: BM-FA (2012)
Keyphrases
- dynamic systems
- consistency checking
- discrete event
- complex systems
- qualitative reasoning
- consistency based diagnosis
- dynamical systems
- query answering
- simulation model
- linear time invariant
- qualitative models
- mathematical models
- temporal constraints
- particle filter
- machine learning
- multi agent systems
- cooperative
- high level
- metadata