论文标题
在SCLTL约束下部分观察到的部分离散事件系统的允许主管在线合成
On-Line Synthesis of Permissive Supervisors for Partially Observed Discrete Event Systems under scLTL Constraints
论文作者
论文摘要
我们考虑在部分观察下的离散事件系统（DES）的监督控制问题，其中控制规范由线性时间逻辑的片段给出。我们设计了一个在线主管，该主管使用DES的产品自动机的完整信息和规范的受体动态计算其控制动作。可控性和可观察性的概念是通过在产品自动机上定义的排名函数来定义的，如果接近产品自动机的接收状态，该函数会降低其值。所提出的在线控制方案利用排名函数和宽容函数，代表了时间变化的允许水平。结果，如果产品自动机是可控制的且可观察的，那么在线主管就会实现规格，意识到其允许和接受规范之间的权衡。
We consider a supervisory control problem of a discrete event system (DES) under partial observation, where a control specification is given by a fragment of linear temporal logic. We design an on-line supervisor that dynamically computes its control action with the complete information of the product automaton of the DES and an acceptor for the specification. The concepts of controllability and observability are defined by means of a ranking function defined on the product automaton, which decreases its value if an accepting state of the product automaton is being approached. The proposed on-line control scheme leverages the ranking function and a permissiveness function, which represents a time-varying permissiveness level. As a result, the on-line supervisor achieves the specification, being aware of the tradeoff between its permissiveness and acceptance of the specification, if the product automaton is controllable and observable.
