Algebraic calculation for safety synthesis of networked logical finite state machines

IF 2.6 3区计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS

European Journal of Control Pub Date : 2025-09-20 DOI:10.1016/j.ejcon.2025.101386

Zhipeng Zhang , Aocheng Wang , Haitao Li , Chengyi Xia

引用次数: 0

Abstract

This paper investigates the safety synthesis problem of networked logical finite state machines with bounded communication delays in observation and control channels using the semi-tensor product (STP) of matrices. First, algebraic formulations for networked state estimation and state prediction are constructed. By defining a set of critical states that may transition to illegal states through observable events under communication delays, a more refined algorithm for state evolution is proposed. Then, based on the concept of minimal constraints, necessary and sufficient algebraic conditions are derived for the existence of a networked supervisor that satisfies the given safety specifications. The proposed method exhibits polynomial time complexity. Finally, the theoretical results are validated through an illustrative example.

查看原文本刊更多论文

网络逻辑有限状态机安全综合的代数计算

利用矩阵的半张量积研究了具有有限通信延迟的网络逻辑有限状态机在观察和控制信道中的安全综合问题。首先，构造了网络状态估计和状态预测的代数表达式。通过定义一组临界状态，在通信延迟条件下，这些临界状态可能通过可观察事件转变为非法状态，提出了一种更精细的状态演化算法。然后，基于最小约束的概念，导出了满足给定安全规范的网络监督存在的充分必要代数条件。该方法具有多项式时间复杂度。最后，通过实例对理论结果进行了验证。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

European Journal of Control 工程技术-自动化与控制系统

CiteScore

5.80

自引率

5.90%

发文量

131

审稿时长

1 months

期刊介绍： The European Control Association (EUCA) has among its objectives to promote the development of the discipline. Apart from the European Control Conferences, the European Journal of Control is the Association''s main channel for the dissemination of important contributions in the field. The aim of the Journal is to publish high quality papers on the theory and practice of control and systems engineering. The scope of the Journal will be wide and cover all aspects of the discipline including methodologies, techniques and applications. Research in control and systems engineering is necessary to develop new concepts and tools which enhance our understanding and improve our ability to design and implement high performance control systems. Submitted papers should stress the practical motivations and relevance of their results. The design and implementation of a successful control system requires the use of a range of techniques: Modelling Robustness Analysis Identification Optimization Control Law Design Numerical analysis Fault Detection, and so on.