-
Digital control strategies for DC/DC SEPIC converters towards integration
The use of SMPS (Switched mode power supply) in embedded systems is continuously increasing. The technological requirements of these systems include simultaneously a... -
Driving information and assistance system for the implementation of safety in...
In order to improve road safety conditions, the European Union has set itself the objective of reducing the number of road deaths. The European ASSET project aims to... -
An incremental approach for hardware discrete controller synthesis
The Discrete Controller Synthesis (DCS) technique is used for automatic generation of correct-by-construction hardware controllers. For a given plant (a state-based... -
Diagnostic des systèmes embarqués critiques : Application à la carte de comma...
International audience -
A model-driven development of tests for avionics embedded systems.
The development of tests for avionics systems involves a multiplicity of in-house test languages, with no standard emerging. Test solution providers have to... -
Interrogation system for probing physical quantities in an extended temperatu...
This report deals with the study and design of interrogation electronics for probing surface acoustic wave (SAW) transducers used as passive wireless sensors of... -
New generation of high dynamic range vision systems
This thesis is a part of the EUREKA European project called "High Dynamic Range - Low NoiseCMOS imagers", which developped new approaches to design high performance... -
Safe design method of embedded systems based on COTS
This PhD dissertation contributes to the safe design of COTS-based control-command embedded systems. Due to design constraints bounding delays, costs and engineering... -
A Quest for Exactness: Program Transformation for Reliable Real Numbers
This thesis presents an algorithm that eliminates square root and division operations in some straight-line programs used in embedded systems while preserving the... -
Development of an energy efficient, robust and modular multicore wireless sen...
The wireless sensor network is a key technology in the 21st century because it has multitude applications and it becomes the new way of interaction between physical... -
Microscopic modeling of support system for in-vehicle embedded systems
Contribution à un ouvrage.
