Formalization of resilience for constraint-based dynamic systems.
Nicolas SchwindMorgan MagninKatsumi InoueTenda OkimotoTaisuke SatoKazuhiro MinamiHiroshi MaruyamaPublished in: J. Reliab. Intell. Environ. (2016)
Keyphrases
- dynamic systems
- complex systems
- qualitative reasoning
- discrete event
- consistency based diagnosis
- dynamical systems
- knowledge representation
- formal model
- state variables
- qualitative models
- model based diagnosis
- constraint satisfaction
- linear time invariant
- state estimation
- operational semantics
- partial differential equations
- machine learning
- dynamic environments
- particle filter