Simulation Based Computation of Certificates for Safety of Dynamical Systems.

Stefan Ratschan

Published in: FORMATS (2017)

Keyphrases

dynamical systems
differential equations
dynamic systems
nonlinear dynamical systems
state space
phase space
linear systems
control theory
qualitative simulation
dynamical models
agent environment
sufficient conditions
partially observable
predictive state representations
dynamical behavior