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

Direct link
Towards reliable models of hybrid systems
Linköping University, Department of Electrical Engineering, Automatic Control. Linköping University, The Institute of Technology.
Linköping University, Department of Computer and Information Science, RTSLAB - Real-Time Systems Laboratory. Linköping University, The Institute of Technology.
1994 (English)Report (Other academic)
Abstract [en]

In this paper we address the question of adequacy of hybrid representations of computer systems embedded in physical environments. Within a proposed modelling framework we describe how reliable models for physical systems from the area of dynamic systems can be incorporated into models of hybrid systems with minimal effort. These models can be automatically derived based on descriptions of the physical system in the language of bond graphs. This inter-disciplinary modular modelling is only possible if the formalism used for description of hybrid systems is compositional and sufficiently expressive. We propose a modular variant of transition systems, Hybrid Transition Systems, for representation of hybrid systems. For this formalism a binary composition operator is defined, and an operational semantics provided. Two novel aspects of the formalism are separation of the input and state variables, and adoption of algebraic equations for description of the change in the value for some continuous variables. We illustrate the application of this formalism to representation of three realistic examples. We provide some example requirements specifications, and for one safety property we briefly sketch the needed analysis over the continuous state spaces. In another example it is illustrated that a hybrid formalism is even needed for the representation of the plant in isolation.

Place, publisher, year, edition, pages
Linköping: Linköping University , 1994. , 35 p.
LiTH-ISY-R, ISSN 1400-3902 ; 1556LiTH-IDA-R, ISSN 0281-4250 ; 93-48
Keyword [en]
Physical systems modelling, Hybrid representation, Transition systems, Discrete systems, Discrete control, Bond graph
Keyword [sv]
Databehandling Systemutveckling, Cybernetik Informationsteori
National Category
Control Engineering
URN: urn:nbn:se:liu:diva-55158ISRN: LiTH-ISY-R-1556OAI: diva2:315755
Available from: 2010-04-29 Created: 2010-04-29 Last updated: 2014-10-07Bibliographically approved

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Nadjm-Tehrani, Simin
By organisation
Automatic ControlThe Institute of TechnologyRTSLAB - Real-Time Systems Laboratory
Control Engineering

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

Total: 23 hits
ReferencesLink to record
Permanent link

Direct link