Assessing Safety for Control Systems Using Sum-of-Squares Programming - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2023

Assessing Safety for Control Systems Using Sum-of-Squares Programming

Han Wang
  • Fonction : Auteur
  • PersonId : 1250097
Kostas Margellos
  • Fonction : Auteur
  • PersonId : 1250098

Résumé

In this chapter we introduce the concept of safety for control systems in both continuous and discrete time form. Given a system and a safe set, we say the system is safe if the system state remains inside the safe set for all initial conditions starting from the initial set. Control invariance can be employed to verify safety and design safe controllers. To this end, for general polynomial systems with semi-algebraic safe/initial sets, we show how Sum-of-Squares (SOS) programming can be used to construct invariant sets. For linear systems, evaluating invariance can be much more efficient by using ellipsoidal techniques and dealing with a series of SOS constraints. Following invariance analysis, safe control design and safety verification methods are proposed. We conclude this chapter by showing invariant set construction for both nonlinear and linear systems, and provide MATLAB code for reference.
Fichier principal
Vignette du fichier
POEMA_WMP.pdf (633.75 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04085455 , version 1 (28-04-2023)

Licence

Identifiants

Citer

Han Wang, Kostas Margellos, Antonis Papachristodoulou. Assessing Safety for Control Systems Using Sum-of-Squares Programming. Michal Kočvara; Bernard Mourrain; Cordian Riener. Polynomial Optimization, Moments, and Applications, Springer, pp.187-214, In press. ⟨hal-04085455⟩

Collections

TDS-MACS
69 Consultations
289 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More