Login / Signup
Refinements of Hybrid Dynamical Systems Logic.
André Platzer
Published in:
ABZ (2023)
Keyphrases
</>
dynamical systems
dynamic systems
differential equations
qualitative simulation
phase space
nonlinear dynamical systems
state space
partially observable
control theory
linear systems
neural network
linear quadratic
discrete dynamical systems
machine learning
dynamical models