A Compositional Dissipativity Approach for Data-Driven Safety Verification of Large-Scale Dynamical Systems.
Abolfazl LavaeiSadegh SoudjaniEmilio FrazzoliPublished in: IEEE Trans. Autom. Control. (2023)
Keyphrases
- dynamical systems
- data driven
- differential equations
- dynamic systems
- nonlinear dynamical systems
- linear systems
- state space
- control theory
- phase space
- model checking
- dynamical models
- partially observable
- qualitative simulation
- agent environment
- search algorithm
- markov chain
- dynamical behavior
- qualitative differential equations