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
From Physical Modelling to Compositional 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)In: Proceedings of the 3rd Internaional Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, 1994, no 863, 583-604 p.Conference paper, Published paper (Refereed)
Abstract [en]

By a hybrid system we mean a discrete controller in interaction with a physical environment. This paper discusses methodologies for incorporating physically grounded models in representations of hybrid systems. To this end, we study a driver support system, an example which includes unmodelled inputs. We consider models at different levels of abstraction. First, we show that discrete models of the environment can be obtained from the continuous models without losing relevant information. We do this using an analysis of the continuous state space. We use Dynamic Transition Systems (DTS) for the modular modelling at this level of abstraction. Next, we consider models using Hybrid Transition Systems (HTS). This can be seen as a modular version of timed transition systems allowing both differential and algebraic equations in each mode. Finally, we comment on expressivity requirements on hybrid formalisms for modelling realistic physical systems.

Place, publisher, year, edition, pages
1994. no 863, 583-604 p.
Keyword [en]
Hybrid transition systems, Dynamic transition systems, Modeling, Analysis
National Category
Control Engineering
Identifiers
URN: urn:nbn:se:liu:diva-93709ISBN: 0387584684 (print)OAI: oai:DiVA.org:liu-93709DiVA: diva2:629021
Conference
3rd Internaional Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lübeck, Germany, September, 1994
Available from: 2013-06-15 Created: 2013-06-10 Last updated: 2013-06-15

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

isbn
urn-nbn

Altmetric score

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