Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs.
Hugo N. VillegasDionysios C. AliprantisPublished in: Autom. (2018)
Keyphrases
- dynamic systems
- reachability analysis
- complex systems
- consistency based diagnosis
- qualitative reasoning
- dynamical systems
- discrete event
- markov decision processes
- model checking
- continuous variables
- qualitative models
- ordinary differential equations
- timed automata
- state variables
- state space
- angular velocity
- state estimation
- incremental algorithms
- linear time invariant
- model based diagnosis