Viable Control of Hybrid Systems. - Akash Deshpande; Pravin Varaiya (Hybrid Systems, 1994)

Design and Evaluation Tools for Automated Highway Systems. - Akash Deshpande; Datta N. Godbole; Aleks Göllü; Pravin Varaiya (Hybrid Systems, 1995)

Verification of Hybrid Systems: Monotonicity in the AHS Control System. - John A. Haddon; Datta N. Godbole; Akash Deshpande; John Lygeros (Hybrid Systems, 1995)

SHIFT: A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata. - Akash Deshpande; Aleks Göllü; Pravin Varaiya (Hybrid Systems, 1996)

Formalizing UML. Why? How? - Ana Moreira 001; Luís Filipe Andrade; Akash Deshpande; Stuart Kent 001 (OOPSLA Addendum, 1998)

The SHIFT programming language for dynamic networks of hybrid automata. - Akash Deshpande; Aleks Göllü; Luigi Semenzato (IEEE Trans. Autom. Control., 1998)

Communication protocols for a fault-tolerant automated highway system. - Datta N. Godbole; John Lygeros; Ekta Singh; Akash Deshpande; Antonia E. Lindsey (IEEE Trans. Control. Syst. Technol., 2000)