TALKS
Formal theories of Communication. Lorentz Center, Leiden, NL, February 2010
A Theory of Interfaces
Institute of Mathematical Sciences (IMSc), Chennai, India, January 2009
Diagnosis of Pushdown Systems
Réunion annuelle du GT Jeux, GDR IM, Bordeaux Juin 2008
Intended Objectives
Meeting ANR DOTS-AVERISS Bordeaux 2008
A generic constructive solution for concurrent games with
expressive constraints on strategies
Wodes Conference, Göteborg, Sweden, May 2008
A Topological Perspective on Diagnosis
ATVA 2007, Tokyo, Japan
A generic constructive solution for concurrent games with
expressive constraints on strategies
OMEGA 2007, Tokyo, Japan
A Control-Theory Standpoint for the Non-emptiness Problem of Automata
University of Western Australia, Perth 2007
Logics for Multi-player Arenas
Dagstuhl Seminar 06411 on
Specification, Verification and Test of Open Systems. V. Goranko , R. Grosu, S. Merz, H. Schlingloff 2006
Specifying and Synthesizing Open Systems and their Controllers
Conference on Decision and Control 2005
On the Architectures in Decentralized Control
Dagstuhl Seminar 05241 on Synthesis and Planning, H. Kautz,
W. Thomas, M. Y. Vardi (Eds.) 2005
Second Order Quantification in Temporal Logic and their Application to Control
Talks at the Center for Intelligent Machines, Mc Gill University, Montréal (2004)
Control Problems fpr DES are Model-Checking Problems
Intentional Labeled Transition Systems
7th IFAC Workshop on Discrete Event System 2004
Maximally Permissive Controllers in All Contexts
BIRS Workshop on Decentralized Discrete Event Systems: Architecture, Communication, and Control.
May 2004
BIRSreport04w2040.pdf.
Habilitation à Diriger les Recherche 2003
Contribution à l'Analyse des Systèmes Réactifs
(The Movie of the Defense)