Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification

DOI10.1109/TAC.2017.2692100zbMath1390.93142OpenAlexW2605373881MaRDI QIDQ4566878

Hoang-Dung Tran, Weiming Xiang, Taylor T. Johnson

Publication date: 27 June 2018

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2017.2692100

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Attainable sets, reachability (93B03)

Related Items (19)

Reachable set estimation for switched linear systems with dwell-time switching ⋮ Unnamed Item ⋮ A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems ⋮ Reachable set estimation and decentralized control synthesis of large‐scale switched systems under mixed switching ⋮ Reachable set estimation and aperiodic sampled‐data controller design for Markovian jump systems ⋮ Observer-based output reachable set synthesis for periodic piecewise time-varying systems ⋮ Estimation of reachable set for switched singular systems with time-varying delay and state jump ⋮ Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks ⋮ \(H_\infty\) filtering for discrete-time cyclic switched systems: relaxed cycle-dependent persistent dwell-time constraints with averaging treatment ⋮ Reachable set synthesis of singular Markovian jump systems ⋮ Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay ⋮ Output reachable set estimation for discrete-time switched systems with persistent dwell-time ⋮ Event-triggered \(\mathcal{L}_\infty\) control for network-based switched linear systems with transmission delay ⋮ Estimation and synthesis of reachable set for singular Markovian jump systems ⋮ Linear functional state bounding for positive systems with disturbances varying within a bounded set ⋮ Reachable set synthesis for singular systems with time-varying delay via the adaptive event-triggered scheme ⋮ State bounding for time-delay impulsive and switching genetic regulatory networks with exogenous disturbance ⋮ Peak-to-peak filtering for periodic piecewise linear polytopic systems ⋮ Zonotopic reachable set estimation for bilinear systems with time-varying delays

This page was built for publication: Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification