liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Time-deterministic hybrid transition systems
Linköping University, Department of Computer and Information Science, RTSLAB - Real-Time Systems Laboratory. Linköping University, The Institute of Technology.
1999 (English)In: Hybrid Systems V / [ed] Panos Antsaklis, Michael Lemmon, Wolf Kohn, Anil Nerode and Shankar Sastry, Berlin: Springer Berlin/Heidelberg, 1999, Vol. 1567, 238-250 p.Chapter in book (Refereed)
Abstract [en]

Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode - an algebraic or differential equation for each state variable in terms of inputs and other state variables. Each discrete transition may be taken according to a (non-deterministic) time constraint. In this paper we restrict this model to time-deterministic discrete transitions. Thus, every transition is guarded by a condition g and has a fixed delay t. Different transitions may have different delays (including zero), but progress is enforced after the delay. Using this restriction and a composition operator which uses union of mode sets we then prove certain compositionality properties. In particular, that the parallel composition of two subsystems produces a system whose semantics is defined in terms of semantics of its constituents provided that it has a run. The restriction is well-justified in a large class of control applications where the complex mode-changing software is realised as a synchronous program.

Place, publisher, year, edition, pages
Berlin: Springer Berlin/Heidelberg, 1999. Vol. 1567, 238-250 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 (print), 1611-3349 (online) ; 1567
Keyword [en]
Digital systems, Continous systems, Interacting networks.
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:liu:diva-49506DOI: 10.1007/3-540-49163-5_13ISBN: 3-540-65643-X (print)ISBN: 978-3-540-65643-2 (print)ISBN: e-978-3-540-49163-7 OAI: oai:DiVA.org:liu-49506DiVA: diva2:270402
Available from: 2009-10-11 Created: 2009-10-11 Last updated: 2014-03-25

Open Access in DiVA

No full text

Other links

Publisher's full text

Authority records BETA

Nadjm-Tehrani, Simin

Search in DiVA

By author/editor
Nadjm-Tehrani, Simin
By organisation
RTSLAB - Real-Time Systems LaboratoryThe Institute of Technology
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 41 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf