摘要
R.Alur、C.Courcoubetis、N.Halbwachs、T.A.Henzinger、P.-H.Ho、X.Nicollin、A.Olivero、J.Sifakis和S.Yovine，《混合系统的算法分析》， 理论计算机科学 138, 3-34, 1995. 谷歌学者 
R.Alur和D.L.Dill，时间自动机理论， 理论计算机科学 126, 183-235, 1994. 谷歌学者 E.Asarin、O.Bournez、T.Dang、A.Pnueli和O.Maler，《线性系统开关控制器的有效综合》，提交出版，2000年。 谷歌学者 O.Bournez、O.Maler和A.Pnueli，《正交多面体：表示和计算》，收录于{VS99}，46-60。 谷歌学者 K.Cerans和J.Viksna，决定平面多项式系统的可达性，收录于R.Alur、T.A.Henzinger和E.D.Sontag（编辑）， 混合动力系统III ，389-400，LNCS 1066，Springer，1996年。 谷歌学者 A.Chutinan和B.H.Krogh，使用多边形流管近似验证多面体不变混合自动机，{VS99}76-90。 谷歌学者 P.Cousot和R.Cousot，逻辑程序的抽象解释和应用， 逻辑程序设计杂志 , 103-179, 1992. 谷歌学者 T.Dang，O.Maler，通过面部提升进行可达性分析，收录于T.A.Henzinger和S.Sastry（编辑）， 混合系统：计算与控制 ，LNCS 1386，96-109，Springer，1998年。 谷歌学者 C.Daws、A.Olivero、S.Tripakis和S.Yovine，《工具KRONOS》，收录于R.Alur、T.A.Henzinger和E.Sontag（编辑）， 混合动力系统III ，LNCS 1066208-219，施普林格出版社，1996年。 谷歌学者 M.R.Greenstreet，验证二元方程的安全性，R.Alur和T.A.Henzinger（编辑）， 程序。 CAV’96型 ，LNCS 1102，277-2871996年。 谷歌学者 M.R.Greenstreet和I.Mitchell，《整合投影》，T.A.Henzinger和S.Sastry（编辑）， 混合系统：计算与控制 ，LNCS 1386159-174，斯普林格出版社，1998年。 谷歌学者 M.R.Greenstreet和I.Mitchell，使用多边形投影进行可达性分析，收录于{VS99}76-90。 谷歌学者 T.A.Henzinger、B.Horowitz、R.Majumdar和H.Wong-Toi，《超越高科技：使用区间数值方法进行混合系统分析》，斯坦福大学AAAI混合系统春季研讨会，1999年。 谷歌学者 T.A.Henzinger、P.-H.Ho和H.Wong-Toi，《高科技：混合系统的模型检查器》， 技术转让软件工具 1, 110-122, 1997. 谷歌学者 A.Kurzhanski和I.Valyi， 用于估计和控制的椭球微积分 ，Birkhauser，1997年。 谷歌学者 K.Mehlhorn和St.Nher，《组合和几何计算的LEDA平台》，剑桥大学出版社，1999年。 谷歌学者 G.Pappas、G.La_eriere和S.Yovine，一类新的可判定混合系统，收录于{VS99}29-31。 谷歌学者 J.Preussing，O.Stursberg和S.Kowalewski，通过整合矩形近似和矩形分析对一类切换连续系统的可达性分析，收录于{VS99}208-222。 谷歌学者 F.Vaandrager和J.van Schuppen（编辑）， 混合系统：计算与控制 ，LNCS 1569，Springer，1999年。 谷歌学者 P.Varaiya，使用最优控制进行可达集计算， 程序。 KIT车间 格勒诺布尔Verimag出版社，1998年。 谷歌学者
建议
线性系统的稀疏近似解 考虑以下问题：给定${bfR}^{m\timesn}$中的矩阵$a$，（$m$行和$n$列），${bf R}^m$中的向量$b$，以及${b5\epsilon}>0$，计算满足$Ax-b\|2\leq{bf\epsilon}$的向量$x$（如果存在）。。。 分段光滑动力系统的复杂性与混沌 PHYCON'03：2003年国际物理与控制会议记录第4卷 本文描述了分段光滑动力系统的主要分岔和通向混沌的途径。 重点研究了具有边界碰撞分岔的多维分段光滑系统的复杂行为。 这个。。。
