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
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.
Series
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
Identifiers
URN: urn:nbn:se:liu:diva-55158ISRN: LiTH-ISY-R-1556OAI: oai:DiVA.org:liu-55158DiVA: diva2:315755
Available from: 2010-04-29 Created: 2010-04-29 Last updated: 2014-10-07Bibliographically approved

Open Access in DiVA

No full text

Authority records BETA

Nadjm-Tehrani, Simin

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

urn-nbn

Altmetric score

urn-nbn
Total: 44 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