-
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... -
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... -
Detailed analysis of compilation options for robust software-based embedded s...
International audience -
Holistic Modeling of Embedded Systems with Multi-Discipline Feedback: Applica...
ISBN 978-3-9810801-8-6 -
Alternative schemes for low-footprint operating systems building
This paper presents two ways of building dedicated embedded operating systems. The constructive approach consists in starting from a minimal kernel and adding... -
Extended Model driven Architecture to B Method
International audience -
Energy estimation and optimization in architectural descriptions of complex e...
International audience -
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... -
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. -
Photovoltaic Power Supply for an Airliner Wireless Sensor Network
This paper presents an autonomous, battery-free power supply which captures, manages and stores energy using photovoltaic cells and supercapacitors to supply pressure sensors... -
In-vehicle embedded computer control systems
Colloque sur invitation. nationale.
