( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reach-Avoid Analysis for Delay Differential Equations.

, , , , и . CDC, стр. 1301-1307. IEEE, (2021)

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.

Zhan Kang

Zhan Gao

Renya Zhan

Beibei Zhan

Xiaoying Zhan

 

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

Decidability of the Reachability for a Family of Linear Vector Fields., , , , и . ATVA, том 9364 из Lecture Notes in Computer Science, стр. 482-499. Springer, (2015)An Improved HHL Prover: An Interactive Theorem Prover for Hybrid Systems., , и . ICFEM, том 9407 из Lecture Notes in Computer Science, стр. 382-399. Springer, (2015)A Two-Way Path Between Formal and Informal Design of Embedded Systems., , , , и . UTP, том 10134 из Lecture Notes in Computer Science, стр. 65-92. Springer, (2016)Combining Hierarchical Specification with Hierarchical Implementation.. ASIAN, том 2896 из Lecture Notes in Computer Science, стр. 110-124. Springer, (2003)An Assume/Guarantee Based Compositional Calculus for Hybrid CSP., , и . TAMC, том 7287 из Lecture Notes in Computer Science, стр. 72-83. Springer, (2012)Connection between logical and algebraic approaches to concurrent systems.. Math. Struct. Comput. Sci., 20 (5): 915-950 (2010)Reach-Avoid Analysis for Stochastic Differential Equations., , и . CoRR, (2022)Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems., , , , и . ICTAC, том 4711 из Lecture Notes in Computer Science, стр. 34-49. Springer, (2007)Formal Modelling, Analysis and Verification of Hybrid Systems., , и . ICTAC Training School on Software Engineering, том 8050 из Lecture Notes in Computer Science, стр. 207-281. Springer, (2013)Differential Games Based on Invariant Sets Generation., , , , и . ACC, стр. 1285-1292. IEEE, (2022)