Verifying Provable Stability Domains for Discrete-Time Systems Using Ellipsoidal State Enclosures.

Andreas Rauh Auguste Bourgois Luc Jaulin

Published in: Acta Cybern. (2022)

Keyphrases

real time
state space
data sets
management system
building blocks
multi agent systems
digital libraries
application domains
retrieval systems
finite state machines
stability analysis
dynamic constraints