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 D. Patel on 3 Aug 2008.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu..

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.