收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

离散事件动态系统理论的时态逻辑研究方法

田国会  刘长有  徐心和  
【摘要】:基于时态逻辑研究离散事件动态系统是近年来提出的新方法。本文对时态逻辑在 DEDS研究中的有关思想和框架进行综述,包括时态逻辑模型框架,引入外部时钟研究实时系统的TTM/RTTL框架,时态逻辑与其它方法相结合的研究框架。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 戴清林;王正中;;离散事件动态系统(DEDS)仿真的最优算法研究[J];系统仿真学报;1991年01期
2 巢志骏,席裕庚;基于滚动优化的离散事件系统控制[J];上海交通大学学报;2002年04期
3 李鸿明;毕翔;魏振春;韩江洪;王启忠;;基于模糊控制的规则化描述方法研究[J];合肥工业大学学报(自然科学版);2011年04期
4 宋东平,邢卫,孙优贤;随机需求不可靠制造系统的最优服务率分配策略[J];控制理论与应用;1998年04期
5 赵臻,戴志勇;Flow-Shop系统的鲁棒性研究[J];中南民族大学学报(自然科学版);2002年03期
6 徐心和;“线性”离散事件动态系统——讲座连载(上)[J];控制与决策;1987年03期
7 邹恩;面向“智能”的多方面包装控制技术[J];株洲工学院学报;1999年04期
8 徐心和;“线性”离散事件动态系统——讲座连载(下)[J];控制与决策;1987年04期
9 王梅生;李彦平;;极大代数意义下矩阵的特征值问题——一类离散事件动态系统运行周期的分析[J];自动化学报;1991年05期
10 田国会,刘长有,徐心和;旋转货架系统运行过程的时态逻辑描述与分析[J];自动化学报;1998年03期
11 陈文德;一类DEDS最优调度算法的改进[J];控制与决策;2000年05期
12 徐健;边信黔;王元慧;;基于DEDS的AUV故障诊断问题研究[J];计算机仿真;2007年01期
13 柯婷;;基于MATLAB程序的GI/GI/c/K/∞系统的建模与仿真[J];沈阳理工大学学报;2007年01期
14 肖慧婷;金士良;洪跃;;Flow-shop生产线人机时间分配的应用[J];现代机械;2007年06期
15 高建强;程新刚;;关于加工生产线的一种新的模型及其扰动分析[J];自动化学报;1990年03期
16 涂菶生;;串行生产线的数学模型及其性能估算[J];自动化学报;1990年06期
17 汪自勤;宋文忠;冯纯伯;;一般排队网络的全状态摄动分析[J];控制与决策;1992年02期
18 李彦平,王梅生,徐心和;基于有限自动机离散事件动态系统的代数分析与综合[J];控制与决策;1993年02期
19 曾建潮;吴聚华;;模拟退火与摄动分析相结合的DEDS仿真优化方法[J];自动化学报;1993年06期
20 林怡青,毛宗源,周其节;自主机器人的单元结构[J];控制理论与应用;2000年01期
中国重要会议论文全文数据库 前10条
1 田国会;刘长有;徐心和;;离散事件动态系统理论的时态逻辑研究方法[A];1996中国控制与决策学术年会论文集[C];1996年
2 李彦平;郭令忠;徐心和;;离散事件动态系统的基本特征与一般形式化描述[A];1996中国控制与决策学术年会论文集[C];1996年
3 田国会;刘长有;徐心和;;电梯服务系统的时态逻辑描述、分析与控制[A];1996年中国控制会议论文集[C];1996年
4 胡奇英;;离散事件动态系统监控与马氏决策过程[A];1997年中国控制会议论文集[C];1997年
5 曾建潮;谭瑛;;具有混合型优化变量的DEDS仿真优化方法[A];1992年中国控制与决策学术年会论文集[C];1992年
6 刘瑞华;涂菶生;;生产加工网络的关键路径与扰动分析[A];1993中国控制与决策学术年会论文集[C];1993年
7 李勇建;田国会;刘长有;;基于时态逻辑的离散事件动态系统研究进展[A];1998中国控制与决策学术年会论文集[C];1998年
8 郭令忠;李彦平;徐心和;;离散事件动态系统的实时在线监控策略[A];1994中国控制与决策学术年会论文集[C];1994年
9 李勇建;涂菶生;;串行生产线的关键路径计算与扰动分析[A];2001中国控制与决策学术年会论文集[C];2001年
10 侯合银;陈树中;;利用分散反馈对离散事件动态系统进行周期配置[A];1999中国控制与决策学术年会论文集[C];1999年
中国博士学位论文全文数据库 前4条
1 林怡青;自主机器人分布式结构及运动规划[D];华南理工大学;1998年
2 吴骏;多Agent联盟规范系统研究[D];南京大学;2011年
3 谢红薇;应急决策知识模型及其进化推理研究[D];太原理工大学;2009年
4 黄波;基于Petri网的FMS建模与调度研究[D];南京理工大学;2006年
中国硕士学位论文全文数据库 前10条
1 张小花;基于MAS的分布式制造系统动态控制元结构的研究[D];广东工业大学;2005年
2 廉智超;模型检测在模型诊断领域中的应用[D];吉林大学;2007年
3 赵世伟;基于模型参考自适应控制的航班进港间隔控制研究[D];中国民航大学;2009年
4 林惠标;某机构合件柔性装配系统的Petri网建模及其控制系统设计[D];沈阳理工大学;2008年
5 王秀娟;基于鲁棒控制的航班进港调度研究[D];中国民航大学;2009年
6 高静;面向环境演算系统的模型检测算法的研究[D];南京航空航天大学;2009年
7 何青;模型检测时态知识逻辑及其应用[D];中山大学;2006年
8 刘勇;基于时序Petri网的DEDS控制器综合[D];山东科技大学;2006年
9 张兵;基于概率模型检测的生存性分析与验证方法研究[D];郑州大学;2012年
10 郑丽萍;时间自动机新的识别模型及对长跨度区域自动机的研究[D];郑州大学;2001年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978