TY - CHAP
T1 - Diagnosis of Extensions of Constant Faults in Circuits
AU - Busbait, Monther
AU - Moshkov, Mikhail
AU - Moshkova, Albina
AU - Shevtchenko, Vladimir
N1 - Publisher Copyright:
© 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.
PY - 2023
Y1 - 2023
N2 - In this chapter, we study extensions of constant faults at inputs of gates. For quasiprimitive bases containing functions with two or more essential variables, we describe the maximum extensions of constant faults that preserve the efficiency of diagnosis. For each closed class of Boolean functions containing functions with two or more essential variables, we find a quasiprimitive basis that is, in some sense, optimal from the point of view of diagnosis the maximum extensions of constant faults. We also study the complexity of implementation of functions from closed classes by formula-like circuits and the complexity of diagnosis of corresponding to them iteration-free circuits relative to the maximum extensions of constant faults.
AB - In this chapter, we study extensions of constant faults at inputs of gates. For quasiprimitive bases containing functions with two or more essential variables, we describe the maximum extensions of constant faults that preserve the efficiency of diagnosis. For each closed class of Boolean functions containing functions with two or more essential variables, we find a quasiprimitive basis that is, in some sense, optimal from the point of view of diagnosis the maximum extensions of constant faults. We also study the complexity of implementation of functions from closed classes by formula-like circuits and the complexity of diagnosis of corresponding to them iteration-free circuits relative to the maximum extensions of constant faults.
UR - http://www.scopus.com/inward/record.url?scp=85168665177&partnerID=8YFLogxK
U2 - 10.1007/978-3-031-39031-9_4
DO - 10.1007/978-3-031-39031-9_4
M3 - Chapter
AN - SCOPUS:85168665177
T3 - Studies in Systems, Decision and Control
SP - 53
EP - 70
BT - Studies in Systems, Decision and Control
PB - Springer Science and Business Media Deutschland GmbH
ER -