Verification and runtime assurance for dynamical systems with uncertainty.

Matthew Abate Mark Mote Eric Feron Samuel Coogan

Published in: HSCC (2021)

Keyphrases

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