Akash Deshpande

According to our database, Akash Deshpande authored at least 7 papers between 1994 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

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

1998

The SHIFT programming language for dynamic networks of hybrid automata.

Akash Deshpande, Aleks Göllü, Luigi Semenzato

IEEE Trans. Autom. Control., 1998

Formalizing UML. Why? How?

Ana Moreira, Luís Filipe Andrade, Akash Deshpande, Stuart Kent

Proceedings of the Addendum to the 1998 Proceedings of the Conference on Object-Oriented Programming, 1998

1996

SHIFT: A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata.

Akash Deshpande, Aleks Göllü, Pravin Varaiya

Proceedings of the Hybrid Systems IV, 1996

1995

Verification of Hybrid Systems: Monotonicity in the AHS Control System.

John A. Haddon, Datta N. Godbole, Akash Deshpande, John Lygeros

Proceedings of the Hybrid Systems III: Verification and Control, 1995

Design and Evaluation Tools for Automated Highway Systems.

Akash Deshpande, Datta N. Godbole, Aleks Göllü, Pravin Varaiya

Proceedings of the Hybrid Systems III: Verification and Control, 1995

1994

Viable Control of Hybrid Systems.

Akash Deshpande, Pravin Varaiya

Proceedings of the Hybrid Systems II, 1994