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

Direct link
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.
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
URN: urn:nbn:se:liu:diva-49506DOI: 10.1007/3-540-49163-5_13ISBN: 3-540-65643-XISBN: 978-3-540-65643-2ISBN: e-978-3-540-49163-7OAI: 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

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
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 26 hits
ReferencesLink to record
Permanent link

Direct link