Energy-aware networked control systems under temporal logic specifications
Energy-aware networked control systems under temporal logic specifications
复制标题
时序逻辑规范下的能量感知网络控制系统
DOI：
10.1109/cdc.2018.8618893
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Dimos V. Dimarogonas
中科院分区：
文献类型：
--
作者：
Kazumune Hashimoto;S. Adachi;Dimos V. Dimarogonas
近年来，事件触发控制和自触发控制已被作为能量感知控制策略提出，以延长网络控制系统（NCS）中电池供电设备的使用寿命。与之前以实现稳定性为控制目标的研究不同，本文提出了一种新颖的能量感知控制方案，用于实现高级规范，更确切地说，是时态逻辑规范。受形式化控制综合范式领域中提出的标准分层策略的启发，我们提出了一种新的抽象过程，用于联合综合控制和通信策略，从而保证网络控制系统中的通信减少以及时态逻辑规范的满足。通过一个数值例子说明了该方案的优点。
In recent years, event and self-triggered control have been proposed as energy-aware control strategies to expand the life-time of battery powered devices in Networked Control Systems (NCSs). In contrast to the previous works in which their control objective is to achieve stability, this paper presents a novel energy-aware control scheme for achieving high level specifications, or more specifically, temporal logic specifications. Inspired by the standard hierarchical strategy that has been proposed in the field of formal control synthesis paradigm, we propose a new abstraction procedure for jointly synthesizing control and communication strategies, such that the communication reduction in NCSs and the satisfaction of the temporal logic specifications are guaranteed. The benefits of the proposal are illustrated through a numerical example.