( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Order-Reduction Abstractions for Safety Verification of High-Dimensional Linear Systems.

, , , и . 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.

Weiming Ruan

Weiming Liu

Weiming Dong

Wei Xiang

Xuemin Xiang

 

Другие публикации лиц с тем же именем

Necessary and Sufficient Conditions for Stability of Discrete-Time Switched Linear Systems With Ranged Dwell Time.. IEEE Control. Syst. Lett., (2022)Real-Time Verification for Distributed Cyber-Physical Systems., , , , и . Leibniz Trans. Embed. Syst., 8 (2): 07:1-07:19 (2022)Order-Reduction Abstractions for Safety Verification of High-Dimensional Linear Systems., , , и . CoRR, (2016)Interval observer design of dynamical systems with neural networks.. HSCC, стр. 30:1-30:2. ACM, (2021)Robust Optimization Framework for Training Shallow Neural Networks Using Reachability Method., и . CDC, стр. 3857-3862. IEEE, (2021)Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems., , , , и . FORTE, том 11535 из Lecture Notes in Computer Science, стр. 261-277. Springer, (2019)Reachability Analysis for High-Index Linear Differential Algebraic Equations., , , , и . FORMATS, том 11750 из Lecture Notes in Computer Science, стр. 160-177. Springer, (2019)Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers., , , и . ACC, стр. 1574-1579. IEEE, (2018)Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks., , и . CoRR, (2017)Simulation-Based Reachability Analysis for High-Index Large Linear Differential Algebraic Equations., , , и . CoRR, (2018)