Travelled to:1 × Hungary
1 × Italy
1 × USA
Collaborated with:T.A.Henzinger H.Wong-Toi A.Puri P.Varaiya
Talks about:automata (2) hybrid (2) rectangular (1) express (1) discret (1) control (1) power (1) decid (1) clock (1) about (1)
Person: Peter W. Kopke
DBLP: Kopke:Peter_W=
Contributed to:
19971995
1995Wrote 3 papers:
- ICALP-1997-HenzingerK97a #automaton #hybrid
- Discrete-Time Control for Rectangular Hybrid Automata (TAH, PWK), pp. 582–593.
- ICALP-1995-HenzingerKW #power of
- The Expressive Power of Clocks (TAH, PWK, HWT), pp. 417–428.
- STOC-1995-HenzingerKPV #automaton #decidability #hybrid #question #what
- What’s decidable about hybrid automata? (TAH, PWK, AP, PV), pp. 373–382.