Search results for "Diagnosability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Ramesh K. Sitaraman, Niraj K. Jha	Optimal Design of Checks for Error Detection and Location in Fault-Tolerant Multiprocessor Systems.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	error location, optimal design of checks, fault-tolerant multiprocessor systems, RANDGEN, arbitrary data-check, majority diagnosability, UNIFGEN, uniform checks, fault tolerant computing, multiprocessing systems, error detection, error detection, algorithm-based fault tolerance
18	Vijay Raghavan 0002	On Asymmetric Invalidation with Partial Tests.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	asymmetric invalidation, partial tests, diagnosability problem, co-NP complete, computational complexity, fault diagnosis, logic testing, diagnosis algorithm
18	Sy-Yen Kuo, Kuochen Wang	Fault diagnosis in reconfigurable VLSI and WSI processor arrays.	J. VLSI Signal Process.	1990	DBLP DOI BibTeX RDF	design for diagnosability, VLSI/WSI processor array, fault diagnosis, reconfiguration, yield enhancement
18	S.-C. Chu, James R. Armstrong	t-TDA-Diagnosable Systems.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	testable diagnosis array, TDA, system-level fault diagnosis, diagnostics device, testing graph, fault tolerant computing, logic testing, fault location, diagnosability
18	Anton T. Dahbura	An Efficient Algorithm for Identifying the Most Likely Fault Set in a Probabilistically Diagnosable System.	IEEE Trans. Computers	1986	DBLP DOI BibTeX RDF	vertex cover set, probabilistic diagnosability, fault tolerance, Diagnosis, multiprocessor systems
18	Sivanarayana Mallela, Gerald M. Masson	Diagnosis Without Repair for Hybrid Fault Situations.	IEEE Trans. Computers	1980	DBLP DOI BibTeX RDF	diagnosability without repair, hybrid fault situation, fault diagnosis, PMC models, intermittent faults, permanent faults, Connection assignment
18	P. Ciompi, Luca Simoncini	Analysis and Optimal Design of Self-Diagnosable Systems with Repair.	IEEE Trans. Computers	1979	DBLP DOI BibTeX RDF	t-fault diagnosability with repair., Boundary graphs, graph theoretical model, testing connections, optimal design
16	Hong Zhang, Shuming Zhou, Eddie Cheng 0001, Sun-Yuan Hsieh	Characterization of Cyclic Diagnosability of Regular Diagnosable Networks.	IEEE Trans. Reliab.	2024	DBLP DOI BibTeX RDF
16	Yaqian Tang, Baolei Cheng, Yan Wang 0078, Yuejuan Han, Jia Yu, Jianxi Fan	Connectivity and diagnosability of a class of recursive networks.	J. Supercomput.	2024	DBLP DOI BibTeX RDF
16	Ziyue Ma, Yin Tong, Carla Seatzu	Verification of Pattern-Pattern Diagnosability in Partially Observed Discrete Event Systems.	IEEE Trans. Autom. Control.	2024	DBLP DOI BibTeX RDF
16	Xiaojun Zhao, Qingying Deng, Xiaowang Li	Relating g-good-neighbor connectivity and g-good-neighbor diagnosability of strong digraph network.	Theor. Comput. Sci.	2024	DBLP DOI BibTeX RDF
16	Wen Yin, Jiarong Liang, Yuhao Xie, Changzhen Li	The t/k-diagnosability of m-ary n-cube networks.	Theor. Comput. Sci.	2024	DBLP DOI BibTeX RDF
16	Shaopeng Hu, Zhiwu Li 0001, Remigiusz Wisniewski	Optimal Sensor Selection for Diagnosability Enforcement in Labeled Petri Nets.	IEEE Trans. Syst. Man Cybern. Syst.	2024	DBLP DOI BibTeX RDF
16	Jiarong Liang, Mengdie Xiao, Zhi Lin, Changzhen Li	t/k-Diagnosability of Regular Networks under the Comparison Model.	Sensors	2024	DBLP DOI BibTeX RDF
16	Hong Zhang, Shuming Zhou, Eddie Cheng 0001	The Cyclic Diagnosability Of Hypercubes Under The PMC Model And The MM* Model.	Comput. J.	2024	DBLP DOI BibTeX RDF
16	Ira Wendell Bates, Ali Karimoddini, Mohammad Karimadini	A Learning-Based Approach for Diagnosis and Diagnosability of Unknown Discrete Event Systems.	IEEE Trans. Neural Networks Learn. Syst.	2024	DBLP DOI BibTeX RDF
16	Jun Chen 0002	A Probabilistic Test for A-Diagnosability of Stochastic Discrete-Event Systems With Guaranteed Error Bound.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
16	Yanze Huang, Limei Lin, Yuhang Lin, Li Xu 0002, Sun-Yuan Hsieh	Fault Diagnosability of Networks With Fault-Free Block at Local Vertex Under MM* Model.	IEEE Trans. Reliab.	2023	DBLP DOI BibTeX RDF
16	Nengjin Zhuo, Shumin Zhang, Chengfu Ye, Yalan Li	Non-Inclusive Diagnosability of Alternating Group Graphs.	Parallel Process. Lett.	2023	DBLP DOI BibTeX RDF
16	Martin Fauré, David Henry 0001, Jérôme Cieslak, Pierre Lachevre, Finn Ankersen	Optimization of Spacecraft Thrusters Configuration Under Fault Diagnosability and Recoverability Constraints.	IEEE Trans. Aerosp. Electron. Syst.	2023	DBLP DOI BibTeX RDF
16	Shiqi Li, Sian Zhou, Li Yin, Rongtian Jiang	Robust Diagnosability Analysis Using Basis Reachability Graph.	IEEE Access	2023	DBLP DOI BibTeX RDF
16	Asghar Asgharian-Sardroud, Mohsen Ghasemi	The g-good-neighbor diagnosability of triangle-free graphs.	J. Supercomput.	2023	DBLP DOI BibTeX RDF
16	Ting Tian, Shumin Zhang, Yalan Li	Hybrid fault g-good-neighbor conditional diagnosability of star graphs.	J. Supercomput.	2023	DBLP DOI BibTeX RDF
16	Meirun Chen, Michel Habib, Cheng-Kuan Lin	Diagnosability for a family of matching composition networks.	J. Supercomput.	2023	DBLP DOI BibTeX RDF
16	Amira Chouchane, Mohamed Ghazel, Abderraouf Boussif	K-diagnosability analysis of bounded and unbounded Petri nets using linear optimization.	Autom.	2023	DBLP DOI BibTeX RDF
16	Ping Li, Shurong Zhang, Xiaomin Hu, Weihua Yang	Structural diagnosability of hypercubes under the PMC and MM* models.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
16	Jun Yuan 0001, Shuyuan Ge, Aixia Liu	The partial diagnosability of interconnection networks under the Hybrid PMC model.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
16	Hong Zhang, Shuming Zhou, Xiaoqing Liu, Zhenqin Yu	Extra (component) connectivity and diagnosability of bubble sort networks.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
16	Yanze Huang, Kui Wen, Limei Lin, Li Xu 0002, Sun-Yuan Hsieh	Component Fault Diagnosability of Hierarchical Cubic Networks.	ACM Trans. Design Autom. Electr. Syst.	2023	DBLP DOI BibTeX RDF
16	Fatemeh Hashemniya, Arvind Balachandran, Erik Frisk, Mattias Krysander	Structural Diagnosability Analysis of Switched and Modular Battery Packs.	CoRR	2023	DBLP DOI BibTeX RDF
16	Fatemeh Hashemniya, Benoît Caillaud, Erik Frisk, Mattias Krysander, Mathias Malandain	Fault Diagnosability Analysis of Multi-Mode Systems.	CoRR	2023	DBLP DOI BibTeX RDF
16	Chen Guo 0005, Chengzhong Wu, Zhifang Xiao, Jianbo Lu, Zhihong Liu	The intermittent diagnosability for two families of interconnection networks under the PMC model and MM* model.	Discret. Appl. Math.	2023	DBLP DOI BibTeX RDF
16	Rui Sun, Dantong Ouyang, Xinliang Tian, Liming Zhang 0005	An efficient power set mapping space blocking algorithm for sensor selection in uncertain systems with quantified diagnosability requirements.	Appl. Intell.	2023	DBLP DOI BibTeX RDF
16	S. Reshmila, R. Devanathan	Component level diagnosability of discrete event systems based on observations.	Innov. Syst. Softw. Eng.	2023	DBLP DOI BibTeX RDF
16	Dayi Wang, Fangzhou Fu, Han Yu, Weimeng Chu, Zhigang Wu, Wenbo Li 0005	Artificial-Intelligence-Based Quantitative Fault Diagnosability Analysis of Spacecraft: An Information Geometry Perspective.	IEEE Trans. Artif. Intell.	2023	DBLP DOI BibTeX RDF
16	Dimitri Lefebvre, Christoforos N. Hadjicostis	Probabilistic verification of diagnosability for a certain class of timed stochastic systems.	Syst. Control. Lett.	2023	DBLP DOI BibTeX RDF
16	Xueli Sun, Jianxi Fan, Baolei Cheng, Jingya Zhou, Yan Wang 0078	Relationship Between Component Connectivity And Component Diagnosability Of Some Regular Networks.	Comput. J.	2023	DBLP DOI BibTeX RDF
16	Yunxia Ren, Shiying Wang	The Local Diagnosability of a Class of Cayley Graphs with Conditional Faulty Edges Under the PMC Model.	Comput. J.	2023	DBLP DOI BibTeX RDF
16	Chen Guo 0005, Qiuming Liu, Zhifang Xiao, Shuo Peng	The Diagnosability of Interconnection Networks with Missing Edges and Broken-Down Nodes Under the PMC and MM* Models.	Comput. J.	2023	DBLP DOI BibTeX RDF
16	Hao Feng, Jiong Wu, Lin Chen	Intermittent fault diagnosability of a class of hypercube-family networks under the PMC model.	ICPADS	2023	DBLP DOI BibTeX RDF
16	Beatrice Shokry, Hassanein H. Amer, Ramez M. Daoud, Mahmoud Rumman, Ahmed S. Emara	Error Detection and Masking Circuit with High Diagnosability for Redundant Sensors.	MECO	2023	DBLP DOI BibTeX RDF
16	Camille Coquand	Diagnosticabilité et diagnosticabilisation de motifs temporels dans les réseaux de Petri temporels. (Diagnosability and diagnosabilisation of time patterns in time Petri nets).		2023	RDF
16	Thiago Monteiro Tuxi, Lilian K. Carvalho, Eduardo V. L. Nunes, Antonio Eduardo Carrilho da Cunha	Diagnosability verification using LTL model checking.	Discret. Event Dyn. Syst.	2022	DBLP DOI BibTeX RDF
16	Jun Yuan 0001, Huijuan Qiao, Aixia Liu	The upper and lower bounds of Rg-conditional diagnosability of networks.	Inf. Process. Lett.	2022	DBLP DOI BibTeX RDF
16	Dimitri Lefebvre, Christoforos N. Hadjicostis	Diagnosability of fault patterns with labeled stochastic Petri nets.	Inf. Sci.	2022	DBLP DOI BibTeX RDF
16	Xian-Jun Shi, Yufeng Qin, Li Zhao	Optimal Test Point Placement Based on Fault Diagnosability Quantitative Evaluation.	IEEE Access	2022	DBLP DOI BibTeX RDF
16	Abdul Salam Khan	Problem-Specific Heuristics for Diagnosability and Inventory Analysis in a Reconfigurable Manufacturing System.	IEEE Access	2022	DBLP DOI BibTeX RDF
16	Yuhao Xie, Jiarong Liang, Wen Yin, Changzhen Li	The properties and t/s-diagnosability of k-ary n-cube networks.	J. Supercomput.	2022	DBLP DOI BibTeX RDF
16	Yuhao Xie, Jiarong Liang, Wen Yin, Changzhen Li	Correction to: The properties and t/s-diagnosability of k-ary n-cube networks.	J. Supercomput.	2022	DBLP DOI BibTeX RDF
16	Xinyang Wang, Lijuan Huang, Qiao Sun, Naqin Zhou, Yuehong Chen, Weiwei Lin 0001, Keqin Li 0001	The g-extra diagnosability of the balanced hypercube under the PMC and MM* model.	J. Supercomput.	2022	DBLP DOI BibTeX RDF
16	Shiying Wang, Changchang Fan, Xiaolei Ma, Yunxia Ren	The Local Diagnosability of Folded Hypercubes with Conditional Faulty Edges Under the PMC Model.	J. Interconnect. Networks	2022	DBLP DOI BibTeX RDF
16	Qianru Zhou, Shuming Zhou, Xiaoqing Liu, Zhengqin Yu	Reliability of Divide-and-Swap Cube Based on r-Component Connectivity and Diagnosability.	J. Interconnect. Networks	2022	DBLP DOI BibTeX RDF
16	Xinyang Wang, Haozhe Li, Qiao Sun, Chen Guo, Hu Zhao, Xinyu Wu, Anqi Wang	The g-Good-Neighbor Conditional Diagnosability of Exchanged Crossed Cube under the MM* Model.	Symmetry	2022	DBLP DOI BibTeX RDF
16	Fuchun Liu, Pengbiao Yang, Rui Zhao 0026, Zbigniew Dziong	Verification of safe diagnosability of stochastic discrete-event systems.	Int. J. Control	2022	DBLP DOI BibTeX RDF
16	Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Viktória Vozárová	Diagnosability of fair transition systems.	Artif. Intell.	2022	DBLP DOI BibTeX RDF
16	Qinyuan Liu, Zidong Wang, Junfeng Zhang, Donghua Zhou	Necessary and Sufficient Conditions for Fault Diagnosability of Linear Open- and Closed-Loop Stochastic Systems Under Sensor and Actuator Faults.	IEEE Trans. Autom. Control.	2022	DBLP DOI BibTeX RDF
16	Fangzhou Fu, Ting Xue, Zhigang Wu, Dayi Wang	A Fault Diagnosability Evaluation Method for Dynamic Systems Without Distribution Knowledge.	IEEE Trans. Cybern.	2022	DBLP DOI BibTeX RDF
16	Fangzhou Fu, Dayi Wang, Wenbo Li 0005, Dong Zhao, Zhigang Wu	Overall fault diagnosability evaluation for dynamic systems: A quantitative-qualitative approach.	Autom.	2022	DBLP DOI BibTeX RDF
16	Yongcui Tian, Qiang Zhu 0003	r-component diagnosability of hypercubes under the PMC model.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
16	Eddie Cheng 0001, Ke Qiu 0001, Zhizhang Shen	On the g-extra diagnosability of enhanced hypercubes.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
16	Wei Feng, Shiying Wang	The diagnosability of wheel networks with the condition: 2-extra.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
16	Jun Yuan 0001, Ying Li, Aixia Liu, Huijuan Qiao	The non-inclusive g-good-neighbor diagnosability of interconnection networks.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
16	Shiying Wang	The diagnosability of Möbius cubes for the g-extra condition.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
16	Jun Yuan 0001, Huijuan Qiao, Aixia Liu	The Rg-conditional diagnosability of international networks.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
16	Limei Lin, Yanze Huang, Li Xu 0002, Sun-Yuan Hsieh	A Pessimistic Fault Diagnosability of Large-Scale Connected Networks via Extra Connectivity.	IEEE Trans. Parallel Distributed Syst.	2022	DBLP DOI BibTeX RDF
16	Jiafei Liu, Shuming Zhou, Dajin Wang, Hong Zhang	Component diagnosability in terms of component connectivity of hypercube-based compound networks.	J. Parallel Distributed Comput.	2022	DBLP DOI BibTeX RDF
16	Aiwen Lai, Jan Komenda, Sébastien Lahaye	Diagnosability of Unambiguous Max-Plus Automata.	IEEE Trans. Syst. Man Cybern. Syst.	2022	DBLP DOI BibTeX RDF
16	Fangzhou Fu, Dayi Wang, Dong Zhao, Zhigang Wu	Fault Diagnosability Evaluation for Markov Jump Systems With Multiple Time Delays.	IEEE Trans. Syst. Man Cybern. Syst.	2022	DBLP DOI BibTeX RDF
16	Eddie Cheng 0001, Yaping Mao, Ke Qiu 0001, Zhizhang Shen	A general approach to deriving diagnosability results of interconnection networks.	Int. J. Parallel Emergent Distributed Syst.	2022	DBLP DOI BibTeX RDF
16	Eddie Cheng 0001, Yaping Mao, Ke Qiu 0001, Zhizhang Shen	A general approach to deriving diagnosability results of interconnection networks.	CoRR	2022	DBLP DOI BibTeX RDF
16	Lili Li, Xing Zhang, Qiang Zhu 0003, Yiguang Bai	The 3-extra conditional diagnosability of balanced hypercubes under MM∗ model.	Discret. Appl. Math.	2022	DBLP DOI BibTeX RDF
16	Yunxia Ren, Shiying Wang	Local diagnosability of bipartite graphs with conditional faulty edges under Preparata, Metze and Chien's model.	Discret. Appl. Math.	2022	DBLP DOI BibTeX RDF
16	Hong Zhang, Shuming Zhou, Eddie Cheng 0001, Sun-Yuan Hsieh	Characterization of component diagnosability of regular networks.	Discret. Appl. Math.	2022	DBLP DOI BibTeX RDF
16	Hongbin Zhuang, Wenzhong Guo, Xiaoyan Li, Ximeng Liu, Cheng-Kuan Lin	The Component Diagnosability of General Networks.	Int. J. Found. Comput. Sci.	2022	DBLP DOI BibTeX RDF
16	Lin Cao 0005, Shaolong Shu, Feng Lin 0001, Qijun Chen, Chengju Liu	Weak Diagnosability of Discrete-Event Systems.	IEEE Trans. Control. Netw. Syst.	2022	DBLP DOI BibTeX RDF
16	Jialiang Lu, Wei Zhao, Jie Li	The t/k-Diagnosability and a t/k Diagnosis Algorithm of the Data Center Network BCCC under the MM* Model.	Algorithms	2022	DBLP DOI BibTeX RDF
16	Yannick Pencolé, Audine Subias	Diagnosability of Event Patterns in Safe Labeled Time Petri Nets: A Model-Checking Approach.	IEEE Trans Autom. Sci. Eng.	2022	DBLP DOI BibTeX RDF
16	Shurong Zhang, Dongyue Liang, Lin Chen, Ronghua Li, Weihua Yang	The Component Diagnosability of Hypercubes with Large-Scale Faulty Nodes.	Comput. J.	2022	DBLP DOI BibTeX RDF
16	Nai-Wen Chang 0002, Hsuan-Jung Wu, Sun-Yuan Hsieh	Pancake graphs: Structural properties and conditional diagnosability.	J. Comb. Optim.	2022	DBLP DOI BibTeX RDF
16	Takumi Hamada, Shigemasa Takai	Reliable Diagnosability for Decentralized Diagnosis of Discrete Event Systems with Single-Level Inference.	ACC	2022	DBLP DOI BibTeX RDF
16	Yongcui Tian, Qiang Zhu 0003, Chaofeng Lv	Extra Conditional Diagnosability of Hypercubes under the Bounded PMC Model.	CACML	2022	DBLP DOI BibTeX RDF
16	Gabin An, Shin Yoo	FDG: a precise measurement of fault diagnosability gain of test cases.	ISSTA	2022	DBLP DOI BibTeX RDF
16	Shaopeng Hu, Jiafeng Zhang, Zhiwu Li 0001	Diagnosability Enforcement in Labeled Petri Nets Based on Digital Twins.	CoDIT	2022	DBLP DOI BibTeX RDF
16	Benjamin Simon Clegg, Gordon Fraser 0001, Phil McMinn	Diagnosability, Adequacy & Size: How Test Suites Impact Autograding.	HICSS	2022	DBLP BibTeX RDF
16	Xiao-Wen Qin, Rong-Xia Hao, Sheng-Lung Peng	Fault Diagnosability of Multigraph Matching Composition Networks.	ICS	2022	DBLP DOI BibTeX RDF
16	Abderraouf Boussif, Mohamed Ghazel, João Carlos Basilio	Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches.	Discret. Event Dyn. Syst.	2021	DBLP DOI BibTeX RDF
16	Limei Lin, Yanze Huang, Li Xu 0002, Sun-Yuan Hsieh	A Complete Fault Tolerant Method for Extra Fault Diagnosability of Alternating Group Graphs.	IEEE Trans. Reliab.	2021	DBLP DOI BibTeX RDF
16	Shiqi Li, Murat Uzam, Li Yin, Zhaofeng Zhong, Li Zheng, Naiqi Wu	Robust Diagnosability Analysis of Discrete Event Systems Using Labeled Petri Nets.	IEEE Access	2021	DBLP DOI BibTeX RDF
16	Dong Zhao, Choon Ki Ahn, Wojciech Paszke, Fangzhou Fu, Yueyang Li	Fault Diagnosability Analysis of Two-Dimensional Linear Discrete Systems.	IEEE Trans. Autom. Control.	2021	DBLP DOI BibTeX RDF
16	Yihui Hu, Ziyue Ma, Zhiwu Li 0001, Alessandro Giua	Diagnosability enforcement in labeled Petri nets using supervisory control.	Autom.	2021	DBLP DOI BibTeX RDF
16	Ziyue Ma, Xiang Yin 0003, Zhiwu Li 0001	Marking diagnosability verification in labeled Petri nets.	Autom.	2021	DBLP DOI BibTeX RDF
16	Jiafei Liu, Shuming Zhou, Zhendong Gu, Qianru Zhou, Dajin Wang	Fault diagnosability of Bicube networks under the PMC diagnostic model.	Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
16	Yulong Wei, Min Xu 0005	Conditional diagnosability of Cayley graphs generated by wheel graphs under the PMC model.	Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
16	Yihong Wang, Cheng-Kuan Lin, Qianru Zhou, Shuming Zhou	Note on Rg-conditional diagnosability of hypercube.	Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
16	Yuhang Lin, Limei Lin, Yanze Huang, Jiaru Wang	The t/s-diagnosability and t/s-diagnosis algorithm of folded hypercube under the PMC/MM* model.	Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
16	Lilian Kawakami Carvalho, Marcos Vicente Moreira, João Carlos Basilio	Comparative analysis of related notions of robust diagnosability of Discrete-Event Systems.	Annu. Rev. Control.	2021	DBLP DOI BibTeX RDF
16	Hong Zhang, Jixiang Meng	Faulty diagnosability and g-extra connectivity of DQcube.	Int. J. Parallel Emergent Distributed Syst.	2021	DBLP DOI BibTeX RDF
16	Alexandre Perez, Rui Abreu 0001, Arie van Deursen	A Theoretical and Empirical Analysis of Program Spectra Diagnosability.	IEEE Trans. Software Eng.	2021	DBLP DOI BibTeX RDF
16	Kuize Zhang, Jörg Raisch	Diagnosability of labeled max-plus automata.	CoRR	2021	DBLP BibTeX RDF
16	Hongbin Zhuang, Wenzhong Guo, Xiaoyan Li, Ximeng Liu, Cheng-Kuan Lin	The Component Diagnosability of General Networks.	CoRR	2021	DBLP BibTeX RDF