Abstract
We present an algorithm for finding piece-wise linear Lyapunov functions that verify the asymptotic stability of piece-wise linear differential inclusions. Existing methods either use a fixed set of pieces (a partition) to define the Lyapunov function, or use heuristic methods to split the pieces, thereby refining the partition. Our algorithm involves iteratively refining partitions using an exact criterion which strictly reduces the set of points over which the Lyapunov function is non-decreasing.
Original language | English |
---|---|
Title of host publication | 2019 IEEE 58th Conference on Decision and Control, CDC 2019 |
Pages | 1442-1447 |
Number of pages | 6 |
ISBN (Electronic) | 9781728113982 |
DOIs | |
State | Published - Dec 2019 |
Event | 58th IEEE Conference on Decision and Control, CDC 2019 - Nice, France Duration: Dec 11 2019 → Dec 13 2019 |
Publication series
Name | Proceedings of the IEEE Conference on Decision and Control |
---|---|
Volume | 2019-December |
ISSN (Print) | 0743-1546 |
ISSN (Electronic) | 2576-2370 |
Conference
Conference | 58th IEEE Conference on Decision and Control, CDC 2019 |
---|---|
Country/Territory | France |
City | Nice |
Period | 12/11/19 → 12/13/19 |
Bibliographical note
Publisher Copyright:© 2019 IEEE.
ASJC Scopus subject areas
- Control and Systems Engineering
- Modeling and Simulation
- Control and Optimization