PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Xiang, Weiming"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Real-Time Verification for Distributed Cyber-Physical Systems.

, , , , und . CoRR, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Xiang Hao University of Stuttgart

Xiang Xu University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

ℋ∞ Control Synthesis for Short-Time Markovian Jump Continuous-Time Linear Systems., , und . CSSP, 32 (6): 2799-2820 (2013)Observer Design for a Class of switched nonlinear Systems., und . Control and Intelligent Systems, (2008)Stability analysis and failure tolerant control for discrete-time linear systems with controller failure., , und . Int. J. Control, 88 (3): 559-570 (2015)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., und . CoRR, (2022)Parallelizable reachability analysis algorithms for feed-forward neural networks., , , , , , und . FormaliSE@ICSE, Seite 31-40. IEEE / ACM, (2019)On stability and H∞ control of switched systems with random switching signals., , und . Automatica, (2018)Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems., , , und . CoRR, (2018)Output Reachable Set Estimation and Verification for Multilayer Neural Networks., , und . IEEE Trans. Neural Netw. Learning Syst., 29 (11): 5777-5783 (2018)Star-Based Reachability Analysis of Deep Neural Networks., , , , , , und . FM, Volume 11800 von Lecture Notes in Computer Science, Seite 670-686. Springer, (2019)