Webbläsaren som du använder stöds inte av denna webbplats. Alla versioner av Internet Explorer stöds inte längre, av oss eller Microsoft (läs mer här: * https://www.microsoft.com/en-us/microsoft-365/windows/end-of-ie-support).

Var god och använd en modern webbläsare för att ta del av denna webbplats, som t.ex. nyaste versioner av Edge, Chrome, Firefox eller Safari osv.

A New Formalism for Modeling of Reactive and Hybrid Systems

In English

Författare

Summary, in English

A new Modelica library is presented that is used to model safe hierarchical state machines in combination with any Modelica model, e.g., controllers, logical blocks, and physical systems described by differential-algebraic equations. It has been designed for simple usage, to guarantee safety properties and to harmonise with the design of the new Modelica_EmbeddedSystems library. Furthermore, new blocks are introduced to define actions in a visual way, and not textually. The library is inspired by Statecharts, Sequential Function Charts, Safe State Machines (SSM) and Mode-Automata. It has been designed so that only small extensions to Modelica 3.1 are needed. The algorithms are sketched that are used to guarantee consistent graphs that give a limited number of event iterations. Furthermore, it is shown how a symbolic verifier can be used to guarantee additional properties of state machines.

Publiceringsår

2009

Språk

Engelska

Sidor

364-377

Publikation/Tidskrift/Serie

[Host publication title missing]

Dokumenttyp

Konferensbidrag

Ämne

  • Control Engineering

Nyckelord

  • hybrid systems
  • reactive systems
  • NuSMV
  • Safe State Machines
  • Mode-Automata
  • Sequential Function Charts
  • Statechart
  • ModeGraph

Conference name

7th International Modelica Conference, 2009

Conference date

2009-09-20 - 2009-09-22

Conference place

Como, Italy

Status

Published

Forskningsgrupp

  • LCCC