-
A Uniform Approach to Compare Architectures in Decentralized Discrete-Event Systems
Authors:
K. Ritsuka,
Karen Rudie
Abstract:
Solutions to decentralized discrete-event systems problems are characterized by the way local decisions are fused to yield a global decision. A fusion rule is colloquially called an architecture. Current approaches do not provide a direct way to compare existing architectures. Determining whether an architecture is more permissive than another architecture had relied on producing examples ad hoc a…
▽ More
Solutions to decentralized discrete-event systems problems are characterized by the way local decisions are fused to yield a global decision. A fusion rule is colloquially called an architecture. Current approaches do not provide a direct way to compare existing architectures. Determining whether an architecture is more permissive than another architecture had relied on producing examples ad hoc and on individual inspiration that puts the conditions for solvability in each architecture into some form that admits comparison. In response to these research efforts, a method based on morphisms between graphs has been extracted to yield a uniform approach to compare the permissiveness of the architectures.
△ Less
Submitted 25 December, 2023; v1 submitted 29 October, 2022;
originally announced October 2022.
-
Equivalence of Decentralized Observation, Diagnosis, and Control Problems in Discrete-event Systems
Authors:
K. Ritsuka,
Karen Rudie
Abstract:
This paper demonstrates an equivalence between observation problems, control problems (with partial observation), and diagnosis problems of decentralized discrete-event systems, namely, the three classes of problems are Turing equivalent, as one class Turing reduces to another.
The equivalence allows decomposition of a control problem into a collection of simpler control sub\-/problems, which ar…
▽ More
This paper demonstrates an equivalence between observation problems, control problems (with partial observation), and diagnosis problems of decentralized discrete-event systems, namely, the three classes of problems are Turing equivalent, as one class Turing reduces to another.
The equivalence allows decomposition of a control problem into a collection of simpler control sub\-/problems, which are each equivalent to an observation problem; and similarly allows converting a diagnosis problem to a formally simpler observation problem. Since observation problems in their most general formulation have been shown to be undecidable in previous work, the equivalence produced here demonstrates that control problems are also undecidable; whereas the undecidability of diagnosis problems is a known result.
△ Less
Submitted 7 September, 2023; v1 submitted 22 April, 2022;
originally announced April 2022.
-
Do What You Know: Coupling Knowledge with Action in Discrete-Event Systems
Authors:
K. Ritsuka,
Karen Rudie
Abstract:
An epistemic model for decentralized discrete-event systems with non-binary control is presented. This framework combines existing work on conditional control decisions with existing work on formal reasoning about knowledge in discrete-event systems. The novelty in the model presented is that the necessary and sufficient conditions for problem solvability encapsulate the actions that supervisors…
▽ More
An epistemic model for decentralized discrete-event systems with non-binary control is presented. This framework combines existing work on conditional control decisions with existing work on formal reasoning about knowledge in discrete-event systems. The novelty in the model presented is that the necessary and sufficient conditions for problem solvability encapsulate the actions that supervisors must take. This direct coupling between knowledge and action -- in a formalism that mimics natural language -- makes it easier, when the problem conditions fail, to determine how the problem requirements should be revised.
△ Less
Submitted 30 May, 2022; v1 submitted 25 July, 2021;
originally announced August 2021.
