Abstract Verification of Structured Dynamical Systems.

Michel Sintzoff

Published in: Hybrid Systems (1995)

Keyphrases

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