( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations.

, и . HSCC, том 1569 из Lecture Notes in Computer Science, стр. 76-90. Springer, (1999)

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)Approximating quotient transition systems for hybrid systems., и . ACC, стр. 1689-1693. IEEE, (2000)Computing Approximating Automata for a Class of Linear Hybrid Systems., и . Hybrid Systems, том 1567 из Lecture Notes in Computer Science, стр. 16-37. Springer, (1997)Usage Scenarios for an Automated Model Compiler., , , , , и . EMSOFT, том 2211 из Lecture Notes in Computer Science, стр. 66-79. Springer, (2001)Graphical Hybrid Automata with Simulink and Stateflow., , , , и . HSCC, стр. 267-268. 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)Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow., , , , и . HSCC, стр. 247-252. ACM, (2018)