[HTML][HTML] Experimental study of a crystal positron source

R Chehab, R Cizeron, C Sylvia, V Baier… - Physics Letters B, 2002 - Elsevier
Tungsten crystals oriented on their〈 111〉 axis, were submitted to 6 and 10 GeV electron
beams on the SPS-CERN transfer lines. The crystals, 4 and 8 mm thick, used alone or …

Modélisation en langage VHDL-AMS des systèmes pluridisciplinaires

D Guihal - 2007 - theses.hal.science
Ce travail de thèse porte sur la problématique d'élaboration de modèles de systèmes
hétérogènes. Il a associé le laboratoire de recherche LAAS-CNRS et la société MENTOR …

Real-time emulation of boost inverter using the systems modeling language and Petri nets

A Gutierrez, M Bressan, JF Jimenez… - … and Computers in …, 2019 - Elsevier
A boost inverter is a versatile architecture able to supply DC or AC outputs from diverse
alternative energy sources. The most relevant advantage of this multipurpose converter is to …

Hardware-in-the-loop based sysml for model and control design of interleaved boost converters

A Gutierrez, HR Chamorro… - 2014 IEEE 15th …, 2014 - ieeexplore.ieee.org
This paper outlines the application of the HiLeS-RCP (High Level Specification of
Embedded Systems-Rich Client Platform) to model and design controllers of interleaved …

Contribution à la méthodologie de conception système: application à la réalisation d'un microsystème multicapteurs communicant pour le génie civil

R Maurice - 2005 - theses.hal.science
Ce travail de thèse porte sur la problématique de conception et de réalisation dun
microsystème multicapteurs communicant pour une application Génie Civil. Il présente et …

Embedded systems requirements verification using HiLeS designer

CE Gomez, JC Pascal, P Esteban, Y Deleris… - … 2010, Embedded Real …, 2010 - hal.science
One of the issues related to systems design is the early verification in first design steps:
system specifications verification. Nowadays, it is common to use text-based specifications …

Supervisory control for interleaved boost converters using HiLeS-designer

A Gutierrez, HR Chamorro… - 2014 16th European …, 2014 - ieeexplore.ieee.org
This paper presents the application of HiLeS (High Level Specification of Embedded
Systems) formalism to design a supervisory controller based on FPGA for interleaved boost …

Tucan: Virtual prototype generation and time constraints analysis of real-time embedded systems

H Hoyos-Rodríguez, F Jiménez, R Casallas… - Design Automation for …, 2013 - Springer
This paper presents Tucan, an approach to automatically create a virtual prototype (VP) and
to support the analysis of VP testing results to validate time constraint requirements in real …

[PDF][PDF] SysML Modeling of Power Electronics Converters for Microgrid Applications

A Gutierrez, C Alonso, F Jiménez - Journées Nationales du Réseau …, 2016 - academia.edu
Currently, power electronics converters in microgrids have increased their application and
complexity; as a result, innovative design methodologies are required. Hardware-inthe-Loop …

[PDF][PDF] Diseño y verificación con la metodología HiLeS de controladores basados en FPGA para la segmentación de potencia en estructuras modulares de …

A Gutiérrez Galeano - 2013 - repositorio.uniandes.edu.co
6. RESULTADOS EXPERIMENTALES………………………………… 35 6.1. Pruebas de
eficiencia y regulación de voltaje………………..... 35 6.2 Desempeño del controlador …