-
Reachability Analysis of Hybrid Systems using Support Functions
In model based design, one constructs a mathematical model of the system and uses it to design the system so that it exhibits the desired properties. For safety... -
Electrical, thermomechanical and sorption properties of hybrid organic-inorga...
The aim of the research is to establish mechanisms of structure formation of hybrid organic-inorganic systems based on urethane oligomers and silicates, depending on... -
Optimisation de Lois de Gestion Énergétiques des Véhicules Hybrides
The purpose of the this work is to apply optimal control techniques to enhance the performance of the power management of hybrid vehicles. More precisely, the... -
Logico-Numerical Verification Methods for Discrete and Hybrid Systems
This thesis studies the automatic verification of safety properties of logico-numerical discrete and hybrid systems. These systems have Boolean and numerical variables... -
Predictive control of hybrid systems and its application to the control of po...
Lately, power supply systems, guaranteeing the global stability for large enough operation ranges with good dynamic performances (small settling time, bounded... -
On the control of hybrid nonlinear systems
This dissertation concerns the development of reduced complexity controllers for<br />hybrid switched systems. A diverse number of applications from automotive... -
Hybrid dynamical system Identification: geometry, sparsity, and nonlinearities
In automatic control, obtaining a model is always the cornerstone of the synthesis procedures such as controller design, fault detection or prediction... This thesis... -
Surveillance et diagnostic des phases transitoires des systèmes hybrides basé...
The supervision and monitoring systems have a major role to the security of an industrial plant and the availability of its equipments. Forewarn the operator earliest... -
Techniques for the formal analysis of non-linear dynamical systems
In this thesis, we presented our contributions to the formal analysis of dynamical systems. We focused on the problem of efficiently computing an accurate... -
Lyapunov techniques for a class of hybrid systems and reset controller synthe...
Pas de résumés en anglais -
Control of a class of hybrid systems by rectangular hybrid automata
In this thesis, we study the control of a class of hybrid dynamic systems (HDS). The chosen modeling tool is the rectangular hybrid automaton (RHA) for his analysis... -
Functional testing of hybrid properties
Hybrid systems posess a continuous and discrete behavior. This behavior is partially determined by temporal constraints, and/or interactions of the system with a... -
Approximate reachability analysis of piecewise-linear dynamical systems
Colloque avec actes et comité de lecture. internationale. -
Effective Synthesis of Switching Controllers for Linear Systems
Article dans revue scientifique avec comité de lecture.
