packageHybrid

Interface models for hybrid system modeling

Information

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 Quantizer model implements a first order quantization method, translating the real input into series of messages with value equal to the input signal.
  • The CrossDown/BCrossDown translate Real and Boolean signals into messages when the signal crosses a predefined value downwards.
  • The CrossUP/BCrossUP translate Real and Boolean signals into messages when the signal crosses a predefined value upwards.

Contents

NameDescription
DiCo
Quantizerfirst order quantizer of a Real signal
QuantizerUPfirst order quantizer of a Real signal
QuantizerDOWNfirst order quantizer of a Real signal
CrossDOWNgenerates a message of type EType, when crossing Value downwards
CrossUPgenerates a message of type EType, when crossing Value upwards
DiBo
BCrossDOWNgenerates event of type EType, when crossing Value downwards
BCrossUP
CondGenConditional message generator