High-level mathematical modeling and programming

Fritzson, Peter; Viklund, Lars; Herber, O.J.; Fritzson, Dag

doi:10.1109/52.391838

Cited by 26 publications

(9 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…There are several modelling languages with such a support available from universities and small companies. Examples of such modelling languages include ASCEND (Piela, Epperly, Westerberg, & Westerberg, 1991), Modelica (Elmqvist & Mattson, 1997), gPR-OMS (Barton & Pantelides, 1994), NMF (Sahlin, Bring, & Sowell, 1996), ObjectMath (Fritzson, Viklund, Fritzson, & Herber, 1995), Omola (Mattsson, Andersson, & Åström, 1993, chap. 2), SIDOPS+ (Breunese & Broenink, 1997), Smile (Kloas, Friesen, & Simons, 1995), U.L.M. (Jeandel, Boudaud, Ravier, & Buhsing, 1996) and VHDL-AMS (IEEE, 1997).…”

Section: Simulationmentioning

confidence: 98%

Safe controllers design for industrial automation systems

Machado

Seabra

Campos

et al. 2011

Computers & Industrial Engineering

View full text Add to dashboard Cite

a b s t r a c tThe design of safe industrial controllers is one of the most important domains related to Automation Systems research. To support it, synthesis and analysis techniques are available. Among the analysis techniques, two of the most important are Simulation and Formal Verification. In this paper these two techniques are used together in a complementary way. Understanding plant behaviour is essential for obtaining safe industrial systems controllers; hence, plant modelling is crucial to the success of these techniques. A two step approach is presented: first, the use of Simulation and, second, the use of Formal Verification of Industrial Systems Specifications. The specification and plant models used for each technique are described. Simulation and Formal Verification results are presented and discussed. The approach presented in the paper can be applied to real industrial systems, and obtain safe controllers for hybrid plants. The Modelica modelling language and Dymola simulation environment are used for Simulation purposes, and Timed Automata formalism and the UPPAAL real-time model-checker are used for Formal Verification purposes.

show abstract

Section: Simulationmentioning

confidence: 98%

Safe controllers design for industrial automation systems

Machado

Seabra

Campos

et al. 2011

Computers & Industrial Engineering

View full text Add to dashboard Cite

show abstract

“…In 1996 several first generation object-oriented mathematical modeling languages and simulation systems (ObjectMath [25], Dymola [23], Omola [29], NMF [31], gPROMS [19], Allan, Smile, etc.) had been developed.…”

Section: A Modelica Backgroundmentioning

confidence: 99%

Modelica — A cyber-physical modeling language and the OpenModelica environment

Fritzson

2011

2011 7th International Wireless Communications and Mobile Computing Conference

View full text Add to dashboard Cite

“…Die Modellbeschreibungssprache, auf der die jeweilige Umgebung aufsetzt, soll im folgenden Modellimplementierungssprache genannt werden. Wichtige und bereits mit objektorientierten Strukturierungsmitteln ausgerüstete Vertreter dieser Klasse sind ASCEND [48], Dymola [16,17], SIDOPS+ [8], NMF [52], SPEEDUP/gPROMS [45,4], Matlab/Simulink [39], Omola [40], ObjectMath [24], und Smile [36]. Die letztgenannte Sprache stellt die Zielplattform für die hier vorgestellte Entwicklungsmethodik dar und wird im Abschnitt 4 näher beschrieben.…”

Section: Implementierungssprachenunclassified

Modellierung und Simulation hybrider Systeme mit Smile

Ernst¹,

Klein-Robbenhaar²,

Nordwig

et al. 2000

Informatik - Forschung und Entwicklung

View full text Add to dashboard Cite

Zusammenfassung. Es wird eine werkzeugunterstützte Entwicklungsmethodik vorgestellt, die der Erstellung von Berechnungsmodellen für die Simulation hybrider physikalischtechnischer Systeme dient. Dafür werden verschiedene Modellbeschreibungstechniken dargestellt und klassifiziert, die anschließend in einen falltypischen Entwicklungsprozeß eingebettet werden, der auf hybriden Erweiterungen von UML und Z basiert. Die Simulationsumgebung Smile 1 ermöglicht schließlich die generische Erzeugung eines ausführbaren Simulators. Architektur und Kernkomponenten dieses Systems, wie beispielsweise Lösungsverfahren und Experimentshell, werden eingehender diskutiert. Ein Anwendungsbeispiel illustriert den beschriebenen Entwicklungsprozeß. Abstract.A tool-based method is proposed for the development of hybrid simulation models for physical or technical systems. Different model description techniques are reviewed, classified, and then embedded into a complete, formal development process. Hybrid extensions of UML and Z play a central role in this process. The simulation environment Smile 1 is used for the generic construction of an executable simulator. The architecture and important components of this system like numerical solvers or the experiment shell are discussed in more detail. Finally, the application to an exemplary model illustrates the development process described.

show abstract

High-level mathematical modeling and programming

Cited by 26 publications

References 8 publications

Safe controllers design for industrial automation systems

Safe controllers design for industrial automation systems

Modelica — A cyber-physical modeling language and the OpenModelica environment

Modellierung und Simulation hybrider Systeme mit Smile

Contact Info

Product

Resources

About

High-level mathematical modeling and programming

Cited by 26 publications

References 8 publications

Safe controllers design for industrial automation systems

Safe controllers design for industrial automation systems

Modelica &#x2014; A cyber-physical modeling language and the OpenModelica environment

Modellierung und Simulation hybrider Systeme mit Smile

Contact Info

Product

Resources

About

Modelica — A cyber-physical modeling language and the OpenModelica environment