A stormwater runoff model based on the Soil Conservation Service (SCS) method and a finite-volume based water quality model have been developed to investigate the use of Simulink for use in teaching and research. Simulink, a MATLAB extension, is a graphically based model development environment for system modeling and simulation. Widely used for mechanical and electrical systems, Simulink has h...

The HDL Code Generation step in MATLAB generates HDL code from the fixed-point Matlab code. One can generate either VHDL or Verilog code that implements the Matlab design. In addition to generating synthesizable HDL code, HDL CoderTM also generates various reports, including a traceability report that helps to navigate between the Matlab code and the generated HDL code. It also shows resource u...

Simulink is the de facto industrial standard for designing embedded control systems. When dealing with the formal verification of Simulink models, we face the problem of translating the graphical language of Simulink, namely, hierarchical block diagrams (HBDs), into a formalism suitable for verification. In this paper, we study the translation of HBDs into the compositional refinement calculus ...

Este trabajo presenta un estudio de los diferentes tipos estabilidad que están presentes en Sistemas Eléctricos Potencia (SEP) atendiendo su naturaleza física, tamaño la perturbación y escala tiempo, con énfasis fenómenos oscilatorios pequeña señal. Con el fin mejorar pequeñas señales, se implementa ajuste del estabilizador potencia 2B propuesto por IEEE, no está implementado herramienta, utili...