BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Varaiya:Pravin

Contributed to:

CAV 19951995
STOC 19951995
CAV 19941994
CAV 19931993

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.