Les systèmes hybrides sont des systèmes dynamiques, caractérisés par un comportementdual, une interaction entre une partie discrète et une partie continue de fonctionnement.Dans le centre de notre travail se trouve une classe particulière de systèmeshybrides, plus spécifiquement les systèmes stochastiques à commutation que nous modélisonsà l’aide des Chaînes de Markov en temps continu et des équations différentielles.Le comportement aléatoire de ce type de système nécessite une commande spécialequi s’adapte aux événements arbitraires qui peuvent changer complètement l’évolutiondu système. Nous avons choisi une politique de contrôle basée sur les événements quiest déclenchée seulement quand il est nécessaire (sur un événement incontrôlable -...
This paper focuses on hybrid systems whose discrete state transitions depend on both deterministic a...
Ce travail de thèse a pour objet l étude de modèles markoviens qui résultent de la prise en compte d...
This thesis presents a formal method for the the design of optimal and provably correct procedural c...
Hybrid systems are dynamical systems, characterized by a dual behaviour, a continuousinteraction bet...
International audienceThis paper presents a continuous time simulation method for stochastic switchi...
La recherche de solutions analytiques pour l évaluation de la fiabilité en contexte dynamique n est ...
Abstract: We extend the definition of a Stochastic Hybrid Automaton (SHA) to overcome limitations th...
Dans cette thèse, nous nous sommes intéressés aux contraintes résultants de l'intégration d'un modul...
International audienceIn this paper we present a method for constructing an approximative stationary...
A probabilistic framework is proposed for the optimization of efficient switched control strategies ...
In this paper, we propose a framework to analyze Markov reward models, which are commonly used in sy...
Switching max-plus linear (SMPL) systems written in max-plus algebra form a robust framework to mode...
The research of analytical solutions for reliability assessment in dynamic context is not solved in ...
Les systèmes de contrôle-commande jouent un rôle important dans le développement de la civilisation ...
Dans cette thèse, nous nous sommes intéressés aux contraintes résultants de l'intégration d'un modul...
This paper focuses on hybrid systems whose discrete state transitions depend on both deterministic a...
Ce travail de thèse a pour objet l étude de modèles markoviens qui résultent de la prise en compte d...
This thesis presents a formal method for the the design of optimal and provably correct procedural c...
Hybrid systems are dynamical systems, characterized by a dual behaviour, a continuousinteraction bet...
International audienceThis paper presents a continuous time simulation method for stochastic switchi...
La recherche de solutions analytiques pour l évaluation de la fiabilité en contexte dynamique n est ...
Abstract: We extend the definition of a Stochastic Hybrid Automaton (SHA) to overcome limitations th...
Dans cette thèse, nous nous sommes intéressés aux contraintes résultants de l'intégration d'un modul...
International audienceIn this paper we present a method for constructing an approximative stationary...
A probabilistic framework is proposed for the optimization of efficient switched control strategies ...
In this paper, we propose a framework to analyze Markov reward models, which are commonly used in sy...
Switching max-plus linear (SMPL) systems written in max-plus algebra form a robust framework to mode...
The research of analytical solutions for reliability assessment in dynamic context is not solved in ...
Les systèmes de contrôle-commande jouent un rôle important dans le développement de la civilisation ...
Dans cette thèse, nous nous sommes intéressés aux contraintes résultants de l'intégration d'un modul...
This paper focuses on hybrid systems whose discrete state transitions depend on both deterministic a...
Ce travail de thèse a pour objet l étude de modèles markoviens qui résultent de la prise en compte d...
This thesis presents a formal method for the the design of optimal and provably correct procedural c...