Benoît Gaudin

Publications

286

Citations

H-Index

2003

Active since

Affiliations

Institut de Recherche en Informatique et Systèmes Aléatoires(Current)

University College Dublin

Institut national de recherche en sciences et technologies du numérique

Université de Rennes

Czech Academy of Sciences

Benoît Gaudin is an author at Institut de Recherche en Informatique et Systèmes Aléatoires specializing in engineering, computer science, and automation.

ORCID

Top concepts

EngineeringAutomationComputer ScienceSystems EngineeringProcess ControlFormal MethodsFormal VerificationComputer EngineeringProgram AnalysisAutonomy

Publications per year

2003–2012

Publications

Modular and decentralized supervisory control of concurrent discrete event systems using reduced system models

Hervé Marchand, Benoît Gaudin · 2006 · 42 citations · Full text

Engineering, Networked Control, Computational Complexity +20

A relation based measure of semantic similarity for Gene Ontology annotations

Brendan Sheehan, Aaron Quigley, Benoît Gaudin et al. · BMC Bioinformatics · 2008 · 39 citations · Full text

Supervisory control of modular systems with global specification languages

Jan Komenda, Jan H. van Schuppen, Benoît Gaudin et al. · Automatica · 2007 · 29 citations

Specification Language, Engineering, Control Structure +7

Supervisory control problems of hierarchical finite state machines

Hervé Marchand, Benoît Gaudin · 2003 · 27 citations · Full text

Engineering, Initial Des, Discrete Event System +9

Modular supervisory control of a class of concurrent discrete event systems

Benoît Gaudin, Hervé Marchand · IFAC Proceedings Volumes · 2004 · 27 citations

Engineering, Discrete Event System, Event-driven Programming +9

Rows per page

1–5 of 12