Akash Deshpande

Publication Activity (10 Years)

Years Active: 1994-2000
Publications (10 Years): 0

Publications

Datta N. Godbole, Jon Lygeros, Ekta Singh, Akash Deshpande, Antonia E. Lindsey
Communication protocols for a fault-tolerant automated highway system. IEEE Trans. Control. Syst. Technol. 8 (5) (2000)
Ana Moreira, Luis Filipe Andrade, Akash Deshpande, Stuart Kent
Formalizing UML. Why? How? OOPSLA Addendum (1998)
Akash Deshpande, Aleks Göllü, Luigi Semenzato
The SHIFT programming language for dynamic networks of hybrid automata. IEEE Trans. Autom. Control. 43 (4) (1998)
Akash Deshpande, Aleks Göllü, Pravin Varaiya
SHIFT: A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata. Hybrid Systems (1996)
John A. Haddon, Datta N. Godbole, Akash Deshpande, John Lygeros
Verification of Hybrid Systems: Monotonicity in the AHS Control System. Hybrid Systems (1995)
Akash Deshpande, Datta N. Godbole, Aleks Göllü, Pravin Varaiya
Design and Evaluation Tools for Automated Highway Systems. Hybrid Systems (1995)
Akash Deshpande, Pravin Varaiya
Viable Control of Hybrid Systems. Hybrid Systems (1994)