Control of Non-Deterministic Systems With μ-Calculus Specifications Using Quotienting

来源 :自动化学报:英文版 | 被引量 : 0次 | 上传用户:dayongxue
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
The supervisory control problem for discrete event system(DES) under control involves identifying the supervisor, if one exists, which, when synchronously composed with the DES,results in a system that conforms to the control specification. In this contex
其他文献
音乐教学能够陶冶人的性情,使学生感受力、鉴赏力、想象力等各方面取得均衡发展,成长为高素质职业人才。中职音乐教学存在教学目标定位不准、曲目形式单一、课堂教学参与度低
超高层甲级办公写字楼在现代化城市中不断林立,此类建筑的空调使用特点与传统办公楼有所区别,解决好人员舒适度与节约能源的相互制约关系迫在眉睫,本文结合夏热冬冷地区的气
2007年12月26日,Sony推出了满足广大多客户需求的新的小型DVCAM和HDV的捆绑软件,从而给用户提供更加完善的非线性编辑解决方案。
6月2日,台北国际电脑展讯——AMD推出两款双核桌面级处理器.将其广受赞誉的45纳米技术用于全新的主流处理器设计。新款45纳米AMD速龙Ⅱ X2250处理器,融聚了AMD速龙处理器10年来
11月25日,总局与北京市政府共同举办的中国北京星光电视节目制作基地揭牌仪式在北京大兴举行。中央政治局委员、北京市委书记刘淇,中宣部副部长、国家广电总局党组书记、局长王
火力发电厂所用燃料主要为煤炭,而煤炭在运输过程中会产生许多粉尘,进而出现粉尘超标问题,不仅会造成环境污染,而且还会影响工人的身体健康。除尘器系统作为火力发电厂除尘工
综述了植物美白剂从单剂到复方剂型的发展与作用效果的研究进展,发现采用中医组方思想搭配的复方植物美白剂,从多维度、多靶点解决肌肤美白问题,安全又温和,将成为未来美白剂
【摘要】实施健康教育后病人及家属对糖尿病发生与发展、疾病的预防、正确用药的认识提高,提高了正确监测血糖和有效控制血糖的能力,使病人对医生制定的治疗方案的依从性提高。理论结合实践,使病人将理论知识应用于实践,加深了理解,学会了自我护理的技能,同时也激发了病人的主动学习的热情,学到了许多知识,正确面对人生,以积极乐观的态度战胜疾病,受益匪浅。  【关键词】健康教育;老年;糖尿病;自我护理    1临床
2005年,吉林市电视台决定推出一档大型民生类新闻直播栏目《直播江城》,而这档节目的基础工程就是要建吉林市电视台前所未有的第一个新闻直播机房。
随着我国电力行业飞速发展,自动化应用越来越广,用户对电力要求越来越高,检修运行人员对设备可靠性越来越严,为了保证电站设备的运行可靠性、安全性,根据本文的备自投设计、改造,充