9 citations · 17 across the 3 of their papers we have counts for
3 papers
Distributed Safe Control Design and Probabilistic Safety Verification for Multi-Agent Systems
Han Wang, Antonis Papachristodoulou, Kostas Margellos
We propose distributed iterative algorithms for safe control design and safety verification for networked multi-agent systems. These algorithms rely on distributing a control barri…
Safe Controlled Invariance for Linear Systems Using Sum-of-Squares Programming
Han Wang, Kostas Margellos, Antonis Papachristodoulou
Safety is closely related to set invariance for dynamical systems. However, synthesizing a safe invariant set and at the same time synthesizing the associated safe controller still…
Safety Verification and Controller Synthesis for Systems with Input Constraints
Han Wang, Kostas Margellos, Antonis Papachristodoulou
In this paper we consider the safety verification and safe controller synthesis problems for nonlinear control systems. The Control Barrier Certificates (CBC) approach is proposed…