Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Action Systems with Continuous Behaviour
| Book Series | Lecture Notes in Computer Science |
| Publisher | Springer Berlin / Heidelberg |
| ISSN | 0302-9743 (Print) 1611-3349 (Online) |
| Volume | Volume 1567/1999 |
| Book | Hybrid Systems V |
| DOI | 10.1007/3-540-49163-5 |
| Copyright | 1999 |
| ISBN | 978-3-540-65643-2 |
| DOI | 10.1007/3-540-49163-5_17 |
| Page | 67 |
| Subject Collection | Computer Science |
| SpringerLink Date | Friday, January 01, 1999 |
| |
|
Action Systems with Continuous Behaviour
Mauno Rönkkö8 and Anders P. Ravn9 
| (8) |
Dept. of Computer Science, Turku Centre for Computer Science, Åbo Akademi University, Lemminkäisenkatu 14A, FIN-20520 Turku, Finland |
| (9) |
Department of Information Technology, Technical University of Denmark, Bldg. 344, DK-2800 Lyngby, Denmark |
Abstract
An action system framework is a predicate transformer based method for modelling and analysing distributed and reactive systems.
The actions are statements in Dijkstra’s guarded command language, and their semantics is given by predicate transformers.
We extend conventional action systems with a differential action consisting of a differential equation and an evolution guard. The semantics is given by a weakest liberal precondition transformer,
because it is not always desirable that differential actions terminate. It is shown that the proposed differential action
has a semantics which corresponds to a discrete approximation when the discrete step size goes to zero.
The extension gives action systems the power to model real-time clocks and continuous evolutions within hybrid systems. In
this paper we give a standard form for such a hybrid action system. We also extend parallel composition to hybrid action systems.
This does not change the original meaning of the parallel composition, and therefore ordinary action systems compose in parallel
with hybrid action systems.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|