Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives.
Eugene AsarinOded MalerAmir PnueliPublished in: Theor. Comput. Sci. (1995)
Keyphrases
- dynamical systems
- piecewise constant
- reachability analysis
- state space
- markov decision processes
- model checking
- higher order
- level set
- timed automata
- incremental algorithms
- level set method
- velocity field
- nonlinear dynamical systems
- partially observable
- mean shift
- partially observable markov decision processes
- markov chain
- machine learning
- predictive state representations
- multiphase image segmentation
- curve evolution
- partial differential equations
- optimal policy
- sufficient conditions
- dynamic programming
- moving objects
- image processing
- computer vision