( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

, , , , , , , , , , , , и . ARCH@ADHS, том 80 из EPiC Series in Computing, стр. 32-54. EasyChair, (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.

Patricia Collins

Collins Fosu

Handa Collins

Trevor Collins

Mark Collins

 

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

Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis., , , , , и . RP, том 7550 из Lecture Notes in Computer Science, стр. 79-91. Springer, (2012)Applying Novel Identification Protocols to Markov Models of INa., , и . CinC, стр. 889-892. www.cinc.org, (2015)Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne., , , , и . ICTSS, том 10533 из Lecture Notes in Computer Science, стр. 313-319. Springer, (2017)Observability of Piecewise-Affine Hybrid Systems., и . HSCC, том 2993 из Lecture Notes in Computer Science, стр. 265-279. Springer, (2004)ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , и 3 other автор(ы). ARCH, том 96 из EPiC Series in Computing, стр. 61-88. EasyChair, (2023)ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , и 1 other автор(ы). ARCH@SAFECOMP, том 90 из EPiC Series in Computing, стр. 86-112. EasyChair, (2022)Controllability and falsification of hybrid systems.. ECC, стр. 4374-4379. IEEE, (2009)Forcing Relations for Homoclinic Orbits of the Smale Horseshoe Map.. Experimental Mathematics, 14 (1): 75-86 (2005)Sampled-data control of hybrid systems with discrete inputs and outputs., , , , и . ADHS, том 42 из IFAC Proceedings Volumes, стр. 334-339. Elsevier, (2009)Rigorous Continuous Evolution of Uncertain Systems., , , , и . NSV@CAV, том 11652 из Lecture Notes in Computer Science, стр. 60-75. Springer, (2019)