( en | de | ru )

 

Disambiguation of "Xiang, Weiming"

Author of the publication

copydeleteadd this publication to your clipboard
Order-Reduction Abstractions for Safety Verification of High-Dimensional Linear Systems.

, , , and . CoRR, (2016)

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.

Weiming Ruan

Weiming Liu

Weiming Dong

Wei Xiang

Xuemin Xiang

 

Other publications of authors with the same name

Interval observer design of dynamical systems with neural networks.. HSCC, page 30:1-30:2. ACM, (2021)Robust Optimization Framework for Training Shallow Neural Networks Using Reachability Method., and . CDC, page 3857-3862. IEEE, (2021)Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks., , and . CoRR, (2017)H∞ controller design for a class of switched linear discrete-time system with polytopic uncertainties., and . J. Syst. Control. Eng., 226 (10): 1311-1322 (2012)Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems., , , , and . FORTE, volume 11535 of Lecture Notes in Computer Science, page 261-277. Springer, (2019)Reachability Analysis for High-Index Linear Differential Algebraic Equations., , , , and . FORMATS, volume 11750 of Lecture Notes in Computer Science, page 160-177. Springer, (2019)Necessary and Sufficient Conditions for Stability of Discrete-Time Switched Linear Systems With Ranged Dwell Time.. IEEE Control. Syst. Lett., (2022)Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers., , , and . ACC, page 1574-1579. IEEE, (2018)Stability analysis of switched systems under dynamical dwell time control approach., and . Int. J. Syst. Sci., 40 (4): 347-355 (2009)Parameter-dependent finite-time observer design for time-varying polytopic uncertain switched systems., , and . J. Frankl. Inst., 351 (3): 1657-1672 (2014)