Path-complete positivity of switching systems
Accepted version
Peer-reviewed
Repository URI
Repository DOI
Change log
Authors
Forni, Fulvio https://orcid.org/0000-0002-5728-0176
Jungers, RM
Sepulchre, Rodolphe https://orcid.org/0000-0002-7047-3124
Abstract
The notion of path-complete positivity is introduced as a way to generalize the property of positivity from one LTI system to a family of switched LTI systems whose switching rule is constrained by a finite automaton. The generalization builds upon the analogy between stability and positivity, the former referring to the contraction of a norm, the latter referring to the contraction of a cone (or, equivalently, a projective norm). We motivate and investigate the potential of path-positivity and we propose an algorithm for the automatic verification of positivity.
Description
Keywords
positivity, path-complete lyapunov functions, switching systems, monotonicity, perron-frobenius theory
Journal Title
IFAC-PapersOnLine
Conference Name
Journal ISSN
2405-8963
2405-8963
2405-8963
Volume Title
50
Publisher
Elsevier
Publisher DOI
Sponsorship
European Research Council (670645)
European Commission (670645)