Login / Signup
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems.
Sergio Mover
Alessandro Cimatti
Alberto Griggio
Ahmed Irfan
Stefano Tonetta
Published in:
CAV (1) (2021)
Keyphrases
</>
dynamical systems
semi algebraic
spatial databases
differential equations
arbitrary dimension
dynamic systems
nonlinear dynamical systems
state space
qualitative simulation
phase space
predictive state representations
dynamical behavior
spatial data
r tree
data mining
query processing
image processing