Abstract:In Model-Based Diagnosis (MBD), we concern ourselves with the health and safety of physical and software systems. Although we often use different knowledge representations and algorithms, some tools like satisfiability (SAT) solvers and temporal logics, are used in both domains. In this paper we introduce Finite Trace Next Logic (FTNL) models of sequential circuits and propose an enhanced algorithm for computing minimal-cardinality diagnoses. Existing state-of-the-art satisfiability algorithms for minimal diag… Show more
“…For diagnosis, hybrid systems are modeled using hybrid automata and qualitative fault models [11] or Bayesian networks, that model the dependencies between sensors and faults qualitatively [19]. For solving, Feldman et al [15] presented an enhanced SATbased algorithm to MBD, for that the system and observations are modeled in propositional logic. Borgo et al [9] used automated planning for the optimal control of manufacturing systems.…”
Section: Related Workmentioning
confidence: 99%
“…[13], [17], [18], MBD, e.g. [9], [11], [15], MAS, e.g. [7], [20], [21], I4.0 [24], [26], [31], and ontologies, e.g.…”
Section: Related Workmentioning
confidence: 99%
“…To minimize modeling efforts, our approach also uses a qualitative control model (R1.3). MBD and ontologies rely on logical reasoning enabling intuitive modeling and the use of established solvers [15], [29]. To build on these advantages, our approach uses propositional logic (R1.4).…”
Section: Related Workmentioning
confidence: 99%
“…Hence, given causal graphs and observations, reconfiguration works completely automatically. Propositional logic is used for several reasons: It (1) enables the direct integration of expert knowledge in form of process specifications and domain knowledge due to intuitive modeling [15]; (2) reduces the underlying search space to the relevant configurations, since the logical formula models constraints coming from the CPPS; and (3) allows for fast solving, sacrificing the optimal solution for a quick identification of an arbitrary solution. Since reconfiguration is a search problem, it could also be directly implemented in search.…”
Section: Solution Approachmentioning
confidence: 99%
“…information about causal dependencies in the system, and a binary validity of configurations [6], and (R3.3) enable a direct integration of expert knowledge and intuitive modeling. Propositional logic is used widely for diagnosis [12] and planning [9] since it mimics human reasoning [15]. If it is well suited for reconfiguration of CPPS has not been examined yet.…”
The increasing size and complexity of Cyber-Physical Production Systems (CPPS) lead to an increasing number of faults such as broken components or interrupted connections. Nowadays, faults are handled manually which is time-consuming because for most operators mapping from symptoms (i.e. warnings) to repair instructions is rather difficult. To enable CPPS to adapt to faults autonomously, reconfiguration, i.e. the identification of a new configuration that allows either reestablishing production or a safe shutdown, is necessary. This article addresses the reconfiguration problem of CPPS and presents a novel algorithm called AutoConf. AutoConf operates on a hybrid automaton that models the CPPS and a specification of the controller to construct a qualitative system model. This qualitative system model is based on propositional logic and represents the CPPS in the reconfiguration context. Evaluations on an industrial use case and simulations from process engineering illustrate the effectiveness and examine the scalability of AutoConf.
“…For diagnosis, hybrid systems are modeled using hybrid automata and qualitative fault models [11] or Bayesian networks, that model the dependencies between sensors and faults qualitatively [19]. For solving, Feldman et al [15] presented an enhanced SATbased algorithm to MBD, for that the system and observations are modeled in propositional logic. Borgo et al [9] used automated planning for the optimal control of manufacturing systems.…”
Section: Related Workmentioning
confidence: 99%
“…[13], [17], [18], MBD, e.g. [9], [11], [15], MAS, e.g. [7], [20], [21], I4.0 [24], [26], [31], and ontologies, e.g.…”
Section: Related Workmentioning
confidence: 99%
“…To minimize modeling efforts, our approach also uses a qualitative control model (R1.3). MBD and ontologies rely on logical reasoning enabling intuitive modeling and the use of established solvers [15], [29]. To build on these advantages, our approach uses propositional logic (R1.4).…”
Section: Related Workmentioning
confidence: 99%
“…Hence, given causal graphs and observations, reconfiguration works completely automatically. Propositional logic is used for several reasons: It (1) enables the direct integration of expert knowledge in form of process specifications and domain knowledge due to intuitive modeling [15]; (2) reduces the underlying search space to the relevant configurations, since the logical formula models constraints coming from the CPPS; and (3) allows for fast solving, sacrificing the optimal solution for a quick identification of an arbitrary solution. Since reconfiguration is a search problem, it could also be directly implemented in search.…”
Section: Solution Approachmentioning
confidence: 99%
“…information about causal dependencies in the system, and a binary validity of configurations [6], and (R3.3) enable a direct integration of expert knowledge and intuitive modeling. Propositional logic is used widely for diagnosis [12] and planning [9] since it mimics human reasoning [15]. If it is well suited for reconfiguration of CPPS has not been examined yet.…”
The increasing size and complexity of Cyber-Physical Production Systems (CPPS) lead to an increasing number of faults such as broken components or interrupted connections. Nowadays, faults are handled manually which is time-consuming because for most operators mapping from symptoms (i.e. warnings) to repair instructions is rather difficult. To enable CPPS to adapt to faults autonomously, reconfiguration, i.e. the identification of a new configuration that allows either reestablishing production or a safe shutdown, is necessary. This article addresses the reconfiguration problem of CPPS and presents a novel algorithm called AutoConf. AutoConf operates on a hybrid automaton that models the CPPS and a specification of the controller to construct a qualitative system model. This qualitative system model is based on propositional logic and represents the CPPS in the reconfiguration context. Evaluations on an industrial use case and simulations from process engineering illustrate the effectiveness and examine the scalability of AutoConf.
Answer Set Planning refers to the use of Answer Set Programming (ASP) to compute plans, that is, solutions to planning problems, that transform a given state of the world to another state. The development of efficient and scalable answer set solvers has provided a significant boost to the development of ASP-based planning systems. This paper surveys the progress made during the last two and a half decades in the area of answer set planning, from its foundations to its use in challenging planning domains. The survey explores the advantages and disadvantages of answer set planning. It also discusses typical applications of answer set planning and presents a set of challenges for future research.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.