暂无分享,去创建一个
[1] Lina Ye. Undecidable Case and Decidable Case of Joint Diagnosability in Distributed Discrete Event Systems , 2013 .
[2] Walter J. Savitch,et al. Relationships Between Nondeterministic and Deterministic Tape Complexities , 1970, J. Comput. Syst. Sci..
[3] João Carlos Basilio,et al. Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems , 2011, IEEE Trans. Autom. Control..
[4] Jeffrey Shallit,et al. Detecting patterns in finite regular and context-free languages , 2009, Inf. Process. Lett..
[5] Cristian Mahulea,et al. Decentralized observability of discrete event systems with synchronizations , 2017, Autom..
[6] A. Isidori. Nonlinear Control Systems , 1985 .
[7] Christoforos Keroglou,et al. Distributed Fault Diagnosis in Discrete Event Systems via Set Intersection Refinements , 2018, IEEE Transactions on Automatic Control.
[8] Shigemasa Takai,et al. Decentralized Prognosis of Failures in Discrete Event Systems , 2010, IEEE Transactions on Automatic Control.
[9] Dexter Kozen,et al. Lower bounds for natural proof systems , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
[10] Stéphane Lafortune,et al. Predictability of event occurrences in partially-observed discrete-event systems , 2009, Autom..
[11] W. Qiu,et al. Decentralized failure diagnosis of discrete event systems , 2006, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[12] Stefan Haar. What topology tells us about diagnosability in partial order semantics , 2012, Discret. Event Dyn. Syst..
[13] Lijun Zhang,et al. A Weighted Pair Graph Representation for Reconstructibility of Boolean Control Networks , 2015, SIAM J. Control. Optim..
[14] Lihua Xie,et al. Discrete-Time and Discrete-Space Dynamical Systems , 2020 .
[15] Edward F. Moore,et al. Gedanken-Experiments on Sequential Machines , 1956 .
[16] Christos G. Cassandras,et al. Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.
[17] Eduardo Sontag. On the Observability of Polynomial Systems, I: Finite-Time Problems , 1979 .
[18] Manfred Broy,et al. Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004] , 2005, Model-Based Testing of Reactive Systems.
[19] Claude H. Moog,et al. Structural Accessibility and Structural Observability of Nonlinear Networked Systems , 2018, IEEE Transactions on Network Science and Engineering.
[20] Stéphane Lafortune,et al. On the Decidability and Complexity of Diagnosability for Labeled Petri Nets , 2017, IEEE Transactions on Automatic Control.
[21] Ettore Fornasini,et al. Observability, Reconstructibility and State Observers of Boolean Control Networks , 2013, IEEE Transactions on Automatic Control.
[22] Shengbing Jiang,et al. A polynomial algorithm for testing diagnosability of discrete-event systems , 2001, IEEE Trans. Autom. Control..
[23] Federica Garin,et al. Input and State Observability of Network Systems with a Single Unknown Input , 2016 .
[24] P. Ramadge,et al. Supervisory control of a class of discrete event processes , 1987 .
[25] Xiang Yin,et al. Decentralized Fault Prognosis of Discrete-Event Systems Using State-Estimate-Based Protocols , 2019, IEEE Transactions on Cybernetics.
[26] Sven Sandberg,et al. Homing and Synchronizing Sequences , 2004, Model-Based Testing of Reactive Systems.
[27] Feng Lin,et al. Co-detectability of multi-agent discrete event systems , 2011, 2011 Chinese Control and Decision Conference (CCDC).
[28] Fuchun Liu,et al. Predictability of Failure Event Occurrences in Decentralized Discrete-Event Systems and Polynomial-Time Verification , 2019, IEEE Transactions on Automation Science and Engineering.
[29] Stéphane Lafortune,et al. Polynomial-time verification of diagnosability of partially observed discrete-event systems , 2002, IEEE Trans. Autom. Control..
[30] Alessandro Giua,et al. A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets , 2012, IEEE Transactions on Automatic Control.
[31] Christoforos N. Hadjicostis,et al. Introduction to Estimation and Inference in Discrete Event Systems , 2019, Communications and Control Engineering.
[32] C. Moog,et al. Algebraic Methods for Nonlinear Control Systems , 2006 .
[33] Manfred Broy,et al. Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science) , 2005 .
[34] Philippe Dague,et al. An Incremental Approach for Pattern Diagnosability in Distributed Discrete Event Systems , 2009, 2009 21st IEEE International Conference on Tools with Artificial Intelligence.
[35] Tomás Masopust,et al. Complexity of Deciding Detectability in Discrete Event Systems , 2017, Autom..
[36] A. Giua,et al. Revisiting delayed strong detectability of discrete-event systems , 2019, 1910.13768.
[37] Hyungbo Shim,et al. Observability for Switched Linear Systems: Characterization and Observer Design , 2013, IEEE Transactions on Automatic Control.
[38] Gustavo S. Viana,et al. Codiagnosability of discrete event systems revisited: A new necessary and sufficient condition and its applications , 2019, Autom..
[39] Stéphane Lafortune,et al. Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems , 2000, Discret. Event Dyn. Syst..
[40] Stavros Tripakis,et al. Fault Diagnosis with Static and Dynamic Observers , 2008, Fundam. Informaticae.
[41] Kuize Zhang,et al. The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete , 2017, Autom..
[42] W. Murray Wonham,et al. Supervisory Control of Discrete-Event Systems , 2018 .
[43] Mohamed Ghazel,et al. Diagnosability Analysis of Intermittent Faults in Discrete Event Systems Using a Twin-plant Structure , 2020 .
[44] Shigemasa Takai,et al. Inference-Based Decentralized Prognosis in Discrete Event Systems , 2011, IEEE Trans. Autom. Control..
[45] W. Wonham. Linear Multivariable Control: A Geometric Approach , 1974 .
[46] Stavros Tripakis. Undecidable problems of decentralized observation and control on regular languages , 2004, Inf. Process. Lett..
[47] Feng Lin,et al. Diagnosability of discrete event systems and its applications , 1994, Discret. Event Dyn. Syst..
[48] Sylvain Schmitz,et al. The Complexity of Diagnosability and Opacity Verification for Petri Nets , 2017, Petri Nets.
[49] David Eppstein,et al. Reset Sequences for Monotonic Automata , 1990, SIAM J. Comput..
[50] Albert-László Barabási,et al. Observability of complex systems , 2013, Proceedings of the National Academy of Sciences.
[51] Jarkko Kari,et al. Synchronizing Finite Automata on Eulerian Digraphs , 2003, MFCS.
[52] Tomás Masopust,et al. Deciding Detectability for Labeled Petri Nets , 2018, Automatica.
[53] Lina Ye,et al. Optimized diagnosability of distributed discrete event systems through abstraction. (Diagnosticabilité Optimisée des Systèmes Distribués à Evénements Discrets par Abstraction) , 2011 .
[54] Alessandro Giua,et al. On detectability of labeled Petri nets and finite automata , 2018, Discrete Event Dynamic Systems.
[55] Raja Sengupta,et al. Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..
[56] Feng Lin,et al. Generalized detectability for discrete event systems , 2011, Syst. Control. Lett..
[57] Franck Cassez. The Complexity of Codiagnosability for Discrete Event and Timed Systems , 2012, IEEE Trans. Autom. Control..
[58] Feng Lin,et al. Delayed Detectability of Discrete Event Systems , 2013, IEEE Transactions on Automatic Control.
[59] Alban Grastien,et al. Diagnosability Planning for Controllable Discrete Event Systems , 2017, AAAI.
[60] Alessandro Giua,et al. Weak (approximate) detectability of labeled Petri net systems with inhibitor arcs , 2018 .
[61] R. Kálmán. Mathematical description of linear dynamical systems , 1963 .
[62] Stéphane Lafortune,et al. Diagnosis of Discrete Event Systems Using Decentralized Architectures , 2007, Discret. Event Dyn. Syst..
[63] Farid Nouioua,et al. Predictability analysis of distributed discrete event systems , 2013, 52nd IEEE Conference on Decision and Control.