×

通过平方和分析具有碰撞和摩擦的刚体系统的李雅普诺夫分析。 (英语) Zbl 1364.70020号

2013年4月8日至11日,美国宾夕法尼亚州费城,2013年HSCC,第16届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1567-8)。63-72 (2013).

MSC公司:

70E60型 机器人动力学与刚体控制
68T40型 机器人人工智能
93D20型 控制理论中的渐近稳定性
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。