Conference paper
Formal Description of Hybrid Systems
In
Lncs 1066: Hybrid Systems Iii
—
1996
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.
| Language: | English |
|---|---|
| Publisher: | Springer Verlag |
| Year: | 1996 |
| Types: | Conference paper |
