Characterization, Verification and Computation of Robust Controlled Invariants for Monotone Dynamical Systems.

Adnane Saoud Murat Arcak

Published in: CoRR (2023)

Keyphrases

dynamical systems
differential equations
dynamic systems
nonlinear dynamical systems
state space
control theory
qualitative simulation
linear systems
phase space
dynamical behavior
upper bound
model checking
spatio temporal
control system
finite state
ordinary differential equations