Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Modeling and Analysis of Hybrid Systems Timed automata
 

Summary: Modeling and Analysis of Hybrid Systems
Timed automata
Prof. Dr. Erika Ábrahám
Informatik 2 - Theory of Hybrid Systems
RWTH Aachen University
SS 2011
Ábrahám - Modeling and Analysis of Hybrid Systems 1 / 1
Literature
Christel Baier and Joost-Pieter Katoen:
Principles of Model Checking
Ábrahám - Modeling and Analysis of Hybrid Systems 2 / 1
Contents
Ábrahám - Modeling and Analysis of Hybrid Systems 3 / 1
Motivation
Correctness in time-critical systems not only depends on the logical result
of the computation but also on the time at which the results are produced.
Thus if we model such systems, we also need to model the time.
The first choice in modeling: discrete or continuous time?
Ábrahám - Modeling and Analysis of Hybrid Systems 4 / 1
Discrete-time systems

  

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

 

Collections: Computer Technologies and Information Sciences