Yang, Xiaodong; Yamaguchi, Tom; Tran, Hoang-Dung; Hoxha, Bardh; Johnson, Taylor T.; Prokhorov, Danil Neural network repair with reachability analysis. (English) Zbl 07643437 Bogomolov, Sergiy (ed.) et al., Formal modeling and analysis of timed systems. 20th international conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13465, 221-236 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{X. Yang} et al., Lect. Notes Comput. Sci. 13465, 221--236 (2022; Zbl 07643437) Full Text: DOI arXiv
Yang, Xiaodong; Johnson, Taylor T.; Tran, Hoang-Dung; Yamaguchi, Tomoya; Hoxha, Bardh; Prokhorov, Danil Reachability analysis of deep ReLU neural networks using facet-vertex incidence. (English) Zbl 07807691 Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 18, 7 p. (2021). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{X. Yang} et al., in: Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19--21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 18, 7 p. (2021; Zbl 07807691) Full Text: DOI
Tran, Hoang-Dung; Pal, Neelanjana; Musau, Patrick; Lopez, Diego Manzanas; Hamilton, Nathaniel; Yang, Xiaodong; Bak, Stanley; Johnson, Taylor T. Robustness verification of semantic segmentation neural networks using relaxed reachability. (English) Zbl 1493.68221 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 263-286 (2021). MSC: 68Q60 68T07 PDFBibTeX XMLCite \textit{H.-D. Tran} et al., Lect. Notes Comput. Sci. 12759, 263--286 (2021; Zbl 1493.68221) Full Text: DOI
Tran, Hoang-Dung; Pal, Neelanjana; Manzanas Lopez, Diego; Musau, Patrick; Yang, Xiaodong; Nguyen, Luan Viet; Xiang, Weiming; Bak, Stanley; Johnson, Taylor T. Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter. (English) Zbl 1519.68143 Formal Asp. Comput. 33, No. 4-5, 519-545 (2021). MSC: 68Q60 68T07 PDFBibTeX XMLCite \textit{H.-D. Tran} et al., Formal Asp. Comput. 33, No. 4--5, 519--545 (2021; Zbl 1519.68143) Full Text: DOI
Bak, Stanley; Tran, Hoang-Dung; Hobbs, Kerianne; Johnson, Taylor T. Improved geometric path enumeration for verifying ReLU neural networks. (English) Zbl 1478.68142 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12224, 66-96 (2020). MSC: 68Q60 68T07 PDFBibTeX XMLCite \textit{S. Bak} et al., Lect. Notes Comput. Sci. 12224, 66--96 (2020; Zbl 1478.68142) Full Text: DOI
Tran, Hoang-Dung; Bak, Stanley; Xiang, Weiming; Johnson, Taylor T. Verification of deep convolutional neural networks using ImageStars. (English) Zbl 1478.68180 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12224, 18-42 (2020). MSC: 68Q60 68T07 68T45 68U10 PDFBibTeX XMLCite \textit{H.-D. Tran} et al., Lect. Notes Comput. Sci. 12224, 18--42 (2020; Zbl 1478.68180) Full Text: DOI arXiv
Xiang, Weiming; Tran, Hoang-Dung; Yang, Xiaodong; Johnson, Taylor T. Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach. arXiv:2004.12273 Preprint, arXiv:2004.12273 [eess.SY] (2020). BibTeX Cite \textit{W. Xiang} et al., ``Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach'', Preprint, arXiv:2004.12273 [eess.SY] (2020) Full Text: arXiv OA License
Tran, Hoang-Dung; Nguyen, Luan Viet; Hamilton, Nathaniel; Xiang, Weiming; Johnson, Taylor T. Reachability analysis for high-index linear differential algebraic equations. (English) Zbl 1441.93021 André, Étienne (ed.) et al., Formal modeling and analysis of timed systems. 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27–29, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11750, 160-177 (2019). MSC: 93B03 93C15 93C83 93B70 PDFBibTeX XMLCite \textit{H.-D. Tran} et al., Lect. Notes Comput. Sci. 11750, 160--177 (2019; Zbl 1441.93021) Full Text: DOI arXiv
Bak, Stanley; Tran, Hoang-Dung; Johnson, Taylor T. Numerical verification of affine systems with up to a billion dimensions. (English) Zbl 07120137 Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 23-32 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{S. Bak} et al., in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 23--32 (2019; Zbl 07120137) Full Text: DOI arXiv
Xiang, Weiming; Tran, Hoang-Dung; Johnson, Taylor T. Nonconservative lifted convex conditions for stability of discrete-time switched systems under minimum dwell-time constraint. (English) Zbl 1482.93293 IEEE Trans. Autom. Control 64, No. 8, 3407-3414 (2019). MSC: 93C30 93C55 39A12 93B36 93D05 PDFBibTeX XMLCite \textit{W. Xiang} et al., IEEE Trans. Autom. Control 64, No. 8, 3407--3414 (2019; Zbl 1482.93293) Full Text: DOI
Xiang, Weiming; Tran, Hoang-Dung; Johnson, Taylor T. Robust exponential stability and disturbance attenuation for discrete-time switched systems under arbitrary switching. (English) Zbl 1395.93502 IEEE Trans. Autom. Control 63, No. 5, 1450-1456 (2018). MSC: 93D21 93C30 PDFBibTeX XMLCite \textit{W. Xiang} et al., IEEE Trans. Autom. Control 63, No. 5, 1450--1456 (2018; Zbl 1395.93502)
Xiang, Weiming; Tran, Hoang-Dung; Johnson, Taylor T. Output reachable set estimation for switched linear systems and its application in safety verification. (English) Zbl 1390.93142 IEEE Trans. Autom. Control 62, No. 10, 5380-5387 (2017). MSC: 93B03 68Q85 PDFBibTeX XMLCite \textit{W. Xiang} et al., IEEE Trans. Autom. Control 62, No. 10, 5380--5387 (2017; Zbl 1390.93142) Full Text: DOI
Tran, Hoang-Dung; Nguyen, Luan Viet; Xiang, Weiming; Johnson, Taylor T. Order-reduction abstractions for safety verification of high-dimensional linear systems. (English) Zbl 1379.93026 Discrete Event Dyn. Syst. 27, No. 2, 443-461 (2017). MSC: 93B11 93A15 93C05 93B03 PDFBibTeX XMLCite \textit{H.-D. Tran} et al., Discrete Event Dyn. Syst. 27, No. 2, 443--461 (2017; Zbl 1379.93026) Full Text: DOI arXiv