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

Generalizing Action Systems to Hybrid Systems

Ralph-Johan Back, Luigia Petre, Ivan Porres, Generalizing Action Systems to Hybrid Systems. In: Mathai Joseph (Ed.), 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'2000, Lecture Notes in Computer Science 1926, 202–213, Springer-Verlag, 2000.

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 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.

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{pBaPePoa,
  title = {Generalizing Action Systems to Hybrid Systems},
  booktitle = {6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'2000},
  author = {Back, Ralph-Johan and Petre, Luigia and Porres, Ivan},
  volume = {1926},
  series = {Lecture Notes in Computer Science},
  editor = {Joseph, Mathai},
  publisher = {Springer-Verlag},
  pages = {202–213},
  year = {2000},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab), Software Construction Laboratorium

Publication Forum rating of this publication: level 1

Edit publication