Compositional safety rules for inter-triggering hybrid automata
Compositional safety rules for inter-triggering hybrid automata
复制标题
相互触发混合自动机的组合安全规则
DOI：
10.1145/3447928.3456659
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Ozay, Necmiye
中科院分区：
文献类型：
--
作者：
Rutledge, Kwesi J.;Chou, Glen;Ozay, Necmiye
在本文中，我们提出了一个组合条件，以确保安全的相互作用的系统建模的相互触发的混合自动机（CRAMA）的集合。CASA是一种用于表示多代理系统的建模形式主义，其中每个代理都由单独的动态管理，但也可以通过触发动作与其他代理进行交互。这些触发动作导致根据全局解析函数的其他代理的状态的跳转/重置。受责任敏感安全的启发，集合安全的充分条件分为两部分：与个体动态相关的自我安全和与触发动作相关的责任。该条件依赖于分辨率函数的过近似方法。我们进一步展示了如何通过通信来获得和改进这种过近似。我们使用两个例子，并行处理器上的作业调度任务和高速公路驾驶的例子，整个文件来说明的概念。最后，我们提供了一个全面的评估，建议的条件可以利用多代理控制和监督的例子。
In this paper, we present a compositional condition for ensuring safety of a collection of interacting systems modeled by inter-triggering hybrid automata (ITHA). ITHA is a modeling formalism for representing multi-agent systems in which each agent is governed by individual dynamics but can also interact with other agents through triggering actions. These triggering actions result in a jump/reset in the state of other agents according to a global resolution function. A sufficient condition for safety of the collection, inspired by responsibility-sensitive safety, is developed in two parts: self-safety relating to the individual dynamics, and responsibility relating to the triggering actions. The condition relies on having an over-approximation method for the resolution function. We further show how such over-approximations can be obtained and improved via communication. We use two examples, a job scheduling task on parallel processors and a highway driving example, throughout the paper to illustrate the concepts. Finally, we provide a comprehensive evaluation on how the proposed condition can be leveraged for several multi-agent control and supervision examples.
登录
查看更多内容
相互触发混合自动机：责任敏感安全的形式主义
DOI：
10.1145/3365365.3383470
发表时间：
2020
期刊：
23rd International Conference on Hybrid Systems: Computation and Control (HSCC 2020
影响因子：
--
作者：
Ozay, Necmiye
通讯作者：
Ozay, Necmiye
DOI：
10.1145/3359986.3361203
发表时间：
2019-10
期刊：
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design
影响因子：
--
作者：
Mohammad Hekmatnejad;Shakiba Yaghoubi;Adel Dokhanchi;H. B. Amor;Aviral Shrivastava;Lina Karam;Georgios Fainekos
通讯作者：
Mohammad Hekmatnejad;Shakiba Yaghoubi;Adel Dokhanchi;H. B. Amor;Aviral Shrivastava;Lina Karam;Georgios Fainekos
成分控制综合的相互依赖性量化及其在车辆安全系统中的应用
DOI：
10.1109/cdc.2016.7799145
发表时间：
2016
期刊：
2016 IEEE 55th Conference on Decision and Control (CDC)
影响因子：
--
作者：
Stanley W. Smith;Petter Nilsson;N. Ozay
通讯作者：
N. Ozay
具有输入延迟的离散时间线性系统的受控不变集的可扩展计算
DOI：
10.23919/acc45564.2020.9147731
发表时间：
2020
期刊：
2020 American Control Conference (ACC
影响因子：
--
作者：
Liu, Zexiang;Yang, Liren;Ozay, Necmiye
通讯作者：
Ozay, Necmiye
不完善状态信息的高效安全控制综合
DOI：
--
发表时间：
2020
期刊：
IEEE Conference on Decision and Control
影响因子：
--
作者：
Liren Yang;N. Ozay
通讯作者：
N. Ozay