.DESLib.DEVSLib.SRC.DevelopersGuide.HybridModels

Information

Hybrid System Modeling

This package contains the implementation of the models used to translate continuous-time signals into series of messages and viceversa. The same models have been implemented to work with Real values or Boolean values.

• The DiCo/DiBo models translate messages into a picewise continuous-time or boolean signal.
  The value of the output signal is equaled to the value of the last message received, in the case of real signals. In the case of boolean signals, the value is true if the message value is greater that 0, and false otherwise.
• The Quantizer model implements a first order quantization method, translating the real input into series of messages with value equal to the input signal.
  A message is generated every time the input signal changes its value in a quantum q. The Threshold parameter is used to define the accuracy in the detection of the signal variation. The EType parameter defines the value for the type variable of the generated message.
• The CrossDown/BCrossDown translate Real and Boolean signals into messages when the signal crosses a predefined value downwards.
  The generated message has a value equal to the signal (or 0 in the boolean case) and a type equal to the EType parameter.
• The CrossUP/BCrossUP translate Real and Boolean signals into messages when the signal crosses a predefined value upwards.
  The generated message has a value equal to the signal (or 1 in the boolean case) and a type equal to the EType parameter.