Reachability Analysis of Linear Systems with Stepwise Constant Inputs.
Paul HänschHilal DiabIbtissem Ben MakhloufStefan KowalewskiPublished in: Electron. Notes Theor. Comput. Sci. (2013)
Keyphrases
- linear systems
- reachability analysis
- markov decision processes
- model checking
- sufficient conditions
- dynamical systems
- state space
- incremental algorithms
- timed automata
- linear equations
- coefficient matrix
- sparse linear systems
- optimization algorithm
- interior point methods
- real time
- inference rules
- qualitative and quantitative
- expert systems
- search algorithm
- reinforcement learning
- artificial intelligence