摘要
P.Tabuada和G.J.Pappas。 “离散时间线性系统的线性时间逻辑控制”。 参见：IEEE TAC 51（2006），第1862-1877页。 谷歌学者 
A.Abate等人，“随机混合系统可达性分析的计算方法”。 输入：HSCC。 施普林格，2007年，第4-17页。 {3} M.Kloetzer和C.Belta。 “根据时序逻辑规范控制线性系统的全自动框架”。 参见：IEEE TAC 53（2008），第287--297页。 谷歌学者 数字图书馆 
P.塔布阿达。 混合系统的验证和控制{符号方法。Springer，2009年。 谷歌学者 数字图书馆 G.E.Fainekos等人，《动态机器人的时序逻辑运动规划》。 收录于：Automatica 45（2009），第343-352页。 谷歌学者 数字图书馆 G.雷（G.Reißig）。 “计算非线性系统的抽象”。 参见：IEEE TAC 56（2011），第2583-2598页。 谷歌学者 A.吉拉德。 “通过近似互模拟实现安全性和可达性的控制器综合”。 收录于：Automatica 48（2012），第947--953页。 谷歌学者 数字图书馆 T.Wongpiromsarn、U.Topcu和R.M.Murray。 “衰退期时间逻辑规划”。 参见：IEEE TAC 57（2012），第2817-2830页。 谷歌学者 M.Zamani等人，《无稳定性假设的非线性控制系统的符号模型》。 参见：IEEE TAC 57（2012），第1804-1809页。 谷歌学者 B.Yordanov等人，“离散时间分段仿射系统的时间逻辑控制”。 参见：IEEE TAC 57（2012），第1491--1504页。 谷歌学者 M.Rungger、M.Jr.Mazo和P.Tabuada。 “线性系统和安全线性时间时序逻辑的规范引导控制器综合”。 输入：HSCC。 ACM，2013年，第333--342页。 谷歌学者 数字图书馆 J.Liu等人，《从时序逻辑规范合成反应式交换协议》。 参见：IEEE TAC 58（2013），第1771-1785页。 谷歌学者 M.Zamani等人，“通过近似双相似有限抽象对随机系统进行符号控制”。 参见：IEEE TAC 59.12（2014）。 谷歌学者 M.Jr.Mazo、A.Davidian和P.Tabuada。 “Pessoa：嵌入式控制器综合工具”。 In：计算机辅助验证。 斯普林格。 2010年，第566-569页。 谷歌学者 数字图书馆 S.Mouelhi、A.Girard和G.Gossler。 “CoSyMA：使用多尺度抽象进行控制器综合的工具”。 输入：HSCC。 ACM公司。 2013年，第83-88页。 谷歌学者 数字图书馆 C.Finucane、G.Jing和H.Kress-Gazit。 “LTLMoP：语言、时序逻辑和机器人控制实验”。 In:IROS。 电气与电子工程师协会。 2010年，第1988-1993页。 谷歌学者 T.Wongpiromsarn等人，“TuLiP：用于滚动时域逻辑规划的软件工具箱”。 输入：HSCC。 ACM公司。 2011年，第313--314页。 谷歌学者 数字图书馆 N.Piterman、A.Pnueli和Y.Saár。 “反应性（1）设计的合成”。 In：验证、模型检查和抽象解释。 2006 谷歌学者 数字图书馆 A.Girard、G.Pola和P.Tabuada。 “增量稳定切换系统的近似双相似符号模型”。 参见：IEEE TAC 55.1（2010），第116-126页。 谷歌学者 G.Reißig、A.Weber和M.Rungger。 符号控制器综合的反馈优化关系。 2015年，arXiv:1503.03715v1。 谷歌学者 R.E.布莱恩特。 “有序二元判定图的符号布尔运算”。 收录于：《ACM计算调查》24.3（1992），第293--318页。 谷歌学者 数字图书馆 F.萨蒙齐。 “CUDD:CU决策图包”。 科罗拉多大学博尔德分校（1998年）。 谷歌学者 R.T.Rockafellar和R.J.-B.Wets。 变异分析。 第317卷。 2009年第三次更正印刷。 斯普林格，1998年。 谷歌学者 G.Gallo等人，《定向超图和应用》。 摘自：离散应用数学42（1993），第177-201页。 谷歌学者 数字图书馆
建议
pFaces：符号控制的加速生态系统 HSCC’19：第22届ACM混合系统国际会议论文集：计算与控制 控制软件在许多安全关键应用中的正确性至关重要，例如自动驾驶车辆。 实现正确控制软件的一种技术称为“符号控制”，即用有限状态近似复杂系统。。。 简要论文：通过近似互模拟实现安全性和可达性的控制器综合 在本文中，我们考虑使用近似双相似抽象的控制器设计问题，重点是安全性和可达性规范。 我们为这两种类型的控制器综合提出了基于抽象的方法。。。
