( en | de | ru )

 

Disambiguation of "Chutinan, Alongkrit"

Author of the publication

copydeleteadd this publication to your clipboard
Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow.

, , , , and . HSCC, page 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. You can also use the button next to the name to display some publications already assigned to the person.

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

Other publications of authors with the same name

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