Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson. Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification. IEEE Trans. Automat. Contr., 62(10):5380-5387, 2017. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network ControllersWeiming Xiang, Hoang-Dung Tran, Joel A. Rosenfeld, Taylor T. Johnson. amcc 2018: 1574-1579 [doi] Reachable set estimation and control for switched linear systems with dwell-time restrictionWeiming Xiang, Hoang-Dung Tran, Taylor T. Johnson. cdc 2016: 7246-7251 [doi]
The following publications are possibly variants of this publication: