Hybrid action systems (Q1853618): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Kaisa Sere / rank | |||
Property / author | |||
Property / author: Kaisa Sere / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compositional action system refinement / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Refinement Calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formal methods for industrial applications. Specification and programming the Steam Boiler Control / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Programming as a Discipline of Mathematical Nature / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hybrid automata with finite bisimulations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4503930 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4845486 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stability by Liapunov's direct method. With applications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hybrid systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5773424 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2743714 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4246828 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4249575 / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/s0304-3975(02)00547-9 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2019474894 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 10:32, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hybrid action systems |
scientific article |
Statements
Hybrid action systems (English)
0 references
21 January 2003
0 references
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.
0 references
hybrid systems
0 references
predicate transformers
0 references
action systems
0 references
refinement calculus
0 references
concurrency
0 references
0 references