Knowledge Tree

researcher / Laurent Fribourg

Laurent Fribourg

at_id:

orcid_id:

Disciplines:

Applied mathematics

Applied sciences

Automotive engineering

Computer sciences

Edit Merge See Links

Directed Thesis:

Compositional and Efficient Controller Synthesis for Cyber-Physical Systems

Guaranteed control synthesis for switched space-time dynamical systems

Une méthode topologique pour la recherche d'ensembles invariants de systèmes continus et à communtation

Synthesis of correct-by-design schedulers for hybrid systems

An inverse method for the synthesis of timing parameters in concurrent systems

Analyse quantitative paramétrée d'automates temporisés probabilistes

Méthodes probabilistes pour la vérification des systèmes distribués

Algorithmes distribués sur des anneaux paramétrés : preuves de convergence probabiliste et déterministe

Un cas remarquable de systèmes linéaires : les systèmes monotones : résolution et application à la vérification formelle de programmes

Automates a contraintes arithmetiques et procedures d'evaluation ascendante de programmes logiques

Comparaison entre la transformation et l'extraction de programmes logiques