• EN
  • DA

Danish NationalResearch Database

  • Publications
  • Researchers
Example Finds records
water{} containing the word "water".
water supplies"{}" containing the phrase "water supplies".
author:"Doe, John"author:"{}" containing the phrase "Doe, John" in the author field.
title:IEEEtitle:{} containing the word "IEEE" in the title field.
bech{} containing the word "bech".
marie bech"{}" containing the phrase "marie bech".
orcid:0000-0002-5429-5292orcid:{} Having a particular ORCID
Need more help? Advanced search tutorial
  • Selected (0)
  • History

Hybrid Action Systems

    • Save to Mendeley
    • Export to BibTeX
    • Export to RIS
    • Email citation
Authors:
  • Rönnkö, M. ;
    Close
    unknown
  • Ravn, Anders Peter ;
    Close
    Department of Computer Science, The Technical Faculty of IT and Design, Aalborg University
  • Sere, K.
    Close
    unknown
Abstract:
In this paper we investigate the use of action systems with differential actions in the specifcation 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 Udgivelsesdato: JAN 1
Type:
Journal article
Language:
English
Published in:
Theoretical Computer Science, 2003, Vol 290, Issue 190, p. 937-973
Main Research Area:
Science/technology
Publication Status:
Published
Review type:
Peer Review
Submission year:
2003
Scientific Level:
Scientific
ID:
2389327400
Checking for on-site access...

On-site access

At institution

  • Aalborg university.en
Feedback

Sitemap

  • Search
    • Statistics
    • Tutorial
    • Data
    • FAQ
    • Contact
  • About
    • Institutions
    • Release History
    • Cookies and Personal Data
  • Open Access
    • The Danish Open Access Indicator

Copyright © 1998–2018.

Fivu en