fmu3.hpp
1 /*
2  * This file is part of CasADi.
3  *
4  * CasADi -- A symbolic framework for dynamic optimization.
5  * Copyright (C) 2010-2023 Joel Andersson, Joris Gillis, Moritz Diehl,
6  * KU Leuven. All rights reserved.
7  * Copyright (C) 2011-2014 Greg Horn
8  *
9  * CasADi is free software; you can redistribute it and/or
10  * modify it under the terms of the GNU Lesser General Public
11  * License as published by the Free Software Foundation; either
12  * version 3 of the License, or (at your option) any later version.
13  *
14  * CasADi is distributed in the hope that it will be useful,
15  * but WITHOUT ANY WARRANTY; without even the implied warranty of
16  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
17  * Lesser General Public License for more details.
18  *
19  * You should have received a copy of the GNU Lesser General Public
20  * License along with CasADi; if not, write to the Free Software
21  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
22  *
23  */
24 
25 #ifndef CASADI_FMU3_HPP
26 #define CASADI_FMU3_HPP
27 
28 #include "fmu_impl.hpp"
29 
30 #include <fmi3Functions.h>
31 
33 
34 namespace casadi {
35 
42 class CASADI_EXPORT Fmu3 : public FmuInternal {
43  public:
44  // Constructor
45  Fmu3(const std::string& name,
46  const std::vector<std::string>& scheme_in, const std::vector<std::string>& scheme_out,
47  const std::map<std::string, std::vector<size_t>>& scheme, const std::vector<std::string>& aux);
48 
50  ~Fmu3() override;
51 
55  std::string class_name() const override { return "Fmu3";}
56 
57  // Initialize
58  void init(const DaeBuilderInternal* dae) override;
59 
63  int init_mem(FmuMemory* m) const override;
64 
68  FmuMemory* alloc_mem(const FmuFunction& f) const override;
69 
73  void free_mem(void *mem) const override;
74 
75  // Finalize
76  void finalize() override;
77 
78  // Set C API functions
79  void load_functions() override;
80 
81  // Variables used for initialization, by type
82  std::vector<fmi3ValueReference> vr_real_, vr_integer_, vr_boolean_, vr_string_;
83  std::vector<fmi3Float64> init_real_;
84  std::vector<fmi3Int32> init_integer_;
85  std::vector<fmi3Boolean> init_boolean_;
86  std::vector<std::string> init_string_;
87 
88  // Auxilliary variables, by type
89  std::vector<std::string> vn_aux_real_, vn_aux_integer_, vn_aux_boolean_, vn_aux_string_;
90  std::vector<fmi3ValueReference> vr_aux_real_, vr_aux_integer_, vr_aux_boolean_, vr_aux_string_;
91 
92  // Following members set in finalize
93 
94  // FMU C API function prototypes. Cf. FMI specification 2.0.2
95  fmi3InstantiateModelExchangeTYPE* instantiate_model_exchange_;
96  fmi3FreeInstanceTYPE* free_instance_;
97  fmi3ResetTYPE* reset_;
98  fmi3EnterInitializationModeTYPE* enter_initialization_mode_;
99  fmi3ExitInitializationModeTYPE* exit_initialization_mode_;
100  fmi3EnterContinuousTimeModeTYPE* enter_continuous_time_mode_;
101  fmi3SetTimeTYPE* set_time_;
102  fmi3GetFloat64TYPE* get_float64_;
103  fmi3SetFloat64TYPE* set_float64_;
104  fmi3GetBooleanTYPE* get_boolean_;
105  fmi3SetBooleanTYPE* set_boolean_;
106  fmi3GetInt32TYPE* get_int32_;
107  fmi3SetInt32TYPE* set_int32_;
108  fmi3GetStringTYPE* get_string_;
109  fmi3SetStringTYPE* set_string_;
110  fmi3GetDirectionalDerivativeTYPE* get_directional_derivative_;
111  fmi3GetAdjointDerivativeTYPE* get_adjoint_derivative_;
112  fmi3UpdateDiscreteStatesTYPE* update_discrete_states_;
113 
114  // Collection of variable values, all types
115  struct Value {
116  std::vector<fmi3Float64> v_real;
117  std::vector<fmi3Int32> v_integer;
118  std::vector<fmi3Boolean> v_boolean;
119  std::vector<std::string> v_string;
120  };
121 
123 
124  // Name of system, per the FMI specification
125  std::string system_infix() const override;
126 
127  // New memory object
128  void* instantiate() const override;
129 
130  // Free FMU instance
131  void free_instance(void* instance) const override;
132 
133  // Reset solver
134  int reset(void* instance);
135 
136  // Enter initialization mode
137  int enter_initialization_mode(void* instance) const override;
138 
139  // Exit initialization mode
140  int exit_initialization_mode(void* instance) const override;
141 
142  // Enter continuous-time mode
143  int enter_continuous_time_mode(void* instance) const override;
144 
145  // Update discrete states
146  int update_discrete_states(void* instance, EventMemory* eventmem) const override;
147 
148  int get_derivatives(void* instance, double* derivatives, size_t nx) const override;
149 
150  // Set real values
151  int set_real(void* instance, const unsigned int* vr, size_t n_vr,
152  const double* values, size_t n_values) const override;
153 
154  // Get/evaluate real values
155  int get_real(void* instance, const unsigned int* vr, size_t n_vr,
156  double* values, size_t n_values) const override;
157 
158  // Forward mode AD
159  int get_directional_derivative(void* instance, const unsigned int* vr_out, size_t n_out,
160  const unsigned int* vr_in, size_t n_in, const double* seed, size_t n_seed,
161  double* sensitivity, size_t n_sensitivity) const override;
162 
163  // Reverse mode AD
164  int get_adjoint_derivative(void* instance, const unsigned int* vr_out, size_t n_out,
165  const unsigned int* vr_in, size_t n_in, const double* seed, size_t n_seed,
166  double* sensitivity, size_t n_sensitivity) const override;
167 
168  // Copy values set in DaeBuilder to FMU
169  int set_values(void* instance) const override;
170 
171  // Retrieve auxilliary variables from FMU
172  int get_aux(void* instance) override;
173 
174  // Retrieve auxilliary variables from FMU, implementation
175  int get_aux_impl(void* instance, Value& aux_value) const;
176 
180  void get_stats(FmuMemory* m, Dict* stats,
181  const std::vector<std::string>& name_in, const InputStruct* in) const override;
182 
183  // Process message
184  static void log_message_callback(fmi3InstanceEnvironment instanceEnvironment,
185  fmi3Status status, fmi3String category, fmi3String message);
186 
187  void serialize_body(SerializingStream& s) const override;
188 
189  static Fmu3* deserialize(DeserializingStream& s);
190 
191  protected:
192  explicit Fmu3(DeserializingStream& s);
193 };
194 
195 } // namespace casadi
196 
198 
199 #endif // CASADI_FMU3_HPP
Helper class for Serialization.
Interface to a binary FMU, adhering to FMI version 2.0.
Definition: fmu3.hpp:42
fmi3InstantiateModelExchangeTYPE * instantiate_model_exchange_
Definition: fmu3.hpp:95
Value aux_value_
Definition: fmu3.hpp:122
fmi3ExitInitializationModeTYPE * exit_initialization_mode_
Definition: fmu3.hpp:99
std::vector< std::string > vn_aux_boolean_
Definition: fmu3.hpp:89
std::vector< fmi3ValueReference > vr_boolean_
Definition: fmu3.hpp:82
fmi3GetStringTYPE * get_string_
Definition: fmu3.hpp:108
fmi3SetFloat64TYPE * set_float64_
Definition: fmu3.hpp:103
std::vector< fmi3Boolean > init_boolean_
Definition: fmu3.hpp:85
fmi3SetInt32TYPE * set_int32_
Definition: fmu3.hpp:107
std::vector< fmi3Int32 > init_integer_
Definition: fmu3.hpp:84
fmi3EnterContinuousTimeModeTYPE * enter_continuous_time_mode_
Definition: fmu3.hpp:100
std::vector< std::string > init_string_
Definition: fmu3.hpp:86
fmi3GetInt32TYPE * get_int32_
Definition: fmu3.hpp:106
fmi3SetStringTYPE * set_string_
Definition: fmu3.hpp:109
fmi3SetTimeTYPE * set_time_
Definition: fmu3.hpp:101
fmi3GetFloat64TYPE * get_float64_
Definition: fmu3.hpp:102
fmi3SetBooleanTYPE * set_boolean_
Definition: fmu3.hpp:105
std::vector< fmi3ValueReference > vr_aux_boolean_
Definition: fmu3.hpp:90
fmi3GetDirectionalDerivativeTYPE * get_directional_derivative_
Definition: fmu3.hpp:110
fmi3GetBooleanTYPE * get_boolean_
Definition: fmu3.hpp:104
std::vector< fmi3Float64 > init_real_
Definition: fmu3.hpp:83
fmi3ResetTYPE * reset_
Definition: fmu3.hpp:97
fmi3GetAdjointDerivativeTYPE * get_adjoint_derivative_
Definition: fmu3.hpp:111
fmi3UpdateDiscreteStatesTYPE * update_discrete_states_
Definition: fmu3.hpp:112
std::string class_name() const override
Get type name.
Definition: fmu3.hpp:55
fmi3FreeInstanceTYPE * free_instance_
Definition: fmu3.hpp:96
fmi3EnterInitializationModeTYPE * enter_initialization_mode_
Definition: fmu3.hpp:98
Interface to binary FMU.
Definition: fmu_impl.hpp:61
Helper class for Serialization.
The casadi namespace.
Definition: archiver.cpp:28
GenericType::Dict Dict
C++ equivalent of Python's dict or MATLAB's struct.
std::vector< fmi3Float64 > v_real
Definition: fmu3.hpp:116
std::vector< std::string > v_string
Definition: fmu3.hpp:119
std::vector< fmi3Boolean > v_boolean
Definition: fmu3.hpp:118
std::vector< fmi3Int32 > v_integer
Definition: fmu3.hpp:117