liu.seSearch for publications in DiVA
Change search
Refine search result
1 - 3 of 3
CiteExportLink to result list
Permanent 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
Rows per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sort
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
Select
The maximal number of hits you can export is 250. When you want to export more records please use the Create feeds function.
  • 1.
    Nielsen, Lars
    et al.
    Linköping University, Department of Electrical Engineering, Vehicular Systems. Linköping University, Faculty of Science & Engineering.
    Nyberg, Mattias
    Linköping University, Department of Electrical Engineering, Vehicular Systems. Linköping University, Faculty of Science & Engineering.
    Frisk, Erik
    Linköping University, Department of Electrical Engineering, Vehicular Systems. Linköping University, Faculty of Science & Engineering.
    Bäckström, Christer
    Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.
    Henriksson, Anders
    Linköping University, Department of Computer and Information Science. Linköping University, Faculty of Science & Engineering.
    Klein, Inger
    Linköping University, Department of Electrical Engineering, Automatic Control. Linköping University, Faculty of Science & Engineering.
    Gustafsson, Fredrik
    Linköping University, Department of Electrical Engineering, Automatic Control. Linköping University, Faculty of Science & Engineering.
    Gunnarsson, Svante
    Linköping University, Department of Electrical Engineering, Automatic Control. Linköping University, Faculty of Science & Engineering.
    Issues in Diagnosis, Supervision, and Safety1996Report (Other academic)
    Abstract [en]

    Issues concerning diagnosis, supervision and saftey are found in many technologically advanced products. There is now a trend to extend the functionality of diagnosis and supervision systems to handle more advanced situations. This report collects some of the initiatives taking place in research and some of the developments taking place in the industry.

  • 2.
    Strömberg, Jan-Erik
    et al.
    Linköping University, Department of Electrical Engineering, Automatic Control. Linköping University, The Institute of Technology.
    Nadjm-Tehrani, Simin
    Linköping University, Department of Computer and Information Science, RTSLAB - Real-Time Systems Laboratory. Linköping University, The Institute of Technology.
    Towards reliable models of hybrid systems1994Report (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.

  • 3.
    Strömberg, Jan-Erik
    et al.
    Linköping University, Department of Electrical Engineering, Automatic Control. Linköping University, The Institute of Technology.
    Sethson, Magnus
    Linköping University, Department of Mechanical Engineering. Linköping University, The Institute of Technology.
    Plantin, Jonas
    Linköping University, Department of Electrical Engineering, Automatic Control. Linköping University, The Institute of Technology.
    Nadjm-Tehrani, Simin
    Linköping University, Department of Computer and Information Science. Linköping University, Department of Electrical Engineering, Automatic Control.
    Morin, Magnus
    Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
    Krus, Petter
    Linköping University, Department of Mechanical Engineering. Linköping University, The Institute of Technology.
    Jansson, Arne
    Linköping University, Department of Mechanical Engineering. Linköping University, The Institute of Technology.
    Gunnarsson, Johan
    Linköping University, Department of Electrical Engineering, Automatic Control. Linköping University, The Institute of Technology.
    Germundsson, Roger
    Linköping University, Department of Electrical Engineering, Automatic Control. Linköping University, The Institute of Technology.
    Complex Hybrid Systems I: a Study of Available Tools and Specification of Planned Work1994Report (Other academic)
    Abstract [en]

    The aim of this report is twofold. First, to provide a common framework and terminology for the participants of the Nutek supported COHSY project a multi-disciplinary academic-industrial cooperation on COmplex Hybrid SYstems. Second, to define more precisely the activities within the nest few years of the project. Therefore, the current report should be considered as a project definition rather than a statement about the constructive work currently in progress.

1 - 3 of 3
CiteExportLink to result list
Permanent 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