Automated Reconfiguration of Cyber-Physical Production Systems using Satisfiability Modulo Theories

Today, Cyber-Physical Production Systems (CPPS) are controlled by manually written software, therefore the soft-ware is not able to adapt to unforeseen events and faults. So even if a fault is diagnosed automatically, the system normally needs to be repaired manually by a human operator. So to implement the vision of an autonomous system, besides self-diagnosis also a self-reconfiguration or self-repair step is needed. Here reconfiguration is the task of restoring valid system behavior after an invalid system behavior occurred. For complex CPPS, finding such a new valid configuration always requires a system model covering all potential new configurations—only for rather simple systems the possible reconfigurations for a fault can be modeled explicitly. Unfortunately, such models are hardly available for complex systems.This paper presents a novel approach for the automated reconfiguration of CPPS to solve this challenge. It is based on the combination of residual-based fault detection and logical calculi to draw causal coherences. The approach operates on observed system data and information about the system topology. By doing this, the modeling efforts are reduced. To evaluate the new approach, a simulation of such CPPS is used.

[1]  Frank L. Lewis,et al.  Leader-to-Formation Stability of Multiagent Systems: An Adaptive Optimal Control Approach , 2018, IEEE Transactions on Automatic Control.

[2]  Alban Grastien,et al.  Diagnosability Planning for Controllable Discrete Event Systems , 2017, AAAI.

[3]  Steven X. Ding,et al.  A Survey of Fault Diagnosis and Fault-Tolerant Techniques—Part I: Fault Diagnosis With Model-Based and Signal-Based Approaches , 2015, IEEE Transactions on Industrial Electronics.

[4]  Hongjing Liang,et al.  Observer-Based Adaptive Fuzzy Fault-Tolerant Control for Stochastic Nonstrict-Feedback Nonlinear Systems With Input Quantization , 2019, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[5]  Benno Stein,et al.  Model-Based Diagnosis for Cyber-Physical Production Systems Based on Machine Learning and Residual-Based Diagnosis Models , 2019, AAAI.

[6]  Matthias Schneider,et al.  A Cyber-Physical Failure Management System for Smart Factories , 2019 .

[7]  Tetsuo Tomiyama,et al.  Resilient architecture for cyber-physical production systems , 2018 .

[8]  Oskar Dressler,et al.  Künstliche Intelligenz? , 1986, FIFF Jahrestagung.

[9]  Edward A. Lee.  Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[10]  P. Pandurang Nayak,et al.  A Model-Based Approach to Reactive Self-Configuring Systems , 1996, AAAI/IAAI, Vol. 2.

[11]  Martin Buss,et al.  Nonlinear Hybrid Dynamical Systems: Modeling, Optimal Control, and Applications , 2002 .

[12]  Jan Lunze.  Qualitative modelling of dynamical systems motivation, methods, and prospective applications , 1998 .

[13]  Johan de Kleer,et al.  Fundamentals of model-based diagnosis , 2003 .

[14]  Knut Åkesson,et al.  Enumeration of Valid Partial Configurations , 2011, Configuration Workshop.

[15]  M. V. Iordache,et al.  Diagnosis and Fault-Tolerant Control , 2007, IEEE Transactions on Automatic Control.

[16]  Sanja Petrovic,et al.  SURVEY OF DYNAMIC SCHEDULING IN MANUFACTURING SYSTEMS , 2006 .

[17]  John M. Rushby,et al.  Model-Based Reconfiguration: Toward an Integration with Diagnosis , 1991, AAAI.

[18]  Oliver Niggemann,et al.  Automatic Parameter Estimation for Reusable Software Components of Modular and Reconfigurable Cyber-Physical Production Systems in the Domain of Discrete Manufacturing , 2018, IEEE Transactions on Industrial Informatics.

[19]  David J. Murray-Smith,et al.  Continuous System Simulation , 1994 .

[20]  S. Gentil,et al.  Combining FDI and AI approaches within causal-model-based diagnosis , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[21]  Lin Wang,et al.  Process configuration based on generative constraint satisfaction problem , 2017, J. Intell. Manuf..

[22]  Gautam Biswas,et al.  Structural Methodologies for Distributed Fault Detection and Isolation , 2019 .

[23]  Oliver Niggemann,et al.  Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory , 2019, AAAI.

[24]  P. Gawthrop,et al.  Bond-graph modeling , 2007, IEEE Control Systems.

[25]  Nikolaj Bjørner,et al.  Z3: An Efficient SMT Solver , 2008, TACAS.

[26]  Nikolaj Bjørner,et al.  Satisfiability Modulo Theories: An Appetizer , 2009, SBMF.

[27]  Martin Brown,et al.  Data Driven Fault Diagnosis and Fault Tolerant Control: Some Advances and Possible New Directions , 2009 .

[28]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[29]  Alexander Felfernig,et al.  Anytime diagnosis for reconfiguration , 2021, Journal of Intelligent Information Systems.

[30]  Brendan Juba,et al.  Safe Partial Diagnosis from Normal Observations , 2019, AAAI.

[31]  Hilding Elmqvist,et al.  MODELICA — THE NEW OBJECT-ORIENTED MODELING LANGUAGE , 1998 .

[32]  Marco Roveri,et al.  Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies , 2016, AAAI.

[33]  Meir Kalech,et al.  Compiling Model-Based Diagnosis to Boolean Satisfaction , 2012, AAAI.

[34]  Oliver Niggemann,et al.  Symptomes Classifier Hypotheses Phenomenological Approach to Diagnosis Causality Analysis Causality Model Hypotheses Model-Based Approach to Diagnosis Symptomes Similarity Search Case Database Hypotheses , 2014 .

[35]  Gregory M. Provan,et al.  An Algebraic Approach for Diagnosing Discrete-Time Hybrid Systems , 2018, DX.

[36]  Alexander Feldman,et al.  Solving Strong-Fault Diagnostic Models by Model Relaxation , 2009, IJCAI.

[37]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[38]  Changchun Hua,et al.  Event-Based Dynamic Output Feedback Adaptive Fuzzy Control for Stochastic Nonlinear Systems , 2018, IEEE Transactions on Fuzzy Systems.

[39]  Gregory M. Provan,et al.  Approximate Model-Based Diagnosis Using Greedy Stochastic Search , 2010, J. Artif. Intell. Res..

[40]  Inseok Hwang,et al.  A Survey of Fault Detection, Isolation, and Reconfiguration Methods , 2010, IEEE Transactions on Control Systems Technology.

[41]  Alban Grastien.  Self-Healing as a Combination of Consistency Checks and Conformant Planning Problems , 2015, DX@Safeprocess.