![]() | ![]() |
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] |