PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Xiang, Weiming"

Author of the publication

copydeleteadd this publication to your clipboard
Parallelizable reachability analysis algorithms for feed-forward neural networks.

, , , , , , and . FormaliSE@ICSE, page 31-40. IEEE / ACM, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Xiang Hao University of Stuttgart

Xiang Xu University of Stuttgart

 

Other publications of authors with the same name

Stability analysis and failure tolerant control for discrete-time linear systems with controller failure., , and . Int. J. Control, 88 (3): 559-570 (2015)Observer Design for a Class of switched nonlinear Systems., and . Control and Intelligent Systems, (2008)ℋ∞ Control Synthesis for Short-Time Markovian Jump Continuous-Time Linear Systems., , and . CSSP, 32 (6): 2799-2820 (2013)Necessary and Sufficient Condition for Stability of Switched Uncertain Linear Systems Under Dwell-Time Constraint.. IEEE Trans. Automat. Contr., 61 (11): 3619-3624 (2016)Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression., and . CoRR, (2022)H∞ filtering for switched nonlinear systems under asynchronous switching., and . Int. J. Systems Science, 42 (5): 751-765 (2011)On stability and H∞ control of switched systems with random switching signals., , and . Automatica, (2018)Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems., , , and . CoRR, (2018)Output Reachable Set Estimation and Verification for Multilayer Neural Networks., , and . IEEE Trans. Neural Netw. Learning Syst., 29 (11): 5777-5783 (2018)Star-Based Reachability Analysis of Deep Neural Networks., , , , , , and . FM, volume 11800 of Lecture Notes in Computer Science, page 670-686. Springer, (2019)