A model abstraction method for networked discrete-event systems
A model abstraction method for networked discrete-event systems
复制标题
DOI：
10.23919/ecc.2019.8795958
复制
发表时间：
2019-06
期刊：
影响因子：
--
通讯作者：
M. Zgorzelski;J. Lunze
中科院分区：
文献类型：
--
作者：
M. Zgorzelski;J. Lunze
网络化离散事件系统由利用数字通信解决协同控制任务的自治子系统组成。每个子系统由连接到网络单元的本地代理组成，网络单元包括同步单元和决策单元。本文介绍了一个同步单元，使本地代理自动达到目标状态（跟踪控制），并与其他子系统执行同步状态转换。对于决策单元的设计，本文提出了一种组合抽象方法的网络化离散事件系统，以获得一个简化的模型，描述了由同步状态转换定义的子系统的合作行为。如果同步状态转换的序列出现在子系统的状态轨迹上进入其目标状态，则决策单元必须调整状态轨迹以执行这些同步状态转换的无死锁顺序。由于决策单元只具有局部模型信息，因此它们彼此之间交换它们的简化抽象模型，以局部地组成抽象的总体模型。证明了在该组合抽象模型中，每个局部决策单元都可以将同步状态转换的执行顺序确定为状态序列。
Networked discrete-event systems consist of autonomous subsystems that utilise digital communication for solving cooperative control tasks. Each subsystem is composed of a local agent connected to a network unit, which comprise a synchronisation unit and a decision unit. This paper introduces a synchronisation unit that enables the local agents to reach target states autonomously (tracking control) and to execute synchronous state transitions with other subsystems. For designing the decision units, this paper proposes a compositional abstraction method for networked discrete-event systems to obtain a reduced model that describes the cooperative behaviour of the subsystems defined by the synchronous state transitions. If a sequence of synchronous state transitions appears on the subsystem's state trajectory into its target state, then the decision units have to adapt the state trajectory to execute a deadlock-free order of these synchronous state transitions. As the decision units have only local model information, they exchange their reduced abstracted models among each other to locally compose the abstracted overall model. It is proved that each local decision unit can determine the desired execution order of synchronous state transitions as a state sequence in this composed abstracted model.