摘要
Rajeev Alur、Thomas A Henzinger和Orna Kupferman。 2002.交替时间-时间逻辑。 美国医学会杂志 49, 5 (2002), 672--713. 谷歌学者 数字图书馆 Jean-Pierre Aubin和Hélène Frankowska。 2009 集值分析。 施普林格科技与商业媒体。 谷歌学者 安德烈亚·比索菲(Andrea Bisoff)和迪莫斯·V·迪马罗戈纳斯(Dimos V Dimarogonas)。 2018年。满足线性时序逻辑规范的混合屏障证书方法。 在 2018年美国控制年会(ACC)。 IEEE,634--639。 谷歌学者 交叉引用 Edmund M Clarke Jr、Orna Grumberg、Daniel Kroening、Doron Peled和Helmut Veith。 2018 模型检查。 麻省理工学院出版社。 谷歌学者 数字图书馆 辛迪·艾斯纳(Cindy Eisner)、达娜·菲斯曼(Dana Fisman)和约翰·哈夫利切克(John Havlicek)。 2005.弱点的拓扑特征。 在 第二十四届ACM分布式计算原理研讨会论文集。 1--8. 谷歌学者 数字图书馆 乔治奥斯·费内科斯(Georgios E Fainekos)、安托万·吉拉德(Antoine Girard)、哈达斯·克雷斯·加济特(Hadas Kress-Gazit)和乔治·帕帕斯(George J Pappas)。 2009.动态机器人的时序逻辑运动规划。 Automatica公司 45, 2 (2009), 343--352. 谷歌学者 数字图书馆 安托万·吉拉德(Antoine Girard)和乔治·J·帕帕斯(George J Pappas)。 2006.使用模拟进行验证。 在 混合系统国际研讨会:计算与控制。 施普林格,272-286。 谷歌学者 数字图书馆 Rafal Goebel、Ricardo G Sanfelice和Andrew R Teel。 2012 混合动力系统:建模、稳定性和鲁棒性。 普林斯顿大学出版社。 谷歌学者 Hyejin Han和Ricardo G Sanfelice。 混合动力系统的线性时序逻辑:特征和充分条件。 非线性分析:混合系统 36(2020),100865。 谷歌学者 交叉引用 杰拉德·J·霍尔兹曼。 1997.模型检查器SPIN。 IEEE软件工程汇刊 23, 5 (1997), 279--295. 谷歌学者 数字图书馆 Sertac Karaman、Ricardo G Sanfelice和Emilio Frazzoli。 具有线性时序逻辑规范的混合逻辑动态系统的最优控制。 在 2008年第47届IEEE决策与控制会议。 IEEE,2117--2122。 谷歌学者 交叉引用 哈桑·卡利勒。 2002 非线性系统 (第三版)。 普伦蒂斯大厅。 谷歌学者 马吕斯·克劳泽和卡林·贝尔塔。 2008.一个用于从时间逻辑规范控制线性系统的完全自动化框架。 IEEE传输。 自动化。 控制 53, 1 (2008), 287--297. 谷歌学者 交叉引用 罗恩·科曼斯。 1990.使用度量时态逻辑指定实时属性。 实时系统 2, 4 (1990), 255--299. 谷歌学者 YoungMin Kwon和Gul Agha。 LTLC:用于控制的线性时序逻辑。 混合系统:计算与控制 (2008), 316--329. 谷歌学者 Gangaram S Ladde和S Leela。 1972.不变集分析。 Annali di Matematica Pura ed申请人 94, 1 (1972), 283--289. 谷歌学者 Mohamed Maghenem和Ricardo G Sanfelice。 2019.非线性系统安全性和条件不变性的表征。 在 2019年美国控制会议(ACC)。 5039--5044. 谷歌学者 Mohamed Maghenem和Ricardo G Sanfelice。 2019.通过屏障功能表征混杂夹杂物的安全性。 在 第22届ACM混合系统国际会议论文集:计算与控制(HSCC)。 109--118. 谷歌学者 数字图书馆 Mohamed Maghenem和Ricardo G Sanfelice。 2019.使用势垒函数的混合包裹体的前向不变性和收缩性的充分条件。 arXiv预印本:1908.03980 (2019). 谷歌学者 奥德·马勒(Oded Maler)、佐哈尔·曼纳(Zohar Manna)和阿米尔·普努利(Amir Pnueli)。 1991年,毕业舞会采用混合系统。 在 REX项目(并行系统研究与教育)研讨会/学校/研讨会。 施普林格,447-484。 谷歌学者 Jens Oehlerking、Henning Burchart和Oliver Theel。 2007.分段仿射系统的全自动稳定性验证。 在 混合系统国际研讨会:计算与控制。 施普林格,741-745。 谷歌学者 交叉引用 尼尔·皮特曼和阿米尔·普努利。 时间逻辑和公平离散系统。 在 模型检查手册。 施普林格,27-73。 谷歌学者 阿米尔·普努利。 1977.程序的时序逻辑。 在 第18届计算机科学基础年度研讨会(sfcs 1977)。 IEEE,46-57。 谷歌学者 数字图书馆 斯蒂芬·普拉纳(Stephen Prajna)和阿里·贾巴比(Ali Jadbabaie)。 2004年。使用屏障证书对混合系统进行安全验证。 在 混合系统国际研讨会:计算与控制。 施普林格,477--492。 谷歌学者 交叉引用 瓦苏马提·拉曼(Vasumathi Raman)、亚历山大·唐泽(Alexandre Donzé)、多尔萨·萨迪格(Dorsa Sadigh)、理查德·穆雷(Richard M Murray)和桑吉特·塞希亚(Sanjit A Seshia)。 2015.信号时序逻辑规范的反应合成。 在 第18届混合系统国际会议论文集:计算与控制。 239--248. 谷歌学者 数字图书馆 Sayan Saha和A Agung Julius。 2016.基于度量时态逻辑规范的实时最优控制器综合的MILP方法。 在 2016年美国管制会议(ACC)。 IEEE,1105--1110。 谷歌学者 交叉引用 里卡多·桑费利斯(Ricardo G.Sanfelice)。 2015 网络物理系统的分析与设计:一种混合控制系统方法。 CRC出版社,3--31。 谷歌学者 交叉引用 JG Thistle和WM Wonham。 1986.时序逻辑框架中的控制问题。 内部。 J.控制 44, 4 (1986), 943--976. 谷歌学者 交叉引用 Jana Tumova和Dimos V Dimarogonas。 2016。根据本地LTL规范和基于事件的同步进行多代理规划。 Automatica公司 70 (2016), 239--248. 谷歌学者 数字图书馆 Eric M Wolff、Ufuk Topcu和Richard M Murray。 2014.基于优化的轨迹生成,具有线性时序逻辑规范。 在 机器人与自动化(ICRA),2014年。 IEEE,5319-5325。 谷歌学者 交叉引用 Tichakorn Wongpiromsarn、Ufuk Topcu和Richard M Murray。 2010.时序逻辑规范的衰退期控制。 在 第13届ACM混合系统国际会议论文集:计算和控制。 101--110. 谷歌学者 数字图书馆
建议
半算子和Mayor聚集算子之间的分布性 分配性问题是在四十多年前首次提出的,并且已经对某些运算家族进行了研究,例如t-范数、t-conorms、uniforms和nullnormals。 本文以市长为研究对象,进一步探讨了这一问题。。。 构造广义加权平均和OWA算子的基于Choquet积分的算子 提出了一类新的聚集算子来推广加权平均和OWA算子。 SUOWA运算符是使用Choquet积分定义的。 这些算子是连续的、单调的、幂等的、补偿的和1次齐次的。。。