Regularity of optimal solutions and the optimal cost for hybrid dynamical systems via reachability analysis.
Berk AltinRicardo G. SanfelicePublished in: Autom. (2023)
Keyphrases
- dynamical systems
- optimal cost
- reachability analysis
- optimal solution
- lower bound
- total cost
- state space
- markov decision processes
- model checking
- upper bound
- nonlinear dynamical systems
- timed automata
- search space
- expected cost
- np hard
- objective function
- predictive state representations
- incremental algorithms
- partially observable
- phase space
- linear programming
- agent environment
- learning tasks
- optimal policy
- markov chain