Parallel program design: a foundation
Parallel program design: a foundation
Reasoning about continuous systems
Science of Computer Programming
Adding fair choice to Dijkstra's calculus
ACM Transactions on Programming Languages and Systems (TOPLAS)
A classical mind
Verifying clocked transition systems
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Abstract verification of structured dynamical systems
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
General hybrid dynamical systems: modeling, analysis, and control
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Linear phase-portrait approximations for nonlinear hybrid systems
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
A formal description of hybrid systems
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Studies in hybrid systems: modeling, analysis, and control
Studies in hybrid systems: modeling, analysis, and control
A Discipline of Programming
Stepwise Design of Real-Time Systems
IEEE Transactions on Software Engineering
HYTECH: The Cornell HYbrid TECHnology Tool
Hybrid Systems II
Semantics and Verifikation of Extended Phase Transition Systems in Duration Calculus
HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
An Action System Approach to the Steam Boiler Problem
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
Refinement Calculus, Part II: Parallel and Reactive Programs
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
Semantics, Orderings and Recursion in the Weakest Precondition Calculus
Proceedings of the REX Workshop on Sematics: Foundations and Applications
Decentralization of process nets with centralized control
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Generalizing Action Systems to Hybrid Systems
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Refinement and Continuous Behaviour
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Deriving real-time action systems in a sampling logic
Science of Computer Programming
| Hi-index | 0.00 |
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.