Polytopic Invariant Verification and Synthesis for Polynomial Dynamical Systems via Linear Programming
Mohamed Amin Ben SassiAntoine GirardPublished in: CoRR (2010)
Keyphrases
- dynamical systems
- linear programming
- dynamic systems
- differential equations
- dynamic programming
- state space
- qualitative simulation
- np hard
- nonlinear dynamical systems
- phase space
- control theory
- model checking
- linear systems
- partially observable
- optimal solution
- nonlinear programming
- predictive state representations
- dynamical models
- agent environment
- dynamical behavior
- optimal policy
- sufficient conditions
- markov chain
- objective function