On the emergence of complex systems on the basis of the coordination of complex behaviors of their elements: synchronization and complexity, Complexity, vol.10, issue.1, pp.17-22, 2004. ,
Complex Systems, 2007. ,
On communicating finite-state machines, Journal of the ACM, vol.30, issue.2, pp.323-342, 1983. ,
Incremental determinization of expanding automata, The Computer Journal, vol.59, issue.12, pp.1872-1899, 2016. ,
Introduction to Discrete Event Systems, 2008. ,
Hierarchical model-based diagnosis based on structural abstraction, Artificial Intelligence, vol.155, issue.1-2, pp.147-182, 2004. ,
Constraint Processing. The Morgan Kaufmann Series in Artificial Intelligence, 2003. ,
, Complex Systems, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00654706
Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987. ,
Introduction to Automata Theory, Languages, and Computation, 2006. ,
Inference in belief networks: A procedural guide, International Journal of Approximate Reasoning, vol.15, issue.3, pp.225-263, 1996. ,
On compiling system models for faster and more scalable diagnosis, 20th National Conference on Artificial Intelligence (AAAI'05), pp.300-306, 2005. ,
Fault diagnosis in hierarchical discrete-event systems, 43rd IEEE Conference on Decision and Control, pp.63-68, 2004. ,
Supervision patterns in discrete event systems diagnosis, Seventeenth International Workshop on Principles of Diagnosis (DX'06), pp.117-124, 2006. ,
A polynomial algorithm for testing diagnosability of discrete event systems, IEEE Transactions on Automatic Control, vol.46, issue.8, pp.1318-1321, 2001. ,
Local consistency and junction tree for diagnosis of discreteevent systems, Eighteenth European Conference on Artificial Intelligence, pp.209-213, 2008. ,
Intelligent monitoring of complex discrete-event systems, Smart Innovation, Systems and Technologies, vol.56, pp.215-229, 2016. ,
Diagnosis of Active Systems: Principles and Techniques, Springer International Series in Engineering and Computer Science, vol.741, 2003. ,
Introduction to Diagnosis of Active Systems, 2018. ,
Diagnosis of higher-order discrete-event systems, Availability, Reliability, and Security in Information Systems and HCI, vol.8127, pp.162-177, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01506770
Specification and model-based diagnosis of higher-order discreteevent systems, IEEE International Conference on Systems, Man, and Cybernetics (SMC 2013), pp.2342-2347, 2013. ,
Diagnosis of complex active systems with uncertain temporal observations, Availability, Reliability, and Security in Information Systems, vol.9817, pp.45-62, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01635018
Viable diagnosis of complex active systems, IEEE International Conference on Systems, Man, and Cybernetics, pp.457-462, 2016. ,
Physics of Emergence and Organization, 2008. ,
Hierarchical diagnosis, Readings in Model-Based Diagnosis, 1992. ,
Diagnosability analysis of a class of hierarchical state machines, Journal of Discrete Event Dynamic Systems: Theory and Applications, vol.18, issue.3, pp.385-413, 2008. ,
Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995. ,
A scalable jointree algorithm for diagnosability, Twenty-Third National Conference on Artificial Intelligence, pp.535-540, 2008. ,
Propagating belief functions with local computations, IEEE Expert, vol.1, issue.3, pp.43-52, 1986. ,
Hierarchical diagnosis of multiple faults, 20th International Joint Conference on Artificial Intelligence (IJCAI'07), pp.581-586, 2007. ,
Diagnosing tree-structured systems, Artificial Intelligence, vol.127, issue.1, pp.1-29, 2001. ,
Scale: The Universal Laws of Growth, Innovation, Sustainability, and the Pace of Life in Organisms, Cities, Economies, and Companies, 2017. ,
Polynomial-time verification of diagnosability of partially observed discrete-event systems, IEEE Transactions on Automatic Control, vol.47, issue.9, pp.1491-1495, 2002. ,