【摘 要】
：
利用有限抽象进行控制系统的形式化分析与设计是目前研究较多的一类控制系统分析与设计方法．本文提出两种方法，使用有限抽象，构造出两种控制器，使带扰动的控制系统满足时序逻辑规
【机 构】
：
南京审计学院计算机科学与技术系,南京航空航天大学计算机科学与技术学院
论文部分内容阅读
利用有限抽象进行控制系统的形式化分析与设计是目前研究较多的一类控制系统分析与设计方法．本文提出两种方法，使用有限抽象，构造出两种控制器，使带扰动的控制系统满足时序逻辑规范．为此，首先在时序逻辑规范上引入“弱化”转换函数和“强化”转换函数．进而，利用“弱化”转换函数提出一种方法用于构造控制器，使原系统近似满足给定规范；利用“强化”转换函数，提出另一种方法用于构造控制器，使原系统严格满足给定规范．本文分析比较上述两种方法与文献中已有的方法，指出各自的优缺点和适用范围．最后给出仿真实验，说明上述两种方法的有效性
其他文献
由于我国新修订的宪法已经引入了"紧急状态"概念,因此如何构建国家紧急权制度体系,也就成为一个迫切需要解决的问题.从学理上看,国家紧急权是指国家在紧急状态下为了恢复正常
各国宪法所规定的国家紧急权在行使主体、发动程序、权限范围等方面均存在差异,在经历了“非典”、汶川大地震、甲型H1N1流感等各种紧急事件后,我国宪法所规定的国家紧急权相
详细讨论了影响氧化锆测氧传感器测量精度的因素，对如何提高氧化猪测氧仪表的应用水平及延长锆头使用寿命进行了研究。提出了改善氧化锆传感器测氧精度应考虑的问题和延长氧化
阐述了中国纸机传动自动化的发展历程与应用现状,分析了其中关键技术的优缺点,并对纸机传动自动化的发展提出了建议与思考。同时,结合作者自身工作中遇到的一些实际问题,提出
针对一类互联电力系统在线扩容时的自动发电控制（AGC）设计，采用动态输出反馈和遗传算法提出了一种能保证扩容后系统在拓扑结构突然改变时稳定运行的结构自愈优化控制方法。这种
在全球化、我国城镇化进程发展迅速的当下,城市的组成要素多元化,发展模式日新月异,对于城市空间结构的研究也日益成为规划届关注的重点。就业作为城市的核心组成部分,往往与
江户日本,是百家思想的集散地。其中,儒学的影响不可谓小。但是,江户日本人的儒学认识,与我们的儒学常识迥然有异,有的结论还具有颠覆性。可以讨论的问题是:江户日本学者为什
得出了MAG焊气体混合比对熔滴过渡类型的影响规律,分析了MAG焊气体混合比对熔滴过渡类型的影响原因。
元前期大部分戏剧作家视戏剧创作为文化寻根的有效途径,表现出强烈的群体意识和理性精神.元初的文体寻根是以重振传统文化,树立理性权威为旨归的文化现象,随着时代语境的变迁
PCR是一种快速、敏感、特异的检测方法。但是,直接用生物样品进行PCR,由于样品中存在很多PCR抑制因子,它的敏感性会显著降低。因此,适当的样品的预处理方法是PCR成功与否的关