Supervisory control

Books

1. Proceedings of the ATPN-Workshop on Discrete Event Systems Control. Philippe Darondeau, Sadatoshi Kumagai (eds.), BETA-RR, June 2003.
2. Benoît Caillaud, Philippe Darondeau, Luciano Lavagno, Xiaolan Xie (eds.). Synthesis and Control of Discrete Event Systems. Kluwer Academic Press, 2002. download
3. Benoît Caillaud, X. Xie (eds.). Proceedings of the Symposium on the Supervisory Control of Discrete Event Systems, SCODES'2001. Paris, France, July 2001.

Academic Journals

1. Laurie Ricker, Benoît Caillaud. Mind the gap: Expanding communication options in decentralized discrete-event control. Automatica, 47(11):2364-2372, 2011.
2. Philippe Darondeau, Blaise Genest, P.S. Thiagarajan, Shaofa Yang. Quasi-static scheduling of communicating tasks. Information and Computation, 208(10):1154-1168, 2010. download download
3. Philippe Darondeau, Blaise Genest, P.S. Thiagarajan, Shaofa Yang. Quasi-static scheduling of communicating tasks. Information and Computation, 208(10):1154-1168, 2010.
4. Jeremy Dubreil, Philippe Darondeau, Herve Marchand. Supervisory Control for Opacity. IEEE Transactions on Automatic Control, 55(5):1089-1100, May 2010.
5. J. Dubreil, Ph. Darondeau, H. Marchand. Supervisory Control for Opacity. IEEE Transactions on Automatic Control, 55(5):1089-1100, May 2010.
6. Guillaume Feuillade, Sophie Pinchinat. Modal Specifications for the Control Theory of Discrete-Event Systems. Discrete Event Dynamic Systems, 17(2):211-232, 2007.
7. Eric Badouel, Marek A. Bednarczyk, Andrzej Borzyszkowski, Benoît Caillaud, Philippe Darondeau. Concurrent Secrets. Discrete Event Dynamic Systems, 17(4):425-446, December 2007.
8. Sophie Pinchinat, Stéphane Riedweg. A Decidable Class of Problems for Control under Partial Observation. Information Processing Letters, 95(4):454-465, August 2005.
9. Philippe Darondeau, Xiaolan Xie. Linear Control of Live Marked Graphs. Automatica, 39(3):429-440, 2003.

Book Chapters

1. Maria Paola Cabasino, Philippe Darondeau, Maria Pia Fanti, Carla Seatzu. Model Identification and Synthesis of Discrete-Event Systems. In Contemporary Issues in System Science and Engineering, IEEE-Wiley, 2011.

International Conferences

1. Eric Badouel, Anne Bouillard, Philippe Darondeau, Jan Komenda. Residuation of tropical series: rationality issues. In CDC-ECC, IEEE society (ed.), 2011.
2. Philippe Darondeau, Laurie Ricker. Towards Distributed Control of Discrete Event Systems. In Workshop on Applications of Region Theory, Jörg Desel, Alex Yakovlev (eds.), CEUR Workshop Proceedings, Volume 725, Pages 63-78, 2011. download
3. Bastien Maubert, Sophie Pinchinat, Laura Bozzelli. Opacity Issues in Games with Imperfect Information. In Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, Giovanna D'Agostino, Salvatore La Torre (eds.), EPTCS, Volume 54, Pages 87-101, 2011.
4. Ph. Darondeau, J. Dubreil, H. Marchand. Supervisory Control for Modal Specifications of Services. In Workshop on Discrete Event Systems, WODES'10, Pages 428-435, Berlin, Germany, August 2010.
5. Bastien Maubert, Sophie Pinchinat. Games with Opacity Condition. In Proceedings of the 3rd International Workshop on Reachability Problem, Lecture Notes in Computer Science, Volume 5797, Pages 166-175, Palaiseau, France, 2009.
6. Christophe Morvan, Sophie Pinchinat. Diagnosability of Pushdown Systems. In Proceedings of the Haifa Verification Conference, HVC2009, Haifa, Israel, October 2009.
7. Laurie Ricker, Benoît Caillaud. Revisiting State-Baed Models for Synthesizing Optimal Communicating Decentralized Discrete-Event Controllers. In European Control Conference 2009 (ECC'09), Budapest, Hungary, August 2009.
8. Philippe Darondeau, Blaise Genest, P. S. S. Thiagarajan, Shaofa Yang. Quasi-Static Scheduling of Communicating Tasks. In CONCUR 2008 - Concurrency Theory, Springer-Verlag (ed.), Lecture Notes in Computer Science, Volume 5201, Pages 310-324, Berlin/Heidelberg, 2008.
9. Jérémy Dubreil, Philippe Darondeau, Hervé Marchand. Opacity Enforcing Control Synthesis. In Proceedings of the 9th International Workshop on Discrete Event Systems (WODES'08), B. Lennartson, M. Fabian, K. Akesson, A. Giua, R. Kumar (eds.), Pages 28-35, Göteborg, Sweden, May 2008.
10. Andreas Bauer, Sophie Pinchinat. A Topological Perspective on Diagnosis. In Proceedings of the 9th International Workshop on Discrete Event Systems (WODES'08), B. Lennartson, M. Fabian, K. Akesson, A. Giua, R. Kumar (eds.), Pages 28-30, May 2008.
11. Laurie Ricker. Asymptotic Minimal Communication for Decentralized Discrete-Event Control. In Proceedings of the 9th International Workshop on Discrete Event Systems (WODES'08), B. Lennartson, M. Fabian, K. Akesson, A. Giua, R. Kumar (eds.), Pages 486-491, May 2008.
12. Sophie Pinchinat. A generic constructive solution for concurrent games with expressive constraints on strategies. In 5th International Symposium on Automated Technology for Verification and Analysis, Tokyo, Japan, 2007.
13. Laurie Ricker, Benoît Caillaud. Mind the Gap: Expanding Communication Options in Decentralized Discrete-Event Control. In 46th IEEE Conference on Decision and Control, New Orleans, LA, USA, 2007.
14. Philippe Darondeau. Synthesis and Control of Asynchronous and Distributed Systems. In 78th International Conference on Application of Concurrency to System Design, T. Basten, G. Juhas, S. Shukla (eds.), Bratislava, Slovak Republic, July 2007.
15. Jan Komenda, Hervé Marchand, Sophie Pinchinat. A Constructive and Modular Approach to Decentralized Supervisory Control Problems. In 3rd IFAC Workshop on Discrete-Event System Design, DESDes'06, Rydzyna Castle, Poland, September 2006.
16. Eric Badouel, Marek A. Bednarczyk, Andrzej Borzyszkowski, Benoît Caillaud, Philippe Darondeau. Concurrent Secrets. In 8th Workshop on Discrete Event Systems, WODES'06, S. Lafortune, F. Lin, D. Tilbury (eds.), Ann Arbor, Michigan, USA, July 2006.
17. Thierry Jéron, Hervé Marchand, Sophie Pinchinat, Marie-Odile Cordier. Supervision Patterns in Discrete Event Systems Diagnosis. In 8th Workshop on Discrete Event Systems, WODES'06, Ann Arbor, Michigan, USA, July 2006.
18. Philippe Darondeau. Distributed implementations of Ramadge-Wonham supervisory control with Petri nets. In 44th IEEE Conference on Decision and Control and European Control Conference, Pages 2107-2112, Sevilla, Spain, December 2005.
19. Stéphane Riedweg, Sophie Pinchinat. On the Architectures in Decentralized Supervisory Control. In 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005, Seville, Spain, December 2005.
20. Jean-Baptiste Raclet, Sophie Pinchinat. The control of non-deterministic Systems: a logical approach. In Proc. 16th IFAC Word Congress, Prague, Czech Republic, July 2005.
21. Stéphane Riedweg, Sophie Pinchinat. You Can Always Compute Maximally Permissive Controllers Under Partial Observation When They Exist. In Proc. 2005 American Control Conference, Portland, Oregon, June 2005.
22. Stéphane Riedweg, Sophie Pinchinat. Maximally Permissive Controllers in All Contexts. In WODES'04, 7th IFAC Workshop on Discrete Event Systems, September 2004.
23. Stéphane Riedweg, Sophie Pinchinat. Quantified Mu-Calculus for Control Synthesis. In MFCS 2003, 28th International Symposium on Mathematical Foundations of Computer Science, Lecture notes in computer science, Volume 2747, Pages 642-651, August 2003. download
24. Sophie Pinchinat, Hervé Marchand. Symbolic Abstractions of Automata. In Proc of 5th Workshop on Discrete Event Systems, WODES 2000, Pages 39-48, Ghent, Belgium, August 2000.
25. Hervé Marchand, Sophie Pinchinat. Supervisory Control Problem using Symbolic Bisimulation Techniques. In 2000 American Control Conference, Pages 4067-4071, Chicago, Illinois, USA, June 2000.

Research Reports

1. Eric Badouel, Marek A. Bednarczyk, Andrzej Borzyszkowski, Benoît Caillaud, Philippe Darondeau. Concurrent Secrets. Rapport de recherche INRIA, No 5771, November 2005. download
2. Jean-Baptiste Raclet, Sophie Pinchinat. The Control of Non-deterministic Systems. PI Irisa, No 1648, October 2004.
3. Stéphane Riedweg, Sophie Pinchinat. Quantified Loop-mu-calculus for Control under Partial Observation. Research report INRIA Rennes, No 4949, September 2003. download
4. Stéphane Riedweg, Sophie Pinchinat. Quantified Mu-calculus for Control Synthesis. Research report INRIA Rennes, No 4793, April 2003. download
5. Philippe Darondeau, Xiaolan Xie. Linear Control of Live Marked Graphs. Research report INRIA Rennes, No 4251, July 2001. download
6. Sophie Pinchinat, Hervé Marchand, Michel Le Borgne. Symbolic Abstractions of Automata and their application to the Supervisory Control Problem Research. Research report IRISA, No 1279, November 1999. download

Misc

1. Lois Vahne, Sophie Pinchinat. Computing the winning coalitions of a turn-based game with reachability objectives. Paris, France, 2010.

Thesis

1. Sophie Pinchinat. Contributions à l'analyse et au contrôle des systèmes réactifs. Habilitation à diriger des recherches Université de Rennes 1, école doctorale MATISSE, December 2003.
2. Stéphane Riedweg. Logiques pour le contrôle d'automatismes discrets. PhD Thesis Université de Renne 1, école doctorale MATISSE, December 2003.

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.