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

Stability analysis and failure tolerant control for discrete-time linear systems with controller failure., , und . Int. J. Control, 88 (3): 559-570 (2015)Observer Design for a Class of switched nonlinear Systems., und . Control and Intelligent Systems, (2008)ℋ∞ Control Synthesis for Short-Time Markovian Jump Continuous-Time Linear Systems., , und . 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., und . CoRR, (2022)H∞ filtering for switched nonlinear systems under asynchronous switching., und . Int. J. Systems Science, 42 (5): 751-765 (2011)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)