Citation
Oded Maler. "Timed Automata: Modeling and Analysis". Talk or presentation, 20, August, 2008.

Abstract
In this talk I will give an introduction to timed systems, system models situated in an extremely important level of abstraction, between automata and continuous dynamical systems. After a short introduction of the principles of analysis of timed system I will devote the rest of the time to a survey of many attempts, pathetic and heroic alike, to fight the clock explosion and break the scalability barriers in order to use timed automata technology in real-life situations.

Electronic downloads

• slides-explosion.pdf · application/pdf · 380 kbytes

• HTML

  Oded Maler. <a
  href="http://chess.eecs.berkeley.edu/pubs/478.html"
  ><i>Timed Automata: Modeling and
  Analysis</i></a>, Talk or presentation,  20,
  August, 2008.

• Plain text

  Oded Maler. "Timed Automata: Modeling and
  Analysis". Talk or presentation,  20, August, 2008.

• BibTeX

  @presentation{Maler08_TimedAutomataModelingAnalysis,
      author = {Oded Maler},
      title = {Timed Automata: Modeling and Analysis},
      day = {20},
      month = {August},
      year = {2008},
      abstract = {In this talk I will give an introduction to timed
                systems, system models situated in an extremely
                important level of abstraction, between automata
                and continuous dynamical systems. After a short
                introduction of the principles of analysis of
                timed system I will devote the rest of the time to
                a survey of many attempts, pathetic and heroic
                alike, to fight the clock explosion and break the
                scalability barriers in order to use timed
                automata technology in real-life situations. },
      URL = {http://chess.eecs.berkeley.edu/pubs/478.html}
  }
  

Posted by Hiren Patel on 3 Aug 2008.
Groups: chess
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.