Alongkrit Chutinan

According to our database, Alongkrit Chutinan authored at least 8 papers between 1997 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

Graphical Hybrid Automata with Simulink and Stateflow.

Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow.

Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

2003

Computational techniques for hybrid system verification.

Alongkrit Chutinan, Bruce H. Krogh

IEEE Trans. Autom. Control., 2003

2001

Verification of infinite-state dynamic systems using approximate quotient transition systems.

Alongkrit Chutinan, Bruce H. Krogh

IEEE Trans. Autom. Control., 2001

Usage Scenarios for an Automated Model Compiler.

Ken Butts, Dave Bostic, Alongkrit Chutinan, Jeffrey Cook, Bill Milam, Yanxin Wang

Proceedings of the Embedded Software, First International Workshop, 2001

2000

Approximating quotient transition systems for hybrid systems.

Alongkrit Chutinan, Bruce H. Krogh

Proceedings of the American Control Conference, 2000

1999

Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations.

Alongkrit Chutinan, Bruce H. Krogh

Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999

1997

Computing Approximating Automata for a Class of Linear Hybrid Systems.

Alongkrit Chutinan, Bruce H. Krogh

Proceedings of the Hybrid Systems V, 1997