Technical Report
Hybrid System Model
Author(s): Thomas Stauner, Bernhard Rumpe, Peter Scholz
Year: 1999
Number: TUM-I9903
Editor:
CR Classification: C.3, D.3.1
CR General Terms: Theory, Design, Languages
Keywords: system model, hybrid systems, streams, formal methods
Abstract:In this paper we provide a mathematical characterization of systems, that contain
analog components, as well
as strongly
time depended control components and
rather time independent information processing components. The presented
system model
is based on the notion of streams and stream processing functions.
It is used to formalize and integrate the semantics of
different
description
techniques that occur in disciplines like computer science, economics,
electrical and electronical
engineering, and
mechanical engineering. In the
paper we develop a hierarchy of models. We start with a core model that allows
us to
describe both
discrete and continuous, that is, hybrid behavior.
Abstractions and refinements of this core model allow to connect to
given
models
for discrete timed and untimed systems. The system model presented here
is intended to be the base layer for other
system models.
Available as compressed Postscript
BibTeX-Entry:
<![CDATA[
@techreport{SRSch99,
author = {Thomas Stauner and Bernhard Rumpe and Peter Scholz},
title = {Hybrid System Model},
number = {TUM-I9903},
institution = {Technische Univerit\"at M\"unchen},
year = {1999},
url = {http://www4.informatik.tu-muenchen.de/reports/SRSch99.html},
abstract = {In this paper we provide a mathematical characterization of systems, that contain
analog components, as well
as strongly
time depended control components and
rather time independent information processing components. The presented
system model
is based on the notion of streams and stream processing functions.
It is used to formalize and integrate the semantics of
different
description
techniques that occur in disciplines like computer science, economics,
electrical and electronical
engineering, and
mechanical engineering. In the
paper we develop a hierarchy of models. We start with a core model that allows
us to
describe both
discrete and continuous, that is, hybrid behavior.
Abstractions and refinements of this core model allow to connect to
given
models
for discrete timed and untimed systems. The system model presented here
is intended to be the base layer for other
system models.},
CRClassification = {C.3, D.3.1},
CRGenTerms = {Theory, Design, Languages}}
]]>