Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systems.
Ratan LalPavithra PrabhakarPublished in: MEMOCODE (2019)
Keyphrases
- dynamical systems
- differential equations
- nonlinear dynamical systems
- dynamic systems
- control theory
- dynamical models
- state space
- linear systems
- closed form
- qualitative simulation
- phase space
- partially observable
- dynamical behavior
- difference equations
- nonlinear dynamics
- np hard
- bayesian networks
- agent environment
- spatio temporal
- reinforcement learning