| |
| 2003 | ||
|---|---|---|
| 3 | Claire Tomlin, Ian Mitchell, Alexandre M. Bayen, Meeko Oishi: Computational techniques for the verification of hybrid systems. Proceedings of the IEEE 91(7): 986-1001 (2003) | |
| 2002 | ||
| 2 | EE | Meeko Oishi: Interface Verification: Discrete Abstractions of Hybrid Systems. SARA 2002: 340-341 |
| 2001 | ||
| 1 | EE | Meeko Oishi, Claire Tomlin, Vipin Gopal, Datta N. Godbole: Addressing Multiobjective Control: Safety and Performance through Constrained Optimization. HSCC 2001: 459-472 |
| 1 | Alexandre M. Bayen | [3] |
| 2 | Datta N. Godbole | [1] |
| 3 | Vipin Gopal | [1] |
| 4 | Ian M. Mitchell (Ian Mitchell) | [3] |
| 5 | Claire Tomlin | [1] [3] |