REACHABILITY

作品数：47被引量：85H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：罗云峰肖人彬费奇王雪李建中更多>>
相关机构：华中理工大学哈尔滨工业大学东南大学复旦大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金中国博士后科学基金国家教育部博士点基金广西壮族自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=Transactions of Tianjin Universityx
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Approximate Reachability and Bisimulation Equivalences for Transition Systems被引量：1
《Transactions of Tianjin University》2016年第1期19-23,共5页王超 吴尽昭 谭红艳 付军 
Supported by the National Natural Science Foundation of China(No.11371003 and No.11461006);the Natural Science Foundation of Guangxi(No.2011GXNSFA018154 and No.2012GXNSFGA060003)
Using Baire metric, this paper proposes a generalized framework of transition system approximation by developing the notions of approximate reachability and approximate bisimulation equivalences. The proposed framewor...
关键词：approximate equivalence REACHABILITY BISIMULATION transition system 
Prediction of Instability Separation Modes and Its Application in Practical Dynamic Security Region
《Transactions of Tianjin University》2007年第3期157-162,共6页曾沅 余贻鑫 王红梅 闵亮 张沛 LEES T 
Supported by National Natural Science Foundation of China (No.50595413);Special Fund of the National Fundamental Research of China(No.2004CB217904);US EPRI under Agreement EP-P29464/C9966;Foundation for the Author of National Excellent Doctoral Disserta-tion (No.200439);Key Project of Ministry of Education of China(No.105047);Program for New Century Excellent Talents in University,Fok Ying Tung Education Foundation (No.104019);Innovation Fund of Tianjin Municipal (2006-09)
The transient critical boundary of dynamic security region (DSR) can be approximated by a few hyper planes correlated with instability separation modes. A method to fast predict instability separation modes is propose...
关键词：instability separation mode dynamic security region K-medoids algorithm reachability Grammian 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部