当前位置: X-MOL 学术Discrete Event Dyn. Syst. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Optimal Modular Control of Discrete Event Systems with Distinguishers and Approximations
Discrete Event Dynamic Systems ( IF 2 ) Pub Date : 2021-08-09 , DOI: 10.1007/s10626-021-00345-1
Robi Malik 1 , Marcelo Teixeira 2
Affiliation  

This paper proposes algorithms for supervisor synthesis in discrete event system models with distinguishers. Distinguishers are special components responsible to select an enabled event from a group of related refined events. They are a helpful modelling tool, but their use increases the state space and makes supervisor synthesis more difficult. The paper shows how general algorithms for modular or compositional synthesis can be enhanced by considering the special properties of distinguishers. This gives rise to systematic algorithms that compute least restrictive controllable and nonblocking supervisors, while working with only a part of the distinguisher model. A worked case study of a bottling plant demonstrates the efficacy of the approach.



中文翻译:

具有鉴别器和近似值的离散事件系统的最优模块化控制

本文提出了具有区分器的离散事件系统模型中监督者合成的算法。区分器是负责从一组相关的细化事件中选择启用的事件的特殊组件。它们是一种有用的建模工具,但它们的使用增加了状态空间并使监督者综合更加困难。该论文展示了如何通过考虑区分符的特殊属性来增强模块化或组合合成的通用算法。这产生了计算限制最少的可控和非阻塞监督器的系统算法,同时仅使用区分器模型的一部分。一个装瓶厂的工作案例研究证明了该方法的有效性。

更新日期:2021-08-09
down
wechat
bug