Stepwise refinement of parallel algorithms
Science of Computer Programming
An old-fashioned recipe for real time
ACM Transactions on Programming Languages and Systems (TOPLAS)
General hybrid dynamical systems: modeling, analysis, and control
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
A Discipline of Programming
Refinement Calculus: A Systematic Introduction
Refinement Calculus: A Systematic Introduction
Formal Development of Reactive Systems - Case Study Production Cell
Formal Development of Reactive Systems - Case Study Production Cell
Action Systems with Continuous Behaviour
Hybrid Systems V
From Action Systems to Modular Systems
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
Verification of Clocked and Hybrid Systems
Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems
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
Generalizing Action Systems to Hybrid Systems
Towards probabilistic modelling in event-B
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Continuous action system refinement
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Formalizing hybrid systems with event-b
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Deriving real-time action systems controllers from multiscale system specifications
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
Augmenting formal development of control systems with quantitative reliability assessment
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
Complementary methodologies for developing hybrid systems with event-b
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Deriving real-time action systems in a sampling logic
Science of Computer Programming
| Hi-index | 0.00 |
Action systems have been used successfully to describe discrete systems, i.e., systems with discrete control acting upon a discrete state space. In this paper we extend the action system approach to hybrid systems by defining continuous action systems. These are systems with discrete control over a continuously evolving state, whose semantics is defined in terms of traditional action systems. We show that continuous action systems are very general and can be used to describe a diverse range of hybrid systems. Moreover, the properties of continuous action systems are proved using standard action systems proof techniques.