Hybrid action systems
type: Item
instance of: scholarly article
title: Hybrid action systems
zbMATH Open document ID: 1019.68054
DOI: 10.1016/S0304-3975(02)00547-9
author: Mauno Rönkkö
author: Anders P. Ravn
author: K. Sere
published in: Theoretical Computer Science
publication date: 2003-01-21T00:00:00Z
review text: In this paper we investigate the use of action systems with differential actions in the specification of hybrid systems. As the main contribution we generalize the definition of a differential action, allowing the use of arbitrary relations over model variables and their time derivatives in modelling continuous-time dynamics. The generalized differential action has an intuitively appealing predicate transformer semantics, which we show to be both conjunctive and monotonic. In addition, we show that differential actions blend smoothly with conventional actions in action systems even under parallel composition. Moreover, as the strength of the action system formalism is the support for stepwise development by refinement, we investigate refinement involving a differential action. We show that, due to the predicate transformer semantics, standard action refinement techniques apply also to the differential action, thus, allowing stepwise development of hybrid systems.
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 1857135
zbMATH Keywords: hybrid systems
zbMATH Keywords: predicate transformers
zbMATH Keywords: action systems
zbMATH Keywords: refinement calculus
zbMATH Keywords: concurrency
MaRDI profile type: Publication
cites work: Compositional action system refinement
cites work: Refinement Calculus
cites work: Formal methods for industrial applications. Specification and programming the Steam Boiler Control
cites work: Programming as a Discipline of Mathematical Nature
cites work: Hybrid automata with finite bisimulations
cites work: Q4503930
cites work: Q4845486
cites work: Stability by Liapunov's direct method. With applications
cites work: Hybrid systems
cites work: Q5773424
cites work: Linear hybrid action systems
cites work: Q4246828
cites work: Q4249575
full work available at URL: s0304-3975(02)00547-9
OpenAlex ID: W2019474894
description: scientific article; zbMATH DE number 1857135