This research action aims at studying problems of observation and control in a distributed setting: instead of a single observer or controller, there are many such agents which monitor or control a plant at the same time. Each of them has partial information about the plant, and this is what makes the problem difficult. In fact, undecidability is common in such settings. For the moment, we are still at the point of trying to identify the fundamental computational limitations.

Related papers (read the copyright note)

1. S. Tripakis. Decentralized observation problems. CDC-ECC'05 (invited paper). PDF.


2. S. Tripakis. Two-phase distributed observation problems. In 5th Intl. Conf. on Application of Concurrency to System Design (ACSD'05). See the VERIMAG Technical Report TR-2004-14.


3. S. Tripakis. Undecidable Problems in Decentralized Observation and Control for Regular Languages. In Information Processing Letters, Volume 90, Issue 1, Pages 21-28 (15 April 2004). This is a journal version of a paper previously published in IEEE Conference on Decision and Control (CDC'01). Extended version of CDC'01 paper in PDF.


4. S. Tripakis. Decentralized Control of Discrete Event Systems with Bounded or Unbounded Delay Communication. In IEEE Transactions on Automatic Control, Special Issue on Networked Control Systems. Volume 49, Number 9, September 2004. Available as VERIMAG Technical Report TR-2004-26. This is a journal version of a paper previously published in the 6th International Workshop on Discrete Event Systems (WODES 2002). Extended version of WODES'02 paper in PDF.


5. A. Puri, S. Tripakis and P. Varaiya. Problems and Examples of Decentralized Observation and Control for Discrete Event Systems. In Symposium on the Supervisory Control of Discrete Event Systems, 2001. Also in B. Caillaud, P. Darondeau, L. Lavagno and X. Xie, editors, Synthesis and Control of Discrete Event Systems, Kluwer Academic Publishers, 2002. Postscript.

Back to home page of Stavros Tripakis