PSAM 16 Conference Paper Overview
Welcome to the PSAM 16 Conference paper and speaker overview page.
Lead Author: Eugene Levner Co-author(s): BORIS KRIHELI borisk@hit.ac.il
| Achieving reliable low-cost detection of faulty parts in cyber-physical systems using unreliable detection sensors |
|---|
| Consider the problem of efficient and reliable detection of faulty parts in a large-scale educational cyber-physical system (ECPS). The ECPS is a network of several hundred computers, audio and video devices, and sensor/control devices that are located at homes and in university classrooms, interact with each other via the Internet, and serve for on-line or hybrid education. To locate the faulty parts, the ECPS uses a set of unreliable sensors that can test the system components one after another. For any possibly failed component, the following data is collected and used: (a) the cost and time of the component to be checked by a sensor; (b) the initial probability of component failure; (c) the probabilities of false negative and false positive (“false-alarms”) test results; and (d) the required safety level p0, which is defined as the probability of correctly detecting a faulty part; this parameter is set in advance by the decision maker and far exceeds the known reliability values of individual sensors. To achieve the required level of safety, we develop a new method that checks each ECPS component several times in succession. Using the formula for total probability and the Bayesian approach, we build a mathematical model for finding the minimum number of necessary retests required for each component. We then develop a fast test scheduling algorithm, investigate its complexity and conduct computational experiments to detect failures in a real educational CPS. Finally, we have compared the proposed method with several known failure-detection methods and obtained encouraging practical results. |
Paper LE81 Preview
Author and Presentation Info
Lead Author Name: Eugene (Evgeni) Levner (levner@hit.ac.il)
Bio: Eugene (Evgeni) Levner is professor-emeritus at the Holon Institute of Technology, Holon, Israel. He is Professor of Operations Research awarded by Tel-Aviv University (1995) and Professor of Computer Science awarded by Holon Institute of Technology (2002). His research interests are in the design of exact, approximate and fuzzy algorithms in Artificial Intelligence Robotics, and Digital Medicine. He is the author of more than 120 books and articles, the organiser of numerous conferences, a member of the Editorial Boards of seven influential scientific journals (IEEE Transactions on Industrial Informatics, Algorithms, and others).
Country: Israel
Company: Holon Institute of Technology
Job Title: Professor Emeritus
Bio: Eugene (Evgeni) Levner is professor-emeritus at the Holon Institute of Technology, Holon, Israel. He is Professor of Operations Research awarded by Tel-Aviv University (1995) and Professor of Computer Science awarded by Holon Institute of Technology (2002). His research interests are in the design of exact, approximate and fuzzy algorithms in Artificial Intelligence Robotics, and Digital Medicine. He is the author of more than 120 books and articles, the organiser of numerous conferences, a member of the Editorial Boards of seven influential scientific journals (IEEE Transactions on Industrial Informatics, Algorithms, and others).
Country: Israel
Company: Holon Institute of Technology
Job Title: Professor Emeritus