Login / Signup
Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools.
Miel Sharf
Bart Besselink
Adam Molin
Qiming Zhao
Karl Henrik Johansson
Published in:
CoRR (2020)
Keyphrases
</>
dynamical systems
computational tools
nonlinear dynamical systems
control theory
dynamic systems
differential equations
computational methods
qualitative simulation
phase space
state space
predictive state representations
difference equations
network model
data analysis
co occurrence
qualitative reasoning