classContact

Information

Main Author

Martin Otter
German Aerospace Center (DLR)
Robotics and Mechatronics Center
Institute of System Dynamics and Control
Postfach 1116
D-82230 Wessling
Germany
email: Martin.Otter@dlr.de

Acknowledgements:

• The structuring and most operators/models of this library are based on the informally defined FORM-L language by Nguyen Thuy from EDF. The backup-power-supply example is based on a description by Nguyen Thuy from EDF.
• The example models in sublibrary AircraftRequirements have been provided by the aircraft manufacturer Dassault Aviation and implemented by Dassault Aviation and DLR.
• Some operators/models are based on work by Dassault Aviation (such as SignalAnalysis) and by DLR (such as ChecksInFixedWindow_withFFT).
• The functions "card", "forall" and "exists" are based on a design by Hilding Elmqvist from Dassault Systèmes Lund.
• The functions "first", "last", "oneTrue" and the blocks "WhenFalling", "WhenChanging" are from Andrea Tunis (UNICAL).
• Wladimir Schamai suggested to use a mix of 2- and 3-valued logic.
• Earlier versions of this library have been tested with Dymola, OpenModelica and SimulationX.
• Most of this library was developed within the ITEA2 project MODRIO. Partial financial support of the German BMBF, the French DGE, and the Swedish VINNOVA are highly appreciated.
• The FFT-based property blocks of this library (ChecksInFixedWindow_withFFT) have been developed and implemented with help of partial funding in the European Union’s Seventh Framework Programme (FP7/2007-2016) for the Clean Sky Joint Technology Initiative under grant agreement no. CSJU-GAM-SGO-2008-001. This support is highly appreciated.