Login / Signup
Characterization, verification and computation of robust controlled invariants for monotone dynamical systems.
Adnane Saoud
Murat Arcak
Published in:
Math. Control. Signals Syst. (2024)
Keyphrases
</>
dynamical systems
dynamic systems
differential equations
control theory
linear systems
nonlinear dynamical systems
qualitative simulation
upper bound
phase space
nonlinear dynamics
dynamical behavior
discrete dynamical systems
state space
model checking