迈克尔·波萨;马克·托本金;俄罗斯·特德雷克 通过平方和分析具有碰撞和摩擦的刚体系统的李雅普诺夫分析。 (英语) Zbl 1364.70020号 2013年4月8日至11日,美国宾夕法尼亚州费城,2013年HSCC,第16届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1567-8)。63-72 (2013). 引用于2文件 MSC公司: 70E60型 机器人动力学与刚体控制 68T40型 机器人人工智能 93D20型 控制理论中的渐近稳定性 关键词:李亚普诺夫分析;考虑冲击和摩擦的刚体动力学;稳定性验证;平方和 PDF格式BibTeX公司 XML格式引用 \textit{M.Posa}等人,in:第16届ACM混合系统国际会议论文集:计算与控制,2013年HSCC,美国宾夕法尼亚州费城,2013年4月8-11日。纽约州纽约市:计算机协会(ACM)。63-72(2013年;Zbl 1364.70020) 全文: 内政部 参考文献: [1] C.Baier和J.-P.Katoen。模型检查原则。麻省理工学院出版社,2008年·Zbl 1179.68076号 [2] E.Bartocci、R.Grosu、P.Katsaros、C.R.Ramakrishnan和S.A.Smolka。概率系统的模型修复。在系统构建和分析工具和算法国际会议(TACAS)上,第326 340页。Springer-Verlag,2011年·Zbl 1316.68070号 [3] C.Belta和L.C.G.J.M.Habets。矩形上一类非线性系统的控制。IEEE自动控制汇刊,51(11):1749 17592006·Zbl 1366.93278号 [4] F.Buccafurri、T.Eiter、G.Gottlob和N.Leone。利用人工智能技术加强验证中的模型检查。《人工智能》,112(1-2):57 1041999年·Zbl 0996.68104号 [5] A.Cimatti、M.Roveri、V.Schuppan和A.Tchaltsev。可实现性的诊断信息。《验证、模型检验和抽象解释(VMCAI)国际会议论文集》,第52 67页,柏林,海德堡,2008年。斯普林格·弗拉格·Zbl 1138.68442号 [6] C.Courcoubetis和M.Yannakakis。马尔可夫决策过程和常规事件。IEEE自动控制汇刊,43:1399 14181998·Zbl 0954.90061号 [7] W.Damm和B.Finkbeiner。扩展世界模型的周长值得吗?《形式方法国际研讨会论文集》(FM),第12-26页,柏林,海德堡,2011年。斯普林格·弗拉格。 [8] E.W.迪克斯特拉。关于与图有关的两个问题的注记。数字数学,1:269 2711995·Zbl 0092.16002号 [9] X.C.Ding、S.Smith、C.Belta和D.Rus。时序逻辑约束下的最大偏差最优控制。《IEEE决策与控制会议和欧洲控制会议(CDC-ECC)会议记录》,第532 538页,2011年。 [10] G.E.费内科斯。修改运动规划的时序逻辑规范。2011年IEEE机器人与自动化国际会议(ICRA)论文集。 [11] E.L.Gunter和D.Peled。并发系统的临时调试。在系统构建和分析的工具和算法国际会议(TACAS),第431至444页。Springer-Verlag,2002年·Zbl 1043.68592号 [12] K.豪泽。三个机器人应用程序的最小约束移除问题。《机器人算法基础国际研讨会论文集》,2012年。 [13] 卡拉曼和弗拉佐利。基于采样的具有确定性{\(\mu\)}-微积分规范的最优运动规划。美国控制会议(ACC)会议记录,2012年。 [14] K.Kim和G.Fainekos。规格自动机最小修正问题的近似解。2012年IEEE/RSJ智能机器人和系统国际会议(IROS)会议记录。 [15] K.Kim、G.Fainekos和S.Sankaranarayanan。关于规范自动机的修正问题。2012年IEEE机器人与自动化国际会议(ICRA)论文集。 [16] M.Kloetzer和C.Belta。从时序逻辑规范控制线性系统的全自动框架。IEEE自动控制汇刊,53(1):287 2972008·Zbl 1367.93202号 [17] H.Kress-Gazit、G.E.Fainekos和G.J.Pappas。基于时间逻辑的反应性任务和运动规划。IEEE机器人学报,25(6):1370 13812009。 [18] Z.Manna和A.Pnueli。无功系统的时间验证:安全。斯普林格,1995年。 [19] V.Raman和H.Kress-Gazit。使用ltlmop分析高级机器人行为的不可解释规范。《计算机辅助验证(CAV)国际会议论文集》,第663 668页,2011年。 [20] V.Raman和H.Kress-Gazit。自动反馈无法实现的高级机器人行为。《IEEE机器人与自动化国际会议(ICRA)论文集》,第5156 5162页,2012年。 [21] M.西普瑟。计算理论导论。《课程技术》,2012年第3版·Zbl 1169.68300号 [22] S.L.Smith、J.Tumova、C.Belta和D.Rus。具有时间逻辑约束的监控最优路径规划。国际机器人研究杂志,30(14):1695 17082011。 [23] A.Ulusoy、S.L.Smith、X.C.Ding和C.Belta。具有时间逻辑约束的鲁棒多机器人最优路径规划。《IEEE国际机器人与自动化会议论文集》,第4693页,第46982012页。 [24] M.Y.Vardi和P.Wolper。自动程序验证的自动机理论方法。《计算机科学中的逻辑》,第322、331页,1986年。 [25] T.Wongpiromsarn、U.Topcu和R.M.Murray。时间逻辑规范的衰减范围控制。混合系统:计算与控制(HSCC),第101 110页,2010年·Zbl 1360.68605号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。