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.
My Menu
Saved Items

Action Systems with Continuous Behaviour

Mauno RönkköContact Information and Anders P. RavnContact Information

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

Contact Information Mauno Rönkkö
Email: mronkko@abo.fi

Contact Information Anders P. Ravn
Email: apr@it.dtu.dk
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Referenced by
1 newer article

  1. Davoren, J.M. (2000) Logics for hybrid systems. Proceedings of the IEEE 88(7)
    [CrossRef]
Remote Address: 38.107.191.107 • Server: mpweb05
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)