Modular control of discrete-event systems using similarity

Liu, Yingying; Komenda, Jan; Masopust, Tomáš; Li, Zhiwu

doi:10.1016/j.automatica.2022.110431

Cited by 3 publications

(2 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Among other works related to supervisory control of modular DES, Rohloff and Lafortune [17], Su and Lennartson [30], or Liu et al [31] have modelled multi-agent systems as a modular DES composed of isomorphic modules. The isomorphism of modules allows us to handle the number of agents that can dynamically decrease or increase without even an upper bound.…”

Section: Systems With Partial Observationmentioning

confidence: 99%

Hierarchical Supervisory Control Under Partial Observation: Normality

Komenda

Masopust

2023

IEEE Trans. Automat. Contr.

View full text Add to dashboard Cite

Complex systems are often composed of many small communicating components called modules. We investigate the synthesis of supervisory controllers for modular systems under partial observation that, as the closed-loop system, realize the supremal normal sublanguage of the specification. We call such controllers maximally permissive normal supervisors. The challenge in modular systems is to find conditions under which the global nonblocking and maximally permissive normal supervisor can be achieved locally as the parallel composition of local normal supervisors. We show that a structural concept of hierarchical supervisory control called modified observation consistency (MOC) is such a condition. However, the algorithmic verification of MOC is an open problem, and therefore it is necessary to find easily-verifiable conditions that ensure MOC. We show that the condition that all shared events are observable is such a condition. Considering specifications, we examine both local specifications, where each module has its own specification, and global specifications. We combine our results for normality with the existing results for controllability to locally synthesize the nonblocking and maximally permissive controllable and normal supervisor. Finally, we illustrate the results on an industrial case study of the patient table of an MRI scanner.

show abstract

Section: Systems With Partial Observationmentioning

confidence: 99%

Hierarchical Supervisory Control Under Partial Observation: Normality

Komenda

Masopust

2023

IEEE Trans. Automat. Contr.

View full text Add to dashboard Cite

show abstract

“…Model testing is carried out using the help of MATLAB. Because it uses discrete event simulation [19], [29], it is necessary to first define some of the parameters that will be used in the simulation. These parameters are as follows.…”

Section: Determination Of Values For All Parametersmentioning

confidence: 99%

Delivery service order policy with the sharing economy concept using a discrete event simulation system

Sihotang

2023

Int. J. Ind. Optim.

View full text Add to dashboard Cite

People's lifestyle, especially in shopping, has shifted from offline shopping, such as in supermarkets, traditional markets, stalls, and so on, to online shopping. Therefore, online business (e-commerce) has increased, resulting in a surge in the business potential of freight forwarder companies. When there is an increase in demand for the delivery of goods by sellers to consumers, companies need to make adjustments to improve their performance. This paper proposed the sequence of goods delivery services for XYZ companies by considering dynamic requests and conditions that vary discretely over time. This paper is based on a case company in Bandung, Indonesia. The method employed queuing models and discrete event simulations using hypothetical data with performance criteria to minimize the total cost of shipping goods. Simulations are carried out using one courier and one zone to compare customer service determination algorithms, namely first-come, first-served, proximity, and predictive control models. The simulation results show that the proximity algorithm produces a minimum total cost of Rp 1,785,749, the smallest cost compared to using first-come, first-served and predictive control models, respectively IDR 2,782,389, and IDR 2,639,291. Then, the Annova test was conducted, which provided information that one policy differed significantly from another, and a Turkey test was carried out, showing that the proximity algorithm produces better performance than other algorithms. The contribution of this paper is to present that the delivery service employed by the company provided a minimum total cost.

show abstract

Supervisory Control of Modular Discrete-Event Systems Under Partial Observation: Normality

Komenda,

Masopust

2024

IEEE Trans. Automat. Contr.

View full text Add to dashboard Cite

Modular control of discrete-event systems using similarity

Cited by 3 publications

References 16 publications

Hierarchical Supervisory Control Under Partial Observation: Normality

Hierarchical Supervisory Control Under Partial Observation: Normality

Delivery service order policy with the sharing economy concept using a discrete event simulation system

Supervisory Control of Modular Discrete-Event Systems Under Partial Observation: Normality

Contact Info

Product

Resources

About