-
Coordination Control of Discrete Event Systems under Cyber Attacks
Authors:
Fei Wang,
Jan Komenda,
Feng Lin
Abstract:
This paper investigates the coordination control of discrete event systems in the presence of combined sensor and actuator attacks. Discrete event systems are modeled as automata, and sensor attacks are defined using specific attack languages. The approach involves employing multiple local supervisors to control the system. The primary objective is to devise these local supervisors to ensure the s…
▽ More
This paper investigates the coordination control of discrete event systems in the presence of combined sensor and actuator attacks. Discrete event systems are modeled as automata, and sensor attacks are defined using specific attack languages. The approach involves employing multiple local supervisors to control the system. The primary objective is to devise these local supervisors to ensure the system's safety, even when facing sensor and actuator attacks. The paper establishes the necessary and sufficient conditions for the existence of such supervisors in terms of conditional decomposability, CA-controllability, and CA-observability. Furthermore, a methodology is developed to compute local state estimates when sensor attacks occur. Based on the local state estimates, local supervisors are designed to ensure the safety of a system even under cyber attacks.
△ Less
Submitted 21 September, 2023;
originally announced September 2023.
-
Switched max-plus linear-dual inequalities: cycle time analysis and applications
Authors:
Davide Zorzenon,
Jan Komenda,
Jörg Raisch
Abstract:
P-time event graphs are discrete event systems suitable for modeling processes in which tasks must be executed in predefined time windows. Their dynamics can be represented by max-plus linear-dual inequalities (LDIs), i.e., systems of linear dynamical inequalities in the primal and dual operations of the max-plus algebra. We define a new class of models called switched LDIs (SLDIs), which allow to…
▽ More
P-time event graphs are discrete event systems suitable for modeling processes in which tasks must be executed in predefined time windows. Their dynamics can be represented by max-plus linear-dual inequalities (LDIs), i.e., systems of linear dynamical inequalities in the primal and dual operations of the max-plus algebra. We define a new class of models called switched LDIs (SLDIs), which allow to switch between different modes of operation, each corresponding to a set of LDIs, according to a sequence of modes called schedule. In this paper, we focus on the analysis of SLDIs when the considered schedule is fixed and either periodic or intermittently periodic. We show that SLDIs can model a wide range of applications including single-robot multi-product processing networks, in which every product has different processing requirements and corresponds to a specific mode of operation. Based on the analysis of SLDIs, we propose algorithms to compute: i. minimum and maximum cycle times for these processes, improving the time complexity of other existing approaches; ii. a complete trajectory of the robot including start-up and shut-down transients.
△ Less
Submitted 22 September, 2023; v1 submitted 4 May, 2023;
originally announced May 2023.
-
Switched Max-Plus Linear-Dual Inequalities: Application in Scheduling of Multi-Product Processing Networks
Authors:
Davide Zorzenon,
Jan Komenda,
Jörg Raisch
Abstract:
P-time event graphs are discrete event systems suitable for modeling processes in which tasks must be executed in predefined time windows. Their dynamics can be represented by systems of linear dynamical inequalities in the max-plus algebra and its dual, the min-plus algebra, referred to as max-plus linear-dual inequalities (LDIs). We define a new class of models called switched LDIs (SLDIs), whic…
▽ More
P-time event graphs are discrete event systems suitable for modeling processes in which tasks must be executed in predefined time windows. Their dynamics can be represented by systems of linear dynamical inequalities in the max-plus algebra and its dual, the min-plus algebra, referred to as max-plus linear-dual inequalities (LDIs). We define a new class of models called switched LDIs (SLDIs), which allow to switch between different modes of operations, each corresponding to an LDI, according to an infinite sequence of modes called schedule. In this paper, we focus on the analysis of SLDIs when the schedule is fixed and periodic. We show that SLDIs can model single-robot multi-product processing networks, in which every product has different processing requirements and corresponds to a specific mode of operation. Based on the analysis of SLDIs, we propose an algorithm to compute minimum and maximum cycle times for these processes that improves the time complexity of other existing approaches.
△ Less
Submitted 3 April, 2022;
originally announced April 2022.
-
Hierarchical Supervisory Control under Partial Observation: Normality
Authors:
Jan Komenda,
Tomáš Masopust
Abstract:
Conditions preserving observability of specifications between the plant and its abstraction are essential for hierarchical supervisory control of discrete-event systems under partial observation. Observation consistency and local observation consistency were identified as such conditions. To preserve normality, only observation consistency is required. Although observation consistency preserves no…
▽ More
Conditions preserving observability of specifications between the plant and its abstraction are essential for hierarchical supervisory control of discrete-event systems under partial observation. Observation consistency and local observation consistency were identified as such conditions. To preserve normality, only observation consistency is required. Although observation consistency preserves normality between the levels for normal specifications, for specifications that are not normal, observation consistency is insufficient to guarantee that the supremal normal sublanguage computed on the low level and on the high level coincide. We define modified observation consistency, under which the supremal normal sublanguages of different levels coincide. We show that the verification of (modified) observation consistency is PSPACE-hard for finite automata and undecidable for slightly more expressive models than finite automata. Decidability of (modified) observation consistency is an open problem. Hence we further discuss two stronger conditions that are easy to verify. Finally, we illustrate the conditions on an example of a railroad controller and on a case study of a part of an MRI scanner.
△ Less
Submitted 24 February, 2023; v1 submitted 2 March, 2022;
originally announced March 2022.
-
Supervisory Control of Multi-Agent Discrete-Event Systems with Partial Observation
Authors:
Yingying Liu,
Jan Komenda,
Zhiwu Li
Abstract:
In this paper we investigate multi-agent discrete-event systems with partial observation. The agents can be divided into several groups in each of which the agents have similar (isomorphic) state transition structures, and thus can be relabeled into the same template. Based on the template a scalable supervisor whose state size and computational cost are independent of the number of agents is desi…
▽ More
In this paper we investigate multi-agent discrete-event systems with partial observation. The agents can be divided into several groups in each of which the agents have similar (isomorphic) state transition structures, and thus can be relabeled into the same template. Based on the template a scalable supervisor whose state size and computational cost are independent of the number of agents is designed for the case of partial observation. The scalable supervisor under partial observation does not need to be recomputed regardless of how many agents are added to or removed from the system. We generalize our earlier results to partial observation by proposing sufficient conditions for safety and maximal permissiveness of the scalable least restrictive supervisor on the template level. An example is provided to illustrate the proposed scalable supervisory synthesis.
△ Less
Submitted 19 March, 2021;
originally announced March 2021.
-
Periodic trajectories in P-time event graphs and the non-positive circuit weight problem
Authors:
Davide Zorzenon,
Jan Komenda,
Joerg Raisch
Abstract:
P-time event graphs (P-TEGs) are specific timed discrete-event systems, in which the timing of events is constrained by intervals. An important problem is to check, for all natural numbers $d$, the existence of consistent $d$-periodic trajectories for a given P-TEG. In graph theory, the Proportional-Inverse-Constant-Non-positive Circuit weight Problem (PIC-NCP) consists in finding all the values o…
▽ More
P-time event graphs (P-TEGs) are specific timed discrete-event systems, in which the timing of events is constrained by intervals. An important problem is to check, for all natural numbers $d$, the existence of consistent $d$-periodic trajectories for a given P-TEG. In graph theory, the Proportional-Inverse-Constant-Non-positive Circuit weight Problem (PIC-NCP) consists in finding all the values of a parameter such that a particular parametric weighted directed graph does not contain circuits with positive weight. In a related paper, we have proposed a strongly polynomial algorithm that solves the PIC-NCP in lower worst-case complexity compared to other algorithms reported in literature. In the present paper, we show that the first problem can be formulated as an instance of the second; consequently, we prove that the same algorithm can be used to find $d$-periodic trajectories in P-TEGs. Moreover, exploiting the connection between the PIC-NCP and max-plus algebra we prove that, given a P-TEG, the existence of a consistent 1-periodic trajectory of a certain period is a necessary and sufficient condition for the existence of a consistent $d$-periodic trajectory of the same period, for any value of $d$.
△ Less
Submitted 7 June, 2021; v1 submitted 26 February, 2021;
originally announced March 2021.
-
The non-positive circuit weight problem in parametric graphs: a solution based on dioid theory
Authors:
Davide Zorzenon,
Jan Komenda,
Joerg Raisch
Abstract:
Let us consider a parametric weighted directed graph in which every arc $(j,i)$ has weight of the form $w((j,i))=\max(P_{ij}+λ,I_{ij}-λ,C_{ij})$, where $λ$ is a real parameter and $P$, $I$ and $C$ are arbitrary square matrices with elements in $\mathbb{R}\cup\{-\infty\}$. In this paper, we design an algorithm that solves the Non-positive Circuit weight Problem (NCP) on this class of parametric gra…
▽ More
Let us consider a parametric weighted directed graph in which every arc $(j,i)$ has weight of the form $w((j,i))=\max(P_{ij}+λ,I_{ij}-λ,C_{ij})$, where $λ$ is a real parameter and $P$, $I$ and $C$ are arbitrary square matrices with elements in $\mathbb{R}\cup\{-\infty\}$. In this paper, we design an algorithm that solves the Non-positive Circuit weight Problem (NCP) on this class of parametric graphs, which consists in finding all values of $λ$ such that the graph does not contain circuits with positive weight. This problem, which generalizes other instances of the NCP previously investigated in the literature, has applications in the consistency analysis of a class of discrete-event systems called P-time event graphs. The proposed algorithm is based on max-plus algebra and formal languages, and improves the worst-case complexity of other existing approaches, achieving strongly polynomial time complexity $\mathcal{O}(n^4)$ (where $n$ is the number of nodes in the graph).
△ Less
Submitted 26 January, 2022; v1 submitted 24 February, 2021;
originally announced February 2021.
-
Analysis of P-time Event Graphs in (Max,+) and (Min,+) Algebras
Authors:
Pavel Špaček,
Jan Komenda,
Sébastien Lahaye
Abstract:
In this work we investigate the behavior of P-time event graphs, a class of time Petri nets with nondeterministic timing of places. Our approach is based on combined linear descriptions in both (max,+) and (min,+) semirings, where lower bounds on the state vector are (max,+)-linear and upper bounds are (min,+)-linear. We present necessary and sufficient conditions for the existence of extremal (fa…
▽ More
In this work we investigate the behavior of P-time event graphs, a class of time Petri nets with nondeterministic timing of places. Our approach is based on combined linear descriptions in both (max,+) and (min,+) semirings, where lower bounds on the state vector are (max,+)-linear and upper bounds are (min,+)-linear. We present necessary and sufficient conditions for the existence of extremal (fastest and slowest) periodic trajectories that are derived from the new description. The results are illustrated by a realistic example of an electroplating process.
△ Less
Submitted 10 March, 2020;
originally announced March 2020.
-
Conditions for Hierarchical Supervisory Control under Partial Observation
Authors:
Jan Komenda,
Tomáš Masopust
Abstract:
The fundamental problem in hierarchical supervisory control under partial observation is to find conditions preserving observability between the original (low-level) and the abstracted (high-level) plants. Two conditions for observable specifications were identified in the literature -- observation consistency (OC) and local observation consistency (LOC). However, the decidability of OC and LOC we…
▽ More
The fundamental problem in hierarchical supervisory control under partial observation is to find conditions preserving observability between the original (low-level) and the abstracted (high-level) plants. Two conditions for observable specifications were identified in the literature -- observation consistency (OC) and local observation consistency (LOC). However, the decidability of OC and LOC were left open. We show that both OC and LOC are decidable for regular systems. We further show that these conditions do not guarantee that supremal (normal or relatively observable) sublanguages computed on the low level and on the high level always coincide. To solve the issue, we suggest a new condition -- modified observation consistency -- and show that under this condition, the supremal normal sublanguages are preserved between the levels, while the supremal relatively observable high-level sublanguage is at least as good as the supremal relatively observable low-level sublanguage, i.e., the high-level solution may be even better than the low-level solution.
△ Less
Submitted 10 March, 2023; v1 submitted 16 December, 2019;
originally announced December 2019.
-
A Uniform Approach to Maximal Permissiveness in Modular Control of Discrete-Event Systems
Authors:
Jan Komenda,
Feng Lin,
Jan H. van Schuppen
Abstract:
In this paper, a uniform approach to maximal permissiveness in modular control of discrete-event systems is proposed. It is based on three important concepts of modular closed-loops: monotonicity, distributivity, and exchangeability. Monotonicity of various closed-loops satisfying a given property considered in this paper holds whenever the underlying property is preserved under language unions. D…
▽ More
In this paper, a uniform approach to maximal permissiveness in modular control of discrete-event systems is proposed. It is based on three important concepts of modular closed-loops: monotonicity, distributivity, and exchangeability. Monotonicity of various closed-loops satisfying a given property considered in this paper holds whenever the underlying property is preserved under language unions. Distributivity holds if the inverse projections of local plants satisfy the given property with respect to each other. Among new results, sufficient conditions are proposed for distributed computation of supremal relatively observable sublanguages.
△ Less
Submitted 13 May, 2019; v1 submitted 11 March, 2019;
originally announced March 2019.
-
Maximally Permissive Coordination Supervisory Control -- Towards Necessary and Sufficient Conditions
Authors:
Jan Komenda,
Tomáš Masopust,
Jan H. van Schuppen
Abstract:
In this paper, we further develop the coordination control framework for discrete-event systems with both complete and partial observation. A new weaker sufficient condition for the computation of the supremal conditionally controllable sublanguage is presented. This result is then used for the computation of the supremal conditionally controllable and conditionally normal sublanguage. The paper f…
▽ More
In this paper, we further develop the coordination control framework for discrete-event systems with both complete and partial observation. A new weaker sufficient condition for the computation of the supremal conditionally controllable sublanguage is presented. This result is then used for the computation of the supremal conditionally controllable and conditionally normal sublanguage. The paper further generalizes the previous study by considering general, non-prefix-closed languages.
△ Less
Submitted 19 March, 2014;
originally announced March 2014.
-
On Conditional Decomposability
Authors:
Jan Komenda,
Tomáš Masopust,
Jan H. van Schuppen
Abstract:
The requirement of a language to be conditionally decomposable is imposed on a specification language in the coordination supervisory control framework of discrete-event systems. In this paper, we present a polynomial-time algorithm for the verification whether a language is conditionally decomposable with respect to given alphabets. Moreover, we also present a polynomial-time algorithm to extend…
▽ More
The requirement of a language to be conditionally decomposable is imposed on a specification language in the coordination supervisory control framework of discrete-event systems. In this paper, we present a polynomial-time algorithm for the verification whether a language is conditionally decomposable with respect to given alphabets. Moreover, we also present a polynomial-time algorithm to extend the common alphabet so that the language becomes conditionally decomposable. A relationship of conditional decomposability to nonblockingness of modular discrete-event systems is also discussed in this paper in the general settings. It is shown that conditional decomposability is a weaker condition than nonblockingness.
△ Less
Submitted 19 December, 2014; v1 submitted 9 January, 2012;
originally announced January 2012.
