| |
| 1996 | ||
|---|---|---|
| 4 | Akash Deshpande, Aleks Göllü, Pravin Varaiya: SHIFT: A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata. Hybrid Systems 1996: 113-133 | |
| 1995 | ||
| 3 | Akash Deshpande, Datta N. Godbole, Aleks Göllü, Pravin Varaiya: Design and Evaluation Tools for Automated Highway Systems. Hybrid Systems 1995: 138-148 | |
| 2 | John A. Haddon, Datta N. Godbole, Akash Deshpande, John Lygeros: Verification of Hybrid Systems: Monotonicity in the AHS Control System. Hybrid Systems 1995: 161-172 | |
| 1994 | ||
| 1 | Akash Deshpande, Pravin Varaiya: Viable Control of Hybrid Systems. Hybrid Systems 1994: 128-147 | |
| 1 | Datta N. Godbole | [2] [3] |
| 2 | Aleks Göllü | [3] [4] |
| 3 | John A. Haddon | [2] |
| 4 | John Lygeros | [2] |
| 5 | Pravin Varaiya | [1] [3] [4] |