Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools.
Miel SharfBart BesselinkAdam MolinQiming ZhaoKarl Henrik JohanssonPublished in: ADHS (2021)
Keyphrases
- dynamical systems
- computational tools
- nonlinear dynamical systems
- control theory
- differential equations
- dynamic systems
- qualitative simulation
- phase space
- computational methods
- agent environment
- difference equations
- predictive state representations
- linear dynamical systems
- learning tools
- state space
- high precision
- search space
- data analysis