-
K-diagnosability of labeled Petri nets
International audience -
Formalisation des scénarios de défaillance d'un BDMP par automate ni
National audience -
Distributed cost-optimal planning
Automated planning is a field of artificial intelligence that aims at proposing methods to chose and order sets of actions with the objective of reaching a given goal.... -
A control synthesis approach for time discrete event systems
Dans cet article, nous présentons une méthode de synthèse de commande pour les systèmes à événements discrets dont le comportement dépend des valeurs explicites de temps. Notre... -
Contributions à l'étude des systèmes à événements discrets à partir de modèle...
Ce manuscrit a été rédigé en vue d'obtenir l'habilitation à diriger des recherches. J'y présente mon implication dans l'enseignement supérieur et la recherche au sein... -
A model-based approach for avionics systems monitoring optimization with resp...
Avionics systems become more and more complex. With the improvment of computing possibilities, new architectures based on resources sharing are growing up. Perform... -
Ein ereignisdiskreter Ansatz zur modellbasierten Lokalisierung der Bewohner i...
In den meisten Industrieländern ist die Lebenserwartung in den letzten Jahrzehnten fortlaufend gestiegen und wird höchstwahrscheinlich noch weiter steigen. Dieser... -
An event-driven framework for the simulation of networks of spiking neurons
Colloque avec actes et comité de lecture. internationale.
