Files:DescriptionFile size FormatBrowse
Fulltext0.20 MBPDF (requires Acrobat Reader)Next
  
Authors:Hilding Elmqvist: Dassault Systèmes AB, Ideon Science Park, Lund, Sweden
Martin Otter: DLR Institute of System Dynamics and Control, Wessling, Germany
Sven Erik Mattsson: Dassault Systèmes AB, Ideon Science Park, Lund, Sweden
Publication title:Fundamentals of Synchronous Control in Modelica
Conference:Proceedings of the 9th International MODELICA Conference, September 3-5, 2012, Munich, Germany
Publication type: Abstract and Fulltext
Issue:076
Article No.:001
Abstract:The scope of Modelica 3.3 has been extended from a language primarily intended for physical systems modeling to modeling of complete systems by allowing the modeling of control systems and enabling automatic code generation for embedded systems.

This paper describes the fundamental synchronous language primitives introduced for increased correctness of control systems implementation since many more checks can be done at compile time. The approach is based on associating clocks to the variable types. Special operators are needed when accessing variables of another clock. This enables clock inference and increased correctness of the code since more extensive checking can be done at compile time.

Language:English
Keywords:Modelica, Synchronous, Control
Year:2012
No. of pages:12
Pages:15-26
ISBN:978-91-7519-826-2
Series:Linköping Electronic Conference Proceedings
ISSN (print):1650-3686
ISSN (online):1650-3740
File:http://www.ep.liu.se/ecp/076/001/ecp12076001.pdf
Available:2012-11-19
Publisher:Linköping University Electronic Press, Linköpings universitet

REFERENCE TO THIS PAGE
Hilding Elmqvist, Martin Otter, Sven Erik Mattsson (2012). Fundamentals of Synchronous Control in Modelica, Proceedings of the 9th International MODELICA Conference, September 3-5, 2012, Munich, Germany http://dx.doi.org/10.3384/ecp1207615 (accessed 9/3/2014)