( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow.

, , , , и . HSCC, стр. 247-252. ACM, (2018)

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.

No persons found for author name Chutinan, Alongkrit
add a person with the name Chutinan, Alongkrit
 

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

Computing polyhedral approximations to flow pipes for dynamic systems, и . Proceedings of IEEE CDC, IEEE press, (1998)Computational techniques for hybrid system verification., и . IEEE Trans. Automat. Contr., 48 (1): 64-75 (2003)Graphical Hybrid Automata with Simulink and Stateflow., , , , и . HSCC, стр. 267-268. ACM, (2018)Usage Scenarios for an Automated Model Compiler., , , , , и . EMSOFT, том 2211 из Lecture Notes in Computer Science, стр. 66-79. Springer, (2001)Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow., , , , и . HSCC, стр. 247-252. ACM, (2018)Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations., и . HSCC, том 1569 из Lecture Notes in Computer Science, стр. 76-90. Springer, (1999)Computing Approximating Automata for a Class of Hybrid Systems, и . Mathematical and Computer Modelling of Dynamical Systems, 6 (1): 30--50 (2000)Verification of infinite-state dynamic systems using approximate quotient transition systems., и . IEEE Trans. Automat. Contr., 46 (9): 1401-1410 (2001)Computing Approximating Automata for a Class of Linear Hybrid Systems., и . Hybrid Systems, том 1567 из Lecture Notes in Computer Science, стр. 16-37. Springer, (1997)Approximating quotient transition systems for hybrid systems., и . ACC, стр. 1689-1693. IEEE, (2000)