Action Systems with Continuous Behaviour

@inproceedings{Rnkk1997ActionSW,
  title={Action Systems with Continuous Behaviour},
  author={Mauno R{\"o}nkk{\"o} and Anders P. Ravn},
  booktitle={Hybrid Systems},
  year={1997}
}
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 di erential action consisting of a di erential equation and an evolu tion guard The semantics is given by a weakest liberal precondition trans former because it is not always desirable that di erential… CONTINUE READING

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-10 of 21 references

HYTECH: The Cornell HYbrid TECHnology Tool

Hybrid Systems • 1994
View 12 Excerpts
Highly Influenced

Decentralization of process nets with centralized control

Distributed Computing • 1983
View 4 Excerpts
Highly Influenced

A Discipline of Programming

View 8 Excerpts
Highly Influenced

A formal description

Chaochen Zhou, Wang Ji, A. P. Ravn
Hybrid Systems III, • 1996
View 3 Excerpts

Abstract veri cation of structured dynamical systems

M. Sintzo
Hybrid Systems III, • 1996
View 1 Excerpt

An Action System Approach to the Steam Boiler Problem

Formal Methods for Industrial Applications • 1995
View 1 Excerpt

Similar Papers

Loading similar papers…