Verification and Synthesis in Description Logic Based Dynamic Systems.
Diego CalvaneseGiuseppe De GiacomoMarco MontaliFabio PatriziPublished in: RR (2013)
Keyphrases
- dynamic systems
- complex systems
- qualitative reasoning
- discrete event
- dynamical systems
- mechanical devices
- consistency based diagnosis
- state estimation
- high level
- particle filter
- model checking
- state variables
- knowledge representation
- cooperative
- model based diagnosis
- linear time invariant
- learning algorithm
- dynamic environments
- continuous variables
- objective function
- verification method