离散事件系统模块化控制中最大许可性的统一方法
系统与控制
2019-05-14 v3
摘要
本文提出一种离散事件系统模块化控制中最大许可性的统一方法。其基于模块化闭环的三个重要概念：单调性、分配性与可交换性。当所考虑的性质在语言并下保持时，本文所考虑的满足给定性质的各种闭环的单调性成立。若局部工厂的逆投影相对于彼此满足给定性质，则分配性成立。在新结果中，提出了分布式计算极大相对可观测子语言的充分条件。
引用
@article{arxiv.1903.04389,
title = {A Uniform Approach to Maximal Permissiveness in Modular Control of Discrete-Event Systems},
author = {Jan Komenda and Feng Lin and Jan H. van Schuppen},
journal= {arXiv preprint arXiv:1903.04389},
year = {2019}
}
备注
A shorter (8 page) version is submitted to the 2019 IEEE CDC Conference, Nice, France