Verification of continuous dynamical systems by timed automata.
Christoffer SlothRafael WisniewskiPublished in: Formal Methods Syst. Des. (2011)
Keyphrases
- dynamical systems
- timed automata
- model checking
- differential equations
- reachability analysis
- temporal logic
- dynamic systems
- nonlinear dynamical systems
- state space
- linear systems
- finite state
- theorem prover
- partially observable
- phase space
- dynamical behavior
- qualitative simulation
- predictive state representations
- agent environment
- expert systems
- past observations
- dynamical models
- nonlinear dynamics
- partially observable markov decision processes
- theorem proving
- hidden markov models