*banner
 

Timed Automata: Modeling and Analysis
Oded Maler

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

Citation formats  
  • 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.

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.

©2002-2018 Chess