Travelled to:1 × Belgium
1 × Greece
2 × USA
Collaborated with:A.Puri J.McManis ∅ S.C.Krishnan R.K.Brayton T.A.Henzinger P.W.Kopke
Talks about:automata (5) hybrid (3) decid (3) system (2) rectangular (1) differenti (1) protocol (1) suspens (1) highway (1) inclus (1)
Person: Pravin Varaiya
DBLP: Varaiya:Pravin
Contributed to:
1995
199519941993Wrote 5 papers:
- CAV-1995-KrishnanPBV #automaton #game studies
- The Rabin Index and Chain Automata, with Applications to Automatas and Games (SCK, AP, RKB, PV), pp. 253–266.
- STOC-1995-HenzingerKPV #automaton #decidability #hybrid #question #what
- What’s decidable about hybrid automata? (TAH, PWK, AP, PV), pp. 373–382.
- CAV-1994-McManisV #automaton #decidability #hybrid
- Suspension Automata: A Decidable Class of Hybrid Automata (JM, PV), pp. 105–117.
- CAV-1994-PuriV #decidability #difference #hybrid
- Decidability of Hybrid Systems with Rectangular Differential Inclusion (AP, PV), pp. 95–104.
- CAV-1993-Varaiya #automation #design #protocol
- Protocol Design for an Automated Highway System (PV), p. 180.