Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Dissertations & habilitations
Research results
Ph.D de

Ph.D
Group : Large-scale Heterogeneous DAta and Knowledge

Modeling and Qualitative Simulation of Hybrid Systems

Starts on 01/10/2015
Advisor : DAGUE, Philippe

Funding : Contrat de thèse d'autres organismes
Affiliation : Université Paris-Sud
Laboratory : LRI - LaHDAK

Defended on 29/11/2018, committee :
Directeur :
- Philippe DAGUE Université Paris-Sud

Co-encadrant :
- Jean-Pierre GALLOIS, CEA LIST

Rapporteurs :
- Walid TAHA ,Université de Halmstad
- Goran FREHSE, ENSTA-ParisTech

Examinateurs :
- Erika ÁBRAHÁM, Université RWTH Aachen
- Sylvain CONCHON, Université Paris-Sud

Research activities :

Abstract :
Hybrid systems are complex systems that combine both discrete and continuous behaviors. Verifying behavioral or safety prop- erties of such systems, either at design stage or on-line is a challenging task. Actually, computing the reachable set of states of a hybrid system is undecidable. One way to verify those properties over such systems is by computing discrete abstractions and inferring them from the abstract system back to the original system. We are concerned with abstractions oriented towards hybrid systems diagnosability checking. Our goal is to create discrete abstractions in order to verify if a fault that would occur at runtime could be unambiguously detected in finite time by the diagnoser. This verification can be done on the abstraction by classical methods developed for discrete event systems, which provide a counterexample in case of non-diagnosability. The absence of such a counterexample proves the diagnosability of the original hybrid system. In the presence of a counterexample, the first step is to check if it is not a spurious effect of the abstraction and actually exists for the hybrid system, witnessing thus non-diagnosability. Otherwise, we show how to refine the abstraction and continue the process of looking for another counterexample.

Ph.D. dissertations & Faculty habilitations
APPRENTISSAGE ET OPTIMISATION SUR LES GRAPHES


ANALYSE DE DONNéES MULTI-MODALES POUR LES PATHOLOGIES COMPLEXES PAR LA CONCEPTION ET L’IMPLéMENTATION DE PROTOCOLES REPRODUCTIBLES ET RéUTILISABLES


DESIGNING INTERACTIVE TOOLS FOR CREATORS AND CREATIVE WORK
Creative work has been at the core of research in Human-Computer Interaction (HCI). I describe the results of a series of studies that look at how creators work, where creators include artists with years of professional practice, as well as learners, or novices and casual makers. My research focuses on three creation activities: drawing, physical modeling, and music composition. For these activities, I examine how artists switch between representations and how these representations evolve throughout their creative process, from early sketches to fine-grained forms or structured vocabularies. I present interactive systems that enrich their workflow (i) by extending their computer tools with physical user interfaces, or (ii) by making physical materials interactive. I also argue that sketch-based representations can allow for user interfaces that are more personal and less rigid. My presentation will reflect on lessons and limitations of this work and discuss challenges for future design-support tools.