Publication
On the Soundness of Behavioural Abstraction in Hybrid Systems
Publications associées (36)
An aircraft assembly process formalism and verification method based on semantic modeling and MBSE
The aircraft assembly system is highly complex involving different stakeholders from multiple domains. The design of such a system requires comprehensive consideration of various industrial scenarios aiming to optimize key performance indicators. Tradition ...
Elsevier Sci Ltd2024Thermally-Compensated Magnetic Core Loss Model for Time-Domain Simulations of Electrical Circuits
Drazen Dujic, Min Luo, Nikolina Djekanovic
This paper introduces a thermally-compensated magnetic hysteresis model, capable of accurately determining core losses of ferrite materials while accounting for core temperature variations. The employed model is based on permeance-capacitance analogy and i ...
2021Energy Analysis of a Cardiac Assist Device based on Dielectric Elastomer Actuator through an Equivalent Electrical Circuit
Yves Perriard, Yoan René Cyrille Civet, Francesco Clavica, Jonathan André Jean-Marie Chavanne
Lumped parameter model and mock circulation loop are two tools commonly used in biomedical research to simulate cardiac system in order to study different assist devices. In this paper, a lumped parameter model is proposed to simulate a circulation loop. T ...
IEEE2021Structural properties of organometalic halide perovskite and their application in photodetectors
Hybrid organometallic halide perovskites have been intensively investigated in the past years as highly efficient light harvesters for various optoelectronic applications for both sensing and emitting light. However, many open questions remain regarding th ...
EPFL2020Impedance Analyser - Non-Linear Inductors and Capacitors Measurement
Impedance analyzers are essential equipment's for any engineer working in the domain of electrical circuits. The impedance of a circuit is determined by exciting this later with a sine voltage over a frequency span and by observing the current consequently ...
2019Approximate Kron Reduction Methods for Electrical Networks With Applications to Plug-and-Play Control of AC Islanded Microgrids
Giancarlo Ferrari Trecate, Alessandro Floriduz, Michele Tucci
Kron reduction (KR) is a methodology for analyzing an electrical network by replacing it with a simpler circuit having less nodes but the same terminal behavior of voltages and currents at target vertices. Existing approaches to instantaneous KR, however, ...
2019Quantifying and Modeling the Impact of Interconnection Failures on the Electrical Performance of Crystalline Silicon Photovoltaic Modules
Christophe Ballif, Antonin Faes, Jacques Levrat, Alessandro Francesco Aldo Virtuani, Matthieu Despeisse, Eleonora Annigoni
We present an electrical model developed with LT SPICE that simulates the performance of a string of cells with disconnections in the electrical circuit. In a previous contribution, we quantified experimentally how the module performance is affected when o ...
IEEE2018Dynamic Modeling of Magnetic Components for Circuit Simulation of Power Electronic Systems
Magnetic components play an important role in a power electronic converter system. They provide energy buffering, galvanic isolation and voltage ratio conversion and have significant impact on the overall performance of the system regarding power efficienc ...
EPFL2018Structure-Preserving Model-Reduction of Dissipative Hamiltonian Systems
Jan Sickmann Hesthaven, Babak Maboudi Afkham
Reduced basis methods are popular for approximately solving large and complex systems of dierential equations. However, conventional reduced basis methods do not generally preserve conservation laws and symmetries of the full order model. Here, we present ...
2017Devices, systems and methods for dispensing and analysing particles
Philippe Renaud, Yann Barrandon, David Vincent Bonzon, Jean-Baptiste Bureau, Steve Béguin
The present invention relates to a pipette tip comprising a thin holed membrane at its distal end, which is designed to be adapted with a system comprising at least an impedance analyser and a fluidic actuator to perform the dispensing and analysis of part ...
2016