Verification and Synthesis in Description Logic Based Dynamic Systems (Abridged Version).
Diego CalvaneseGiuseppe De GiacomoMarco MontaliFabio PatriziPublished in: AIBP@AI*IA (2013)
Keyphrases
- dynamic systems
- complex systems
- qualitative reasoning
- discrete event
- dynamical systems
- mechanical devices
- consistency based diagnosis
- knowledge representation
- state variables
- high level
- ordinary differential equations
- continuous variables
- linear time invariant
- qualitative models
- model based diagnosis
- particle filter
- structural analysis
- signature verification
- cooperative