Computing Approximating Automata for a Class of Linear Hybrid Systems. - Alongkrit Chutinan; Bruce H. Krogh (Hybrid Systems, 1997)

Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations. - Alongkrit Chutinan; Bruce H. Krogh (HSCC, 1999)

Approximating quotient transition systems for hybrid systems. - Alongkrit Chutinan; Bruce H. Krogh (ACC, 2000)

Usage Scenarios for an Automated Model Compiler. - Ken Butts; Dave Bostic; Alongkrit Chutinan; Jeffrey Cook; Bill Milam; Yanxin Wang (EMSOFT, 2001)

Verification of infinite-state dynamic systems using approximate quotient transition systems. - Alongkrit Chutinan; Bruce H. Krogh (IEEE Trans. Autom. Control., 2001)

Computational techniques for hybrid system verification. - Alongkrit Chutinan; Bruce H. Krogh (IEEE Trans. Autom. Control., 2003)

Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow. - Akshay Rajhans; Srinath Avadhanula; Alongkrit Chutinan; Pieter J. Mosterman; Fu Zhang 003 (HSCC, 2018)

Graphical Hybrid Automata with Simulink and Stateflow. - Akshay Rajhans; Srinath Avadhanula; Alongkrit Chutinan; Pieter J. Mosterman; Fu Zhang 003 (HSCC, 2018)