Decentralized supervisory control with communicating controllers, IEEE Transactions on Automatic Control, vol.45, issue.9, pp.1620-1638, 2000. ,
DOI : 10.1109/9.880613
Methods for Knowledge Based Controlling of Distributed Systems, ATVA'10, pp.52-66, 2010. ,
DOI : 10.1007/978-3-642-15643-4_6
URL : https://hal.archives-ouvertes.fr/hal-00557799
The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, pp.87-152, 1992. ,
DOI : 10.1016/0167-6423(92)90005-V
URL : https://hal.archives-ouvertes.fr/inria-00075711
The power of qdds, SAS '97: Proceedings of the 4th International Symposium on Static Analysis, pp.172-186, 1997. ,
On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, pp.323-342, 1983. ,
DOI : 10.1145/322374.322380
Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977. ,
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590
Distributed implementations of Ramadge-Wonham supervisory control with Petri nets, Proceedings of the 44th IEEE Conference on Decision and Control, pp.2107-2112, 2005. ,
DOI : 10.1109/CDC.2005.1582472
Timestamps in message-passing systems that preserve the partial ordering, Proc. of the 11th Australian Computer Science Conference (ACSC'88), pp.56-66, 1988. ,
Distributed synthesis for wellconnected architectures. Formal Methods in System Design, pp.215-237, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00306316
An efficient modular method for the control of concurrent discrete event systems: A language-based approach. Discrete Event Dynamic System, pp.179-209, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00423795
On Implementation of Global Concurrent Systems with Local Asynchronous Controllers, In CONCUR LNCS, vol.3653, pp.443-457, 2005. ,
DOI : 10.1007/11539452_34
Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces, In FM Lecture Notes in Computer Science, vol.4085, pp.557-572, 2006. ,
DOI : 10.1007/11813040_37
On Solvability of a Decentralized Supervisory Control Problem With Communication, IEEE Transactions on Automatic Control, vol.54, issue.3, pp.468-480, 2009. ,
DOI : 10.1109/TAC.2009.2012974
A general approach to trace-checking in distributed computing systems, 14th International Conference on Distributed Computing Systems, pp.396-403, 1994. ,
DOI : 10.1109/ICDCS.1994.302443
URL : https://hal.archives-ouvertes.fr/inria-00074432
Decentralized control of discrete event systems with specializations to local control and concurrent systems, IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), vol.30, issue.5, pp.653-660, 2000. ,
DOI : 10.1109/3477.875442
Symbolic Supervisory Control of Distributed Systems With Communications, IEEE Transactions on Automatic Control, vol.59, issue.2 ,
DOI : 10.1109/TAC.2013.2283093
URL : https://hal.archives-ouvertes.fr/hal-00801840
Global State Estimates for Distributed Systems, 31th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems, pp.198-212, 2011. ,
DOI : 10.1109/TAC.2004.834116
URL : https://hal.archives-ouvertes.fr/inria-00581259
Synthesis of communicating controllers for distributed systems, IEEE Conference on Decision and Control and European Control Conference, 2011. ,
DOI : 10.1109/CDC.2011.6160584
URL : https://hal.archives-ouvertes.fr/inria-00627574
Testing Distributed Systems Through Symbolic Model Checking, LNCS, vol.7, issue.12, pp.263-279, 2007. ,
DOI : 10.1109/DCC.1995.515538
Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems, Proceedings of the 44th IEEE Conference on Decision and Control, pp.2775-2780, 2005. ,
DOI : 10.1109/CDC.2005.1582583
Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978. ,
DOI : 10.1145/359545.359563
Verification of communication protocols using abstract interpretation of fifo queues, 11th International Conference on Algebraic Methodology and Software Technology, AMAST '06, 2006. ,
Structural decentralized control of concurrent discrete-event systems, European Journal of Control, vol.8, issue.5, 2002. ,
Minimal Communication for Essential Transitions in a Distributed Discrete-Event System, IEEE Transactions on Automatic Control, vol.52, issue.8, pp.1495-1502, 2007. ,
DOI : 10.1109/TAC.2007.902761
Introduction to Languages and the Theory of Computation, 1997. ,
A calculus to define correct tranformations of lotos specifications, FORTE, volume C-2 of IFIP Transactions, pp.281-296, 1991. ,
Virtual time and global states of distributed systems, Proceedings of the Workshop on Parallel and Distributed Algorithms, pp.215-226, 1989. ,
Trace theory, Advances in Petri Nets, pp.279-324, 1986. ,
DOI : 10.1007/3-540-17906-2_30
Model Checker for Symbolic Communicating Machines version 1.2. http://altarica.labri.fr/forge ,
A lower bound on web services composition, FOSSACS'07, pp.274-286, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00306329
Data flow analysis of communicating finite state machines, ACM Transactions on Programming Languages and Systems, vol.13, issue.3, pp.399-442, 1991. ,
DOI : 10.1145/117009.117015
Distributed reactive systems are hard to synthesize, Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science, pp.746-757, 1990. ,
DOI : 10.1109/FSCS.1990.89597
The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989. ,
DOI : 10.1109/5.21072
Know means no: Incorporating knowledge into discrete-event control systems, IEEE Transactions on Automatic Control, vol.45, issue.9, pp.1656-1668, 2000. ,
DOI : 10.1109/9.880616
Think globally, act locally: decentralized supervisory control, IEEE Transactions on Automatic Control, vol.37, issue.11, pp.311692-1708, 1992. ,
DOI : 10.1109/9.173140
Detecting temporal logic predicates on the happened-before model, Proceedings 16th International Parallel and Distributed Processing Symposium, 2002. ,
DOI : 10.1109/IPDPS.2002.1015583
A lattice-theoretical fixpoint theorem and its applications [38] S. Tripakis. Decentralized control of discrete event systems with bounded or unbounded delay communication, Pacific Journal of Mathematics IEEE Trans. on Automatic Control, vol.5, issue.499, pp.285-3091489, 1955. ,
Distributed state estimation in discrete event systems, 2009 American Control Conference, pp.4735-4740, 2009. ,
DOI : 10.1109/ACC.2009.5160029
A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems, Proc of 5th Workshop on Discrete Event Systems, 2000. ,
DOI : 10.1007/978-1-4615-4493-7_11