论文部分内容阅读
离散事件系统的许多重要性质可用时态逻辑方便，直接和简明地进行描述，系统的性质分析可转化成时态满足关系的判定。基于状态可达图，给出了有限系统时态特征的判定方法。
基于状态可达图的离散事件系统时态性质分析
【摘 要】
：
离散事件系统的许多重要性质可用时态逻辑方便，直接和简明地进行描述，系统的性质分析可转化成时态满足关系的判定。基于状态可达图，给出了有限系统时态特征的判定方法。
【机 构】
：
山东工业大学自动化工程系,东北大学
【出 处】
：
控制与决策
【发表日期】
：
1998年1期
【基金项目】
：
山东省自然科学基金，中科院自动化所复杂系统工程学开放实验室资助
其他文献
利用Ｈ∞控制方法讨论含不确定参数的广义系统鲁棒镇定问题。首先将广义系统的稳定性条件表示为Ｈ∞范数的形式，然后利用Ｈ∞范数与Ｒｉｃｃａｔｉ代数矩阵不等式的关系给出了含不确定参数的广义系
提出了一种仅利用一颗地球静止轨道卫星完成定向的新方法。并利用北斗双星定位系统进行了定向试验．试验结果表明,对于0．827m长基线,单星定向精度可达0．07°,从而说明利用一颗地
<正>肾上腺髓质素(Adrenomedullin,AM)是新近从肾上腺嗜铬细胞瘤细胞中提取的一种血管活性肠肽。具有扩张血管、降低血压、排钾利尿等广泛的生物学效应。其效应主要是通过AM
过去的二十年对中国风险投资机构来说，犹如阪上走丸：从资本的拓荒期，到风投成为创业市场的中坚力量;从大批新基金兴起，又到大批中小基金被洗牌出局;从PC互联网到移动互联网，再到产业互联网的潮头更迭。毫无疑问，这是一个大开大阖的时代。成立于千禧年间的同创伟业，恰好完整地经历了二十一世纪至今资本市场的经济周期，它的经历在某种程度上也代表了资本市场的历史缩影。 二十年间的得与失很难一言蔽之，但我们可以从几
利用内模控制结构分析了广义预测控制在未建模动态鲁棒性方面的缺陷，提出采用失配滤波器以增强系统的鲁棒性。针对广义预测控制的特点，提出了次优失配滤波器的简单设计方法。
亚里士多德中道观与先秦儒家中庸思想作为处世之道,在中西伦理思想上占有重要的地位.二者在产生、本质、基本内容和方法论意义上具有相似之处,但从实现的基本途径、人的主体
<正> 1 金属热处理电阻炉及其控制简介金属热处理电阻炉是加热各种金属工件的炉具,工作时炉内的温度场主要特点是输入与输出间存在滞后及输入与输出关系不便用较准确的数学模
马克思主义关于人的全面发展理论有着深厚的人学渊源,且在中国社会主义实践中经历了曲折的发展历程.根据社会主义的最新发展与实践,当代中国共产党人以与时俱进的理论品格全