160 citations · 250 across the 14 of their papers we have counts for
4 papers · 1 filter
Distributed Robust Set-Invariance for Interconnected Linear Systems
Sadra Sadraddini, Calin Belta
We introduce a class of distributed control policies for networks of discrete-time linear systems with polytopic additive disturbances. The objective is to restrict the network-lev…
Provably Safe Cruise Control of Vehicular Platoons
Sadra Sadraddini, Sivaranjani S, Vijay Gupta +1
We synthesize performance-aware safe cruise control policies for longitudinal motion of platoons of autonomous vehicles. Using set-invariance theories, we guarantee infinite-time c…
Formal Methods for Adaptive Control of Dynamical Systems
Sadra Sadraddini, Calin Belta
We develop a method to control discrete-time systems with constant but initially unknown parameters from linear temporal logic (LTL) specifications. We introduce the notions of (no…
Formal Synthesis of Control Strategies for Positive Monotone Systems
Sadra Sadraddini, Calin Belta
We design controllers from formal specifications for positive discrete-time monotone systems that are subject to bounded disturbances. Such systems are widely used to model the dyn…