Alongkrit Chutinan

Publication Activity (10 Years)

Years Active: 1997-2018
Publications (10 Years): 2

Top Topics

Decision Making

Fault Detection

Hybrid Automata

Dynamic Aspects

Top Venues

Publications

Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang
Graphical Hybrid Automata with Simulink and Stateflow. HSCC (2018)
Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang
Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow. HSCC (2018)
Alongkrit Chutinan, Bruce H. Krogh
Computational techniques for hybrid system verification. IEEE Trans. Autom. Control. 48 (1) (2003)
Ken Butts, Dave Bostic, Alongkrit Chutinan, Jeffrey Cook, Bill Milam, Yanxin Wang
Usage Scenarios for an Automated Model Compiler. EMSOFT (2001)
Alongkrit Chutinan, Bruce H. Krogh
Verification of infinite-state dynamic systems using approximate quotient transition systems. IEEE Trans. Autom. Control. 46 (9) (2001)
Alongkrit Chutinan, Bruce H. Krogh
Approximating quotient transition systems for hybrid systems. ACC (2000)
Alongkrit Chutinan, Bruce H. Krogh
Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations. HSCC (1999)
Alongkrit Chutinan, Bruce H. Krogh
Computing Approximating Automata for a Class of Linear Hybrid Systems. Hybrid Systems (1997)