Publications of Benoit Gaudin

Load the BibTeX file

Academic Journals

1. J. Komenda, J. van Schuppen, B. Gaudin, H. Marchand. Supervisory Control of Modular Systems with Global Specification Languages. Automatica, 44(4):1127-1134, April 2008.
2. B. Gaudin, H. Marchand. An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-Based Approach. Discrete Event Dynamic System, 17(2):179-209, 2007.
3. B. Gaudin, H Marchand. Supervisory Control of Product and Hierarchical Discrete Event Systems. European Journal of Control, Special issue of European Control Conference, ECC 2003, 10(2), 2004.

International Conferences

1. B. Gaudin, H. Marchand. Supervisory Control and Deadlock Avoidance Control Problem for Concurrent Discrete Event Systems. In 44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Pages 2763-2768, Seville (Spain), December 2005.
2. J. Komenda, J. H. van Schuppen, B. Gaudin, H. Marchand. Modular supervisory control with general indecomposable specification languages. In 44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Pages 3474-3479, Seville (Spain), December 2005.
3. B. Gaudin, H. Marchand. Efficient Computation of supervisors for loosely synchronous Discrete Event Systems: A State-Based Approach. In 6th IFAC World Congress, Prague, Czech Republic, July 2005.
4. B. Gaudin, H. Marchand. Safety Control of Hierarchical Synchronous Discrete Event Systems: A State-Based Approach. In 13th Mediterranean Conference on Control and Automation, Pages 889-895, Limassol, Cyprus, June 2005.
5. B. Gaudin, H. Marchand. Modular Supervisory Control of a class of Concurrent Discrete Event Systems. In Workshop on Discrete Event Systems, WODES'04, Pages 181-186, September 2004.
6. B. Gaudin, H Marchand. Modular Supervisory Control of Asynchronous and Hierarchical Finite State Machines. In European Control Conference, ECC 2003, An extended version (with the proofs) is available at http://www.irisa.fr/vertecs/Publis/Ps/2003-ECC-Extended-version.pdf, Cambridge, UK, September 2003.
7. H. Marchand, B. Gaudin. Supervisory Control Problems of Hierarchical Finite State Machines. In 41th IEEE Conference on Decision and Control, Pages 1199-1204, Las Vegas, USA, December 2002.

National Conferences

1. B. Gaudin, H. Marchand. Une approche modulaire pour le contrôle de systèmes à événements discrets concurrents. In 5ième Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'05), Grenoble (Autrans), France, October 2005.
2. B. Gaudin, H. Marchand. Contrôle de systèmes à événements discrets hiérarchiques. In 4ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR'03, Metz, France (Version Francaise de ECC'03), October 2003.

Research Reports

1. B. Gaudin, H. Marchand. Supervisory control of Concurrent Discrete Event Systems. Research Report IRISA, No 1593, January 2004.
2. B. Gaudin, H Marchand. Supervisory Control of Structured Discrete Event Systems. Research Report IRISA, No 1569, November 2003.

Thesis

1. B. Gaudin. Synthèse de contrôleurs sur des systèmes à événements discrets structurés. PhD Thesis Université de Rennes 1, November 2004.

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic