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

Han Wang (), Kostas Margellos () and Antonis Papachristodoulou ()
Additional contact information
Han Wang: University of Oxford
Kostas Margellos: University of Oxford
Antonis Papachristodoulou: University of Oxford

A chapter in Polynomial Optimization, Moments, and Applications, 2023, pp 207-234 from Springer

Abstract: Abstract 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.

Date: 2023
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:spochp:978-3-031-38659-6_7

Ordering information: This item can be ordered from
http://www.springer.com/9783031386596

DOI: 10.1007/978-3-031-38659-6_7

Access Statistics for this chapter

More chapters in Springer Optimization and Its Applications from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().