arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2409.14902eess.SYcs.SYmath.OC
收藏

分层控制架构的契约理论

A Contract Theory for Layered Control Architectures

Manuel Mazo, Will Compton, Max H. Cohen, Aaron D. Ames

AI总结:

本文提出了一种基于关系理论的分层控制架构契约理论,通过定义层间接口和隔离各层设计,实现了对分层混合系统的组合化分析与全系统规范保证。

摘要:

自主系统通常利用分层控制架构,结合在不同时间尺度上运行的离散和连续模型。因此,分层系统构成了一类新型混合系统,由在多种连续和离散信号上运行的系统组成。本文通过各层之间的关系理论,形式化了分层(层次)控制架构的概念。该理论使我们能够在分层控制系统中制定契约——这些契约定义了各层之间的接口,并隔离了每一层的设计,从而保证在每一层组合契约的结果能够生成一个捕获期望的全系统规范的契约。因此,所提出的理论能够通过组合化方法来分析分层控制架构。

英文摘要:

Autonomous systems typically leverage layered control architectures with a combination of discrete and continuous models operating at different timescales. As a result, layered systems form a new class of hybrid systems composed of systems operating on a diverse set of continuous and discrete signals. This paper formalizes the notion of a layered (hierarchical) control architecture through a theory of relations between its layers. This theory enables us to formulate contracts within layered control systems -- these define interfaces between layers and isolate the design of each layer, guaranteeing that composition of contracts at each layer results in a contract capturing the desired system-wide specification. Thus, the proposed theory yields the ability to analyze layered control architectures via a compositional approach.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑