Abstract
In this chapter, a systematic computer search strategy will be employed to identify sneak circuits and related electrical problems in safety-critical electrical circuits. The strategy will be a modification of the Game Theory approach used to identify potential short circuits in the “Bent Pin Problem”.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Anon. (2006). SCAT, Sneak circuit analysis tool user’s guide—Ver. 5.0. Culver City, CA: SoHar Inc.
Zito, R. R. (2012). ‘Sneak circuits’ and related system safety electrical problems—I: Matrix methods. In 30th International Systems Safety Conference, Atlanta GA.
Zito, R. R. (2011, August 8–12). The curious Bent Pin Problem—I: Computer search methods. In 29th International Systems Safety Conference, Las Vegas.
Zito, R. R. (2011, August 8–12). The curious Bent Pin Problem—II: Matrix methods. In 29th International Systems Safety Conference, Las Vegas.
Kendall, T. (1978). Passing through the netherworld: The meaning and play of Senet, an ancient Egyptian funerary game. Belmont: The Kirk Game Co.
Bell, R. C. (1979). The board game book. London: Marshall Cavendish Ltd..
Weeks, K. R. (2005). Luxor (p. 376). Vercelli, Italy: White Star.
Fazzini, R. A., Romano, J. F., & Cody, M. E. (1999). Art for eternity—Master works from ancient Egypt (p. 26). Brooklyn, NY: Brooklyn Museum of Art.
Marshall, C. W. (1971). Applied graph theory (pp. 30, 115). New York: Wiley.
Kotzig, A. (1964). Hamilton graphs and hamilton circuits. In M. Fiedler (Ed.), Theory of Graphs and Its Applications—Smolenice Symposium (pp. 63–82). New York: Academic Press.
Ore, O. (1962). Theory of graphs. American Mathematical Society.
Barr, A., & Feigenbaum, E. A. (1981). The handbook of artificial intelligence-V. 1 (pp. 7–11). Los Altos, CA: Kaufmann, Inc.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Zito, R.R. (2020). “Sneak Circuits” and Related System Safety Electrical Problems-II: Computer Search Methods. In: Mathematical Foundations of System Safety Engineering. Springer, Cham. https://doi.org/10.1007/978-3-030-26241-9_11
Download citation
DOI: https://doi.org/10.1007/978-3-030-26241-9_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-26240-2
Online ISBN: 978-3-030-26241-9
eBook Packages: EngineeringEngineering (R0)