Generalized Cactus and Structural Controllability of Switched Linear Continuous-Time Systems
Yuan Zhang, Yuanqing Xia, Aming Li

TL;DR
This paper introduces new graph-theoretic concepts and provides a comprehensive proof for the structural controllability of switched linear continuous-time systems, extending existing cactus-based criteria to this class of systems.
Contribution
It develops novel graph-theoretic tools and offers a generalized cactus-based criterion for structural controllability of switched systems, filling a key gap in the literature.
Findings
Provides a comprehensive proof for the controllability criterion.
Introduces generalized cactus-based graph-theoretic criterion.
Extends Lin's cactus condition to switched systems.
Abstract
This paper explores the structural controllability of switched linear continuous-time systems. It first identifies a gap in the proof for a pivotal criterion for the structural controllability of switched linear systems in the literature. To address this void, we develop novel graph-theoretic concepts, such as multi-layer dynamic graphs, generalized stems/buds, and generalized cacti, and based on them, provide a comprehensive proof for this criterion. Our approach also induces a new, generalized cactus based graph-theoretic criterion for structural controllability. This not only extends Lin's cactus-based graph-theoretic condition to switched systems for the first time, but also provides a lower bound for the generic dimension of controllable subspaces.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Gene Regulatory Network Analysis · Stability and Control of Uncertain Systems
