Search results for "Diagnosability"

Hits ?▲	Authors	Title	Venue	Year	Link
16	Shiying Wang, Lingqi Zhao	A Note on the Nature Diagnosability of Alternating Group Graphs Under the PMC Model and MM* Model.	J. Interconnect. Networks	2018	DBLP DOI BibTeX RDF
16	Rongyi Yan, Xiao He 0001, Zidong Wang, Donghua Zhou	Detection, isolation and diagnosability analysis of intermittent faults in stochastic systems.	Int. J. Control	2018	DBLP DOI BibTeX RDF
16	Fangzhou Fu, Dayi Wang, Ping Liu, Wenbo Li 0005	Evaluation of fault diagnosability for networked control systems subject to missing measurements.	J. Frankl. Inst.	2018	DBLP DOI BibTeX RDF
16	Shiying Wang, Yunxia Ren	g-Good-Neighbor Diagnosability of Arrangement Graphs under the PMC Model and MM* Model.	Inf.	2018	DBLP DOI BibTeX RDF
16	Limei Lin, Sun-Yuan Hsieh, Li Xu 0002, Shuming Zhou, Riqing Chen	The relationship between extra connectivity and conditional diagnosability of regular graphs under the PMC model.	J. Comput. Syst. Sci.	2018	DBLP DOI BibTeX RDF
16	Stéphane Lafortune, Feng Lin 0001, Christoforos N. Hadjicostis	On the history of diagnosability and opacity in discrete event systems.	Annu. Rev. Control.	2018	DBLP DOI BibTeX RDF
16	Irith Pomeranz	Improving the Diagnosability of Scan Chain Faults Under Transparent-Scan by Observation Points.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2018	DBLP DOI BibTeX RDF
16	Dongfang Zhou, Jianxi Fan, Jingya Zhou, Yan Wang 0078, Baolei Cheng	Diagnosability of the exchanged crossed cube.	Int. J. Comput. Math. Comput. Syst. Theory	2018	DBLP DOI BibTeX RDF
16	Mei-Mei Gu, Rong-Xia Hao, Lei Jiang	Fault-tolerance and diagnosability of hierarchical star networks.	Int. J. Comput. Math. Comput. Syst. Theory	2018	DBLP DOI BibTeX RDF
16	Mengjie Lv, Shuming Zhou, Xueli Sun, Guanqin Lian, Gaolin Chen	The g-good-neighbour conditional diagnosability of multiprocessor system based on half hypercube.	Int. J. Comput. Math. Comput. Syst. Theory	2018	DBLP DOI BibTeX RDF
16	Dongqin Cheng	A relationship between g-good-neighbour conditional diagnosability and g-good-neighbour connectivity in regular graphs.	Int. J. Comput. Math. Comput. Syst. Theory	2018	DBLP DOI BibTeX RDF
16	Xinxin Zhang, Li Xu 0002, Limei Lin, Yanze Huang, Xiaoding Wang	The (t, k) -Diagnosability of Balanced Hypercube under the PMC Model.	Int. J. Comput. Math. Comput. Syst. Theory	2018	DBLP DOI BibTeX RDF
16	Jianxiu Hao	The Local Diagnosability of k-Ary n-Cube.	Ars Comb.	2018	DBLP BibTeX RDF
16	Liqiong Xu, Shuming Zhou, Guanqin Lian	Conditional diagnosability of multiprocessor systems based on complete-transposition graphs.	Discret. Appl. Math.	2018	DBLP DOI BibTeX RDF
16	Mujiangshan Wang, Yuqing Lin, Shiying Wang	The 1-good-neighbor connectivity and diagnosability of Cayley graphs generated by complete graphs.	Discret. Appl. Math.	2018	DBLP DOI BibTeX RDF
16	Qiang Zhu 0003, Jia Zhang 0003, Lili Li	The h-extra connectivity and h-extra conditional diagnosability of Bubble-sort star graphs.	Discret. Appl. Math.	2018	DBLP DOI BibTeX RDF
16	Patrice Bonhomme	Diagnosability analysis and fault diagnosis of P-time labelled Petri nets.	Int. J. Crit. Comput. Based Syst.	2018	DBLP DOI BibTeX RDF
16	Abderraouf Boussif, Mohamed Ghazel	Formal verification of intermittent fault diagnosability of discrete-event systems using model-checking.	Int. J. Crit. Comput. Based Syst.	2018	DBLP DOI BibTeX RDF
16	Min Xie, Jiarong Liang, Xi Xiong	The Strong Local Diagnosability of a Hypercube Network with Missing Edges.	Complex.	2018	DBLP DOI BibTeX RDF
16	Jun Chen 0002, Christoforos Keroglou, Christoforos N. Hadjicostis, Ratnesh Kumar 0001	Revised Test for Stochastic Diagnosability of Discrete-Event Systems.	IEEE Trans Autom. Sci. Eng.	2018	DBLP DOI BibTeX RDF
16	Xiaoyan Li, Jianxi Fan, Cheng-Kuan Lin, Xiaohua Jia	Diagnosability Evaluation of the Data Center Network DCell.	Comput. J.	2018	DBLP DOI BibTeX RDF
16	Mei-Mei Gu, Rong-Xia Hao, Yan-Quan Feng, Ai-Mei Yu	The 3-extra Connectivity and Faulty Diagnosability.	Comput. J.	2018	DBLP DOI BibTeX RDF
16	Nai-Wen Chang 0002, Sun-Yuan Hsieh	Conditional Diagnosability of (n, k)-Star Graphs Under the PMC Model.	IEEE Trans. Dependable Secur. Comput.	2018	DBLP DOI BibTeX RDF
16	Limei Lin, Li Xu 0002, Dajin Wang, Shuming Zhou	The g-Good-Neighbor Conditional Diagnosability of Arrangement Graphs.	IEEE Trans. Dependable Secur. Comput.	2018	DBLP DOI BibTeX RDF
16	Engel Lefaucheux, Alessandro Giua, Carla Seatzu	Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis.	Petri Nets	2018	DBLP DOI BibTeX RDF
16	Christoforos N. Hadjicostis	Distributed Algorithms for Estimation and Inference in Discrete Event Systems: Implications to Diagnosability and Opacity.	CoDIT	2018	DBLP DOI BibTeX RDF
16	Roberto Nardone, Gianmaria De Tommasi, Nicola Mazzocca, Alfredo Pironti 0002, Valeria Vittorini	Automatic generation of formal models for diagnosability of DES.	ETFA	2018	DBLP DOI BibTeX RDF
16	Ning Ran, Jinyuan Hao, Zhou He 0001, Carla Seatzu	Diagnosability analysis of bounded Petri nets.	ETFA	2018	DBLP DOI BibTeX RDF
16	Francesco Basile, Gianmaria De Tommasi, Claudio Sterle, Abderraouf Boussif, Mohamed Ghazel	Efficient diagnosability assessment via ILP optimization: a railway benchmark.	ETFA	2018	DBLP DOI BibTeX RDF
16	Houssam-Eddine Gougam, Yannick Pencolé, Audine Subias	Diagnosability analysis of patterns on bounded labeled prioritized Petri nets.	Discret. Event Dyn. Syst.	2017	DBLP DOI BibTeX RDF
16	Leonardo B. Clavijo, João Carlos Basilio	Empirical studies in the size of diagnosers and verifiers for diagnosability analysis.	Discret. Event Dyn. Syst.	2017	DBLP DOI BibTeX RDF
16	David Thorsley	A necessary and sufficient condition for diagnosability of stochastic discrete event systems.	Discret. Event Dyn. Syst.	2017	DBLP DOI BibTeX RDF
16	Mujiangshan Wang, Yubao Guo, Shiying Wang	The 1-good-neighbour diagnosability of Cayley graphs generated by transposition trees under the PMC model and MM* model.	Int. J. Comput. Math.	2017	DBLP DOI BibTeX RDF
16	Jiarong Liang, Qian Zhang 0004	The t/s-Diagnosability of Hypercube Networks Under the PMC and Comparison Models.	IEEE Access	2017	DBLP DOI BibTeX RDF
16	Jia-Rong Liang, Hao Feng, Xiaojiang Du	Intermittent Fault Diagnosability of Interconnection Networks.	J. Comput. Sci. Technol.	2017	DBLP DOI BibTeX RDF
16	Shiying Wang, Yuxing Yang	The 2-good-neighbor (2-extra) diagnosability of alternating group graph networks under the PMC model and MM* model.	Appl. Math. Comput.	2017	DBLP DOI BibTeX RDF
16	Eddie Cheng 0001, Ke Qiu 0001, Zhizhang Shen	On Diagnosability of Interconnection Networks.	Int. J. Unconv. Comput.	2017	DBLP BibTeX RDF
16	Mei-Mei Gu, Rong-Xia Hao, Ai-Mei Yu	The 1-Good-Neighbor Conditional Diagnosability of Some Regular Graphs.	J. Interconnect. Networks	2017	DBLP DOI BibTeX RDF
16	Yunxia Ren, Shiying Wang	The Tightly Super 2-extra Connectivity and 2-extra Diagnosability of Locally Twisted Cubes.	J. Interconnect. Networks	2017	DBLP DOI BibTeX RDF
16	Lina Ye, Philippe Dague	An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures.	IEEE Trans. Autom. Control.	2017	DBLP DOI BibTeX RDF
16	Francesco Basile, Maria Paola Cabasino, Carla Seatzu	Diagnosability Analysis of Labeled Time Petri Net Systems.	IEEE Trans. Autom. Control.	2017	DBLP DOI BibTeX RDF
16	Xiang Yin 0003, Stéphane Lafortune	On the Decidability and Complexity of Diagnosability for Labeled Petri Nets.	IEEE Trans. Autom. Control.	2017	DBLP DOI BibTeX RDF
16	Elena De Santis, Maria Domenica Di Benedetto	Observability and diagnosability of finite state systems: A unifying framework.	Autom.	2017	DBLP DOI BibTeX RDF
16	Feng Lin 0001, Le Yi Wang, Wen Chen 0007, Leitao Han, Bin Shen	N-diagnosability for active on-line diagnosis in discrete event systems.	Autom.	2017	DBLP DOI BibTeX RDF
16	Lilian K. Carvalho, Marcos Vicente Moreira, João Carlos Basilio	Diagnosability of intermittent sensor faults in discrete event systems.	Autom.	2017	DBLP DOI BibTeX RDF
16	Mei-Mei Gu, Rong-Xia Hao, Jun-Ming Xu 0001, Yan-Quan Feng	Equal relation between the extra connectivity and pessimistic diagnosability for some regular graphs.	Theor. Comput. Sci.	2017	DBLP DOI BibTeX RDF
16	Xiang Xu, Xiaowang Li, Shuming Zhou, Rong-Xia Hao, Mei-Mei Gu	The g-good-neighbor diagnosability of (n, k)-star graphs.	Theor. Comput. Sci.	2017	DBLP DOI BibTeX RDF
16	Desai Li, Mei Lu	The g-good-neighbor conditional diagnosability of star graphs under the PMC and MM* model.	Theor. Comput. Sci.	2017	DBLP DOI BibTeX RDF
16	Yulong Wei, Min Xu 0005	On g-good-neighbor conditional diagnosability of (n, k)-star networks.	Theor. Comput. Sci.	2017	DBLP DOI BibTeX RDF
16	Min Xu 0005, Krishnaiyan Thulasiraman, Qiang Zhu 0003	Conditional diagnosability of a class of matching composition networks under the comparison model.	Theor. Comput. Sci.	2017	DBLP DOI BibTeX RDF
16	Jia Guo, Mei Lu	Conditional diagnosability of the round matching composition networks.	Theor. Comput. Sci.	2017	DBLP DOI BibTeX RDF
16	Yunxia Ren, Shiying Wang	The g-good-neighbor diagnosability of locally twisted cubes.	Theor. Comput. Sci.	2017	DBLP DOI BibTeX RDF
16	Aixia Liu, Shiying Wang, Jun Yuan 0001, Jing Li 0048	On g-extra conditional diagnosability of hypercubes and folded hypercubes.	Theor. Comput. Sci.	2017	DBLP DOI BibTeX RDF
16	Eddie Cheng 0001, Ke Qiu 0001, Zhizhang Shen	Diagnosability problems of the exchanged hypercube and its generalization.	Int. J. Comput. Math. Comput. Syst. Theory	2017	DBLP DOI BibTeX RDF
16	Shiying Wang, Xiaolei Ma	The tightly super 3-extra connectivity and 3-extra diagnosability of crossed cubes.	CoRR	2017	DBLP BibTeX RDF
16	Yulong Wei, Min Xu	The g-Good-Neighbor Conditional Diagnosability of Locally Twisted Cubes.	CoRR	2017	DBLP BibTeX RDF
16	Tomás Masopust, Xiang Yin 0003	Complexity of Detectability, Opacity and A-Diagnosability for Modular Discrete Event Systems.	CoRR	2017	DBLP BibTeX RDF
16	Mei-Mei Gu, Rong-Xia Hao, Shuming Zhou	Fault diagnosability of data center networks.	CoRR	2017	DBLP BibTeX RDF
16	Mei-Mei Gu, Rong-Xia Hao	The pessimistic diagnosability of three kinds of graphs.	Discret. Appl. Math.	2017	DBLP DOI BibTeX RDF
16	Shiying Wang, Zhenhua Wang, Mujiangshan Wang	The 2-good-neighbor connectivity and 2-good-neighbor diagnosability of bubble-sort star graph networks.	Discret. Appl. Math.	2017	DBLP DOI BibTeX RDF
16	Ning Ran, Hongye Su, Shouguang Wang	An improved approach to test diagnosability of bounded petri nets.	IEEE CAA J. Autom. Sinica	2017	DBLP DOI BibTeX RDF
16	Mujiangshan Wang, Yuqing Lin, Shiying Wang	The connectivity and nature diagnosability of expanded k-ary n-cubes.	RAIRO Theor. Informatics Appl.	2017	DBLP DOI BibTeX RDF
16	Jonathan Ezekiel, Andrea Lomuscio	Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems.	Inf. Comput.	2017	DBLP DOI BibTeX RDF
16	Marina Zanella	Asymmetric Diagnosability Analysis of Discrete-Event Systems.	DX	2017	DBLP DOI BibTeX RDF
16	Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois	Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis.	DX	2017	DBLP DOI BibTeX RDF
16	Béatrice Bérard, Stefan Haar, Sylvain Schmitz, Stefan Schwoon	The Complexity of Diagnosability and Opacity Verification for Petri Nets.	Petri Nets	2017	DBLP DOI BibTeX RDF
16	Jiyu Zhang, Giorgio Rizzoni	Selection of residual generators in structural analysis for fault diagnosis using a diagnosability index.	CCTA	2017	DBLP DOI BibTeX RDF
16	Hugo Bazille, Eric Fabre, Blaise Genest	Diagnosability degree of stochastic discrete event systems.	CDC	2017	DBLP DOI BibTeX RDF
16	Hassan Ibrahim, Philippe Dague, Alban Grastien, Lina Ye, Laurent Simon	Diagnosability Planning for Controllable Discrete Event Systems.	AAAI	2017	DBLP DOI BibTeX RDF
16	Chih-Hao Wang, Tong-Yu Hsieh	A hybrid concurrent error detection scheme for simultaneous improvement on probability of detection and diagnosability.	ITC-Asia	2017	DBLP DOI BibTeX RDF
16	Abderraouf Boussif, Mohamed Ghazel	An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study.	VECoS	2017	DBLP DOI BibTeX RDF
16	Cheng Xue, R. D. (Shawn) Blanton	Test-set reordering for improving diagnosability.	VTS	2017	DBLP DOI BibTeX RDF
16	Alexandre Perez, Rui Abreu 0001, Arie van Deursen	A test-suite diagnosability metric for spectrum-based fault localization approaches.	ICSE	2017	DBLP DOI BibTeX RDF
16	Mohammed Baniyounis, AlMutazbellah Mesmar	Diagnosability of programmable logic controllers.	SDD	2017	DBLP DOI BibTeX RDF
16	Giordano Pola, Elena De Santis, Maria Domenica Di Benedetto	On Approximate Diagnosability of Metric Systems.	SEFM	2017	DBLP DOI BibTeX RDF
16	Dimitri Lefebvre, Edouard Leclercq	Diagnosability of Petri nets with observation graphs.	Discret. Event Dyn. Syst.	2016	DBLP DOI BibTeX RDF
16	Shiying Wang, Weiping Han	The g-good-neighbor conditional diagnosability of n-dimensional hypercubes under the MM⁎ model.	Inf. Process. Lett.	2016	DBLP DOI BibTeX RDF
16	Eddie Cheng 0001, Ke Qiu 0001, Zhizhang Shen	On the Conditional Diagnosability of Hyper-Buttery Graphs snd Related Networks.	Parallel Process. Lett.	2016	DBLP DOI BibTeX RDF
16	Rong-Xia Hao, Mei-Mei Gu, Huan Luo, Aimei Yu	A Note on the Pessimistic Diagnosability of Augmented Cubes.	J. Interconnect. Networks	2016	DBLP DOI BibTeX RDF
16	Mei-Mei Gu, Rong-Xia Hao, Dond-Xue Yang	A Short Note on the 1, 2-Good-Neighbor Diagnosability of Balanced Hypercubes.	J. Interconnect. Networks	2016	DBLP DOI BibTeX RDF
16	Marcos Vicente Moreira, João Carlos Basilio, Felipe Gomes Cabral	"Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems" Versus "Decentralized Failure Diagnosis of Discrete Event Systems": A Critical Appraisal.	IEEE Trans. Autom. Control.	2016	DBLP DOI BibTeX RDF
16	Yi Deng 0004, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Stefano Di Gennaro, A. Agung Julius	Verification of Hybrid Automata Diagnosability With Measurement Uncertainty.	IEEE Trans. Autom. Control.	2016	DBLP DOI BibTeX RDF
16	Limei Lin, Li Xu 0002, Shuming Zhou, Sun-Yuan Hsieh	The t/k-Diagnosability for Regular Networks.	IEEE Trans. Computers	2016	DBLP DOI BibTeX RDF
16	Rong-Xia Hao, Zeng-Xian Tian, Jun-Ming Xu 0001	Relationship between conditional diagnosability and 2-extra connectivity of symmetric graphs.	Theor. Comput. Sci.	2016	DBLP DOI BibTeX RDF
16	Mujiangshan Wang, Yuqing Lin, Shiying Wang	The 2-good-neighbor diagnosability of Cayley graphs generated by transposition trees under the PMC model and MM⁎ model.	Theor. Comput. Sci.	2016	DBLP DOI BibTeX RDF
16	Limei Lin, Li Xu 0002, Shuming Zhou	Relating the extra connectivity and the conditional diagnosability of regular graphs under the comparison model.	Theor. Comput. Sci.	2016	DBLP DOI BibTeX RDF
16	Jun Yuan 0001, Aixia Liu, Xiao Qin 0001, Jifu Zhang, Jing Li 0048	g-Good-neighbor conditional diagnosability measures for 3-ary n-cube networks.	Theor. Comput. Sci.	2016	DBLP DOI BibTeX RDF
16	Shuming Zhou, Sulin Song, Xiaoxue Yang, Lanxiang Chen	On conditional fault tolerance and diagnosability of hierarchical cubic networks.	Theor. Comput. Sci.	2016	DBLP DOI BibTeX RDF
16	Limei Lin, Li Xu 0002, Shuming Zhou, Sun-Yuan Hsieh	The Extra, Restricted Connectivity and Conditional Diagnosability of Split-Star Networks.	IEEE Trans. Parallel Distributed Syst.	2016	DBLP DOI BibTeX RDF
16	Anupam Bhar, Santanu Chattopadhyay, Indranil Sengupta 0001, Rohit Kapur	Small Test Set Generation with High Diagnosability.	J. Circuits Syst. Comput.	2016	DBLP DOI BibTeX RDF
16	Mei-Mei Gu, Rong-Xia Hao, Yan-Quan Feng	The pessimistic diagnosability of bubble-sort star graphs and augmented k-ary n-cubes.	Int. J. Comput. Math. Comput. Syst. Theory	2016	DBLP DOI BibTeX RDF
16	Qiang Zhu 0003, Xing Zhang	Theh-extra conditional diagnosability of hypercubes under the PMC model and MM* model.	Int. J. Comput. Math. Comput. Syst. Theory	2016	DBLP DOI BibTeX RDF
16	Viktor A. Vedeshenkov, E. A. Kurako, Vasiliy N. Lebedev	Diagnosability of digital systems structured as minimal quasicomplete 7 × 7 graph.	Autom. Remote. Control.	2016	DBLP DOI BibTeX RDF
16	Yurij K. Dimitriev	Necessary and sufficient conditions for t-diagnosability of multiprocessor computer systems for various models of nonreliable testing established using the system graph-theoretical model.	Autom. Remote. Control.	2016	DBLP DOI BibTeX RDF
16	Jia Guo, Mei Lu	Conditional diagnosability of bubble-sort star graphs.	Discret. Appl. Math.	2016	DBLP DOI BibTeX RDF
16	Xuena Geng, Dantong Ouyang, Xiangfu Zhao, Shuang Hao	Probabilistic logical approach for testing diagnosability of stochastic discrete event systems.	Eng. Appl. Artif. Intell.	2016	DBLP DOI BibTeX RDF
16	Florent Peres, Mohamed Ghazel	A µ-calculus formulation of the diagnosability of discrete event systems.	Int. J. Crit. Comput. Based Syst.	2016	DBLP DOI BibTeX RDF
16	Houda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernández, Ahmed Hadj Kacem, Cédric Eichler, Alberto Calixto Simon	An efficient validation approach for quasi-synchronous checkpointing oriented to distributed diagnosability.	J. Syst. Softw.	2016	DBLP DOI BibTeX RDF
16	Sulin Song, Shuming Zhou, Xiaoyan Li	Conditional Diagnosability of Burnt Pancake Networks Under the PMC Model.	Comput. J.	2016	DBLP DOI BibTeX RDF
16	Shiying Wang, Zhenhua Wang, Mujiangshan Wang	The 2-Extra Connectivity and 2-Extra Diagnosability of Bubble-Sort Star Graph Networks.	Comput. J.	2016	DBLP DOI BibTeX RDF