Abstract
A language to describe hybrid systems, i.e. networks of
communicating discrete and continuous processes, is proposed. A
semantics of the language is given in Extended Duration Calculus,
a real-time interval logic with a proof system that allows
reasoning in mathematical analysis about continuous processes to
be embedded into the logic. The semantics thus provides a secure
link to hybrid system models based on a general theory of
dynamical systems.
| Original language | English |
|---|---|
| Title of host publication | LNCS 1066: Hybrid Systems III |
| Publisher | Springer Verlag |
| Publication date | 1996 |
| Publication status | Published - 1996 |