Hybrid system games: Extraction of control automata with small topologies

  • Anil Nerode
  • Jeffrey B. Remmel
  • Alexander Yakhnis
Conference paper

DOI: 10.1007/BFb0031565

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1273)
Cite this paper as:
Nerode A., Remmel J.B., Yakhnis A. (1997) Hybrid system games: Extraction of control automata with small topologies. In: Antsaklis P., Kohn W., Nerode A., Sastry S. (eds) Hybrid Systems IV. HS 1996. Lecture Notes in Computer Science, vol 1273. Springer, Berlin, Heidelberg

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1997

Authors and Affiliations

  • Anil Nerode
    • 1
  • Jeffrey B. Remmel
    • 2
    • 3
  • Alexander Yakhnis
    • 4
  1. 1.Mathematical Sciences InstituteCornell UniversityIthacaUSA
  2. 2.HyBrithms Corp.WashingtonUSA
  3. 3.Department of MathematicsUniversity of California at San Diego San Diego
  4. 4.Mathematical Sciences InstituteCornell UniversityIthacaUSA

Personalised recommendations