Minimum Structural Sensor Placement for Switched Linear Time-Invariant Systems and Unknown Inputs
Emily A. Reed, Guilherme Ramos, Paul Bogdan, S\'ergio Pequito

TL;DR
This paper establishes conditions for structural observability in switched LTI systems with unknown inputs and proposes efficient algorithms for optimal sensor placement, applicable to large-scale systems.
Contribution
It provides necessary and sufficient conditions for observability and introduces algorithms for minimum sensor placement with improved computational efficiency.
Findings
Conditions for structural state and input observability are efficiently verifiable.
An algorithm for minimum sensor placement with complexity $O((m(n+p)+eta)^{2.373})$ is proposed.
Structured assumptions enable lower complexity algorithms suitable for large systems.
Abstract
In this paper, we study the structural state and input observability of continuous-time switched linear time-invariant systems and unknown inputs. First, we provide necessary and sufficient conditions for their structural state and input observability that can be efficiently verified in , where is the number of state variables, is the number of unknown inputs, and is the number of modes. Moreover, we address the minimum sensor placement problem for these systems by adopting a feed-forward analysis and by providing an algorithm with a computational complexity of , where is the number of target strongly connected components of the system's digraph representation. Lastly, we explore different assumptions on both the system and unknown inputs (latent space) dynamics that add more structure to the problem, and thereby, enable…
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
TopicsPetri Nets in System Modeling · Advanced Control Systems Optimization · Formal Methods in Verification
