摘要
C.Belta、B.Yordanov和E.A.Gol。 离散时间动力系统的形式化方法 第89卷。 施普林格，2017年。 谷歌学者 
交叉引用 
A.Bouajjani、J.-C.Fernandez和N.Halbwachs。 最小模型生成。 编辑R.Kurshan和E.Clarke， CAV 90：计算机辅助验证 ，《计算机科学讲义》531，第197-203页。 Springer-Verlag，1990年。 谷歌学者 K.Chatterjee、L.Doyen、T.A.Henzinger和J.Raskin。 不完全信息下欧米伽规则博弈的算法。 计算机科学中的逻辑方法 , 3(3), 2007. 谷歌学者 P.库索和R.库索。 抽象解释：通过构造或近似不动点对程序进行静态分析的统一格模型。 在 77年流行音乐 ，第238-252页。 美国医学会，1977年。 谷歌学者 数字图书馆 
R.Ehlers和U.Topcu。 不完全信息下基于估计的反应合成。 在 2015年 ，第249-258页。 ACM，2015年。 谷歌学者 数字图书馆 D.Fan和D.C.Tarraf。 具有线性内部动力学的有限字母表上系统的输出可观性。 IEEE TAC ，63（10）:3404-34172018。 谷歌学者 A.Girard、G.Pola和P.Tabuada。 增量稳定切换系统的近似双相似符号模型。 节气门执行器控制 , 55(1):116--126, 2010. 谷歌学者 交叉引用 S.Haesaert、A.Abate和P.M.Van den Hof。 通过设计修正lti系统的输出反馈。 在 CDC’15 ，第6159-6164页。 IEEE，2015年。 谷歌学者 T.A.Henzinger、R.Majumdar和J.Raskin。 符号转换系统的分类。 ACM事务处理。 计算。 日志。 , 6(1):1--32, 2005. 谷歌学者 数字图书馆 K.Hsu、R.Majumdar、K.Mallik和A.-K.Schmuck。 连续时间系统基于多层抽象的控制器综合。 在 2018年HSCC ，第120-129页。 ACM，2018年。 谷歌学者 数字图书馆 M.Khaled和M.Zamani。 pfaces：用于符号控制的加速生态系统。 在 HSCC’19 ，第252-257页。 ACM，2019年。 谷歌学者 数字图书馆 D.Lee和M.Yannakakis。 过渡系统的在线最小化。 在 第24届计算理论年会论文集 ，第264--274页。 ACM出版社，1992年。 谷歌学者 D.卢恩伯格。 观察员介绍。 IEEE TAC , 16(6):596--602, 1971. 谷歌学者 R.Majumdar、N.Ozay和A.-K.Schmuck。 基于抽象的输出反馈控制器设计。 arXiv预打印arXiv:2002.02687 , 2020. 谷歌学者 O.Maler、A.Pnueli和J.Sifakis。 关于定时系统离散控制器的综合。 在 STACS’95型 ，卷900 LNCS公司 ，第229--242页。 施普林格，1995年。 谷歌学者 交叉引用 O.Mickelin、N.Ozay和R.M.Murray。 使用部分状态信息的混合系统正确构造控制协议的合成。 在 2014年ACC ，第2305--2311页。 IEEE，2014年。 谷歌学者 交叉引用 R.米尔纳。 沟通与并发。 普伦蒂斯·霍尔，1989年。 谷歌学者 数字图书馆 T.Moor和J.Raisch。 在行为框架内对混合系统进行监督控制。 系统和控制字母 , 38(3):157--166, 1999. 谷歌学者 交叉引用 R.Paige和R.Tarjan。三个分区重新定义算法。 SIAM计算机杂志 , 16(6):973--989, 1987. 谷歌学者 数字图书馆 J.雷夫。 不完全信息两层博弈的复杂性。 J.计算机与系统科学 , 29:274--301, 1984. 谷歌学者 交叉引用 G.雷（G.Reißig）。 计算非线性系统的抽象。 IEEE TAC , 56(11):2583--2598, 2011. 谷歌学者 G.Reissig、A.Weber和M.Rungger。 符号控制器综合的反馈细化关系。 节气门执行器控制 , 62(4):1781--1796, 2017. 谷歌学者 交叉引用 M.Rungger和M.Zamani。 SCOTS：用于合成符号控制器的工具。 在 高速列车控制中心 ，第99-104页。 ACM，2016年。 谷歌学者 数字图书馆 A.-K.Schmuck和J.Raisch。 异步l-完全近似。 系统和控制信件 ，73:67-752014年。 谷歌学者 交叉引用 J.S.Shamma和K.-Y.Tu.集值观测器和最优干扰抑制。 IEEE TAC , 44(2):253--264, 1999. 谷歌学者 P.塔布阿达。 混合系统的验证和控制：一种符号方法。 施普林格，2009年。 谷歌学者 交叉引用 W·托马斯。 无限对象上的自动机。 编辑J.van Leeuwen， 理论计算机科学手册 ，第B卷，第133-191页。 Elsevier，1990年。 谷歌学者 数字图书馆 W.托马斯。 关于无限对策中策略的综合。 在 STACS’95型 ，卷900 计算机科学课堂讲稿 ，第1-13页。 Springer-Verlag，1995年。 谷歌学者 交叉引用 J.Willems。 开放互联系统的行为方法。 控制系统杂志 , 27:46--99, 2007. 谷歌学者 交叉引用 J.-M.Yang、T.Moor和J.Raisch。 混合系统监督控制的l-完全逼近的局部精化。 WODES’19 , 2018. 谷歌学者 交叉引用 X.Yin和S.Lafortune。 为部分观察到的离散事件系统合成财产激励监督员的统一方法。 IEEE TAC , 61(8):2140--2154, 2015. 谷歌学者
建议
基于输入输出反馈线性化方法的水轮发电机调节系统滑模控制器 针对具有外部扰动和系统不确定性的水轮发电机调节系统，提出了一种基于输入/输出反馈线性化方法的滑模控制策略，以提高其响应。 基于输入/输出。。。 鲁棒性可调的不确定系统基于动态补偿器的输出反馈控制器设计 针对一类具有不匹配扰动的不确定线性MIMO系统，提出了一种基于低阶动态补偿器的输出反馈镇定方法。 由于所有系统状态都是不可测的，因此所提出的控制器固有地。。。
