Startsida
Hjälp
Sök i LIBRIS databas

     

 

Sökning: onr:19666889 > Flattening of Model...

  • Thiele, Bernhard(författare)

Flattening of Modelica State Machines [Elektronisk resurs] :A Practical Symbolic Representation /Bernhard Thiele, Adrian Pop, Peter Fritzson

  • Artikel/kapitelEngelska2015

Nummerbeteckningar

  • LIBRIS-ID:19666889

Anmärkningar

  • Modelica 3.3 introduced dedicated built-in language support for state machines that was inspired by semantics known from Statechart and mode automata formalisms. The specification describes the semantics of these constructs in terms of data-flow equations that allows to relate it to the Modelica DAE representation which is the conceptual intermediate format of Modelica code after instance creation (flattening). However, a complete transformation of state machine constructs into data-flow equations at the stage of flattening requires an early commitment to implementation details that potentially hinders model optimizations at subsequent translation phases. Also, due to the required substantial model transformation the semantic distance between the original source model and the flattened representation is rather large. Hence, this paper proposes a more versatile symbolic representation for flattened state machine constructs that preserves the state machine’s composition structure and allows postponing optimizations to subsequent compiler phases.

Ämnesord och genrebeteckningar

  • State machineMode automataFlatteningCompilation

Biuppslag (personer, institutioner, konferenser, titlar ...)

  • Pop, Adrian,1975-(författare)
  • Fritzson, Peter,1952-(författare)

Sammanhörande titlar

  • Ingår i:Proceedings of the 11th International Modelica Conference, Versailles, France, September 21-23, 2015 [Elektronisk resurs] /2015-09-18T02:00:00+02:00

Internetlänk

Länkade data-URI:er (test)

  • 256480 (Pop, Adrian, 1975-)
  • 187590 (Fritzson, Peter, 1952-)
Inställningar Hjälp

Ingår i annan publikation. Gå till titeln Proceedings of the 11th International Modelica Conference, Versailles, France, September 21-23, 2015 [Elektronisk resurs] /

Om LIBRIS
Sekretess
Blogg
Hjälp
Fel i posten?
Kontakt
Teknik och format
Sök utifrån
Sökrutor
Plug-ins
Bookmarklet
Anpassa
Textstorlek
Kontrast
Vyer
LIBRIS söktjänster
SwePub
Sondera
Uppsök

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Copyright © LIBRIS - Nationella bibliotekssystem

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy