Recognizable Graph Languages for the Verification of Dynamic Systems.
Christoph BlumePublished in: ICGT (2010)
Keyphrases
- dynamic systems
- complex systems
- discrete event
- graph theory
- qualitative reasoning
- dynamical systems
- graph structure
- consistency based diagnosis
- state variables
- random walk
- model based diagnosis
- particle filter
- state estimation
- linear time invariant
- graph representation
- weighted graph
- qualitative models
- language independent
- cross lingual
- continuous variables
- directed graph
- expressive power
- model checking
- picture languages
- social networks
- structured data
- multi agent systems
- cooperative