Generalizing Action Systems to Hybrid Systems
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Developing Control Systems Components
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
| 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 dene continuous action systems, which extend the action sys- tem approach to hybrid systems, i.e. systems with discrete control over continuously evolving processes. The meaning of continuous action systems is dened in terms of traditional (discrete) action systems. Properties of continuous action systems are proved using standard action system proof techniques. Continuous action systems are very general, and can be used to describe a diverse range of hybrid systems. We describe the essential notions of continuous action systems and illustrate the framework by a collection of examples.