Results 251 to 260 of about 296,728 (278)

Translating discrete-time simulink to lustre

Transactions on Embedded Computing Systems, 2005
Stavros Tripakis
exaly  

Simulink

2004
openaire   +1 more source

MATLAB Simulink

IEEE Control Systems Magazine, 2004
openaire   +1 more source

One-dimensional metal-hydride tank model and simulation in Matlab-Simulink

, 2018
Z. Abdin, C. J. Webb, E. Gray
semanticscholar   +1 more source

Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X

IEEE International Conference on Formal Engineering Methods, 2018
Timm Liebrenz, Paula Herber, S. Glesner
semanticscholar   +1 more source

The simple hourly method of EN ISO 13790 standard in Matlab/Simulink: A comparative study for the climatic conditions of Poland

Energy, 2014
Piotr Michalak
exaly  

Simulink fault localization: an iterative statistical debugging approach

Software Testing Verification and Reliability, 2016
Shiva Nejati
exaly  

MATLAB-SIMULINK

International Conference on Simulation (1998), 1998
openaire   +1 more source

TMS320F28335 DSP programming using MATLAB Simulink embedded coder: Techniques and advancements

Compel, 2017
A. Elrajoubi, S. Ang, Ali A. Abushaiba
semanticscholar   +1 more source

Hardware implementation of the fuzzy logic MPPT in an Arduino card using a Simulink support package for PV application

IET Renewable Power Generation, 2019
Fannakh Mhamed, Smail Zouggar
exaly