Generalizing Action Systems to Hybrid Systems
Ralph-Johan Back, Luigia Petre, Iván Porres, Turku Centre, Computer Science · 2000
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 define continuous action systems, which extend the action system approach to hybrid systems, i.e. systems with discrete control over continuously evolving processes. The meaning of continuous action systems is defined 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.