| | |
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
|
