- CSB - MetaPress - Google - Bing - Yahoo
 | 2003 | |
|---|---|---|
| j1 |      | Alongkrit Chutinan, Bruce H. Krogh: Computational techniques for hybrid system verification. IEEE Trans. Automat. Contr. 48(1): 64-75 (2003) |
| 2001 | ||
| c3 | | Ken Butts, Dave Bostic, Alongkrit Chutinan, Jeffrey Cook, Bill Milam, Yanxin Wang: Usage Scenarios for an Automated Model Compiler. EMSOFT 2001: 66-79 |
| 1999 | ||
| c2 | | Alongkrit Chutinan, Bruce H. Krogh: Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations. HSCC 1999: 76-90 |
| 1997 | ||
| c1 | | Alongkrit Chutinan, Bruce H. Krogh: Computing Approximating Automata for a Class of Linear Hybrid Systems. Hybrid Systems 1997: 16-37 |
| 1 | Dave Bostic | |
| 2 | Ken Butts | |
| 3 | Jeffrey Cook | |
| 4 | Bruce H. Krogh | |
| 5 | Bill Milam | |
| 6 | Yanxin Wang |
Data released under the ODC-BY 1.0 license — See also our legal information page