• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Continuous Action Systems as a Model for Hybrid Systems

Ralph-Johan Back, Luigia Petre, Ivan Porres, Continuous Action Systems as a Model for Hybrid Systems. Nordic Journal of Computing 8(1), 2–21, 2001.

Abstract:

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 that extend the action system approach to also model hybrid systems, i.e., systems with d iscrete control over a continuously evolving state. The semantics of continuous action systems is defined in terms of traditional action systems and their properties are proved using standard action systems proof techniques. We describe the essential features of continuous action systems, s how that they can be used to describe a diverse range of hybrid systems and illustrate the framework by a collection of examples.

Files:

Full publication in PDF-format

BibTeX entry:

@ARTICLE{jBaPePoa,
  title = {Continuous Action Systems as a Model for Hybrid Systems},
  author = {Back, Ralph-Johan and Petre, Luigia and Porres, Ivan},
  journal = {Nordic Journal of Computing},
  volume = {8},
  number = {1},
  pages = {2–21},
  year = {2001},
}

Belongs to TUCS Research Unit(s): Software Construction Laboratorium

Publication Forum rating of this publication: level 1

Edit publication