Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis.
Diego CalvaneseMarco MontaliFabio PatriziGiuseppe De GiacomoPublished in: IJCAI (2015)
Keyphrases
- dynamic systems
- complex systems
- qualitative reasoning
- consistency based diagnosis
- discrete event
- dynamical systems
- state variables
- high level
- model based diagnosis
- particle filter
- model checking
- state estimation
- cooperative
- qualitative models
- continuous variables
- dynamic bayesian networks
- texture synthesis
- qualitative and quantitative
- knowledge representation
- linear time invariant