![]() |
| 2001 | ||
|---|---|---|
| 3 | EE | Ken Butts, Dave Bostic, Alongkrit Chutinan, Jeffrey Cook, Bill Milam, Yanxin Wang: Usage Scenarios for an Automated Model Compiler. EMSOFT 2001: 66-79 |
| 1999 | ||
| 2 | EE | Alongkrit Chutinan, Bruce H. Krogh: Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations. HSCC 1999: 76-90 |
| 1997 | ||
| 1 | EE | Alongkrit Chutinan, Bruce H. Krogh: Computing Approximating Automata for a Class of Linear Hybrid Systems. Hybrid Systems 1997: 16-37 |
| 1 | Dave Bostic | [3] |
| 2 | Ken Butts | [3] |
| 3 | Jeffrey Cook | [3] |
| 4 | Bruce H. Krogh | [1] [2] |
| 5 | Bill Milam | [3] |
| 6 | Yanxin Wang | [3] |