REACHABILITY

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=Science China（Information Sciences）x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Aggregation method to reachability and optimal control of large-size Boolean control networks被引量：2
《Science China(Information Sciences)》2023年第7期303-304,共2页Shuling WANG Haitao LI 
supported by National Natural Science Foundation of China(Grant No.62073202);Young Experts of Taishan Scholar Project(Grant No.tsqn201909076)。
Dear editor,As an effective model of genetic regulatory networks,the Boolean network was introduced by Kauffman,and has since been extensively studied in systems biology.Boolean control networks(BCNs)are Boolean netwo...
关键词：BOOLEAN OPTIMAL NETWORKS 
On pinning reachability of probabilistic Boolean control networks被引量：2
《Science China(Information Sciences)》2020年第6期228-230,共3页Yang LIU Jinde CAO Liqing WANG Zheng-Guang WU 
supported by Zhejiang Provincial Natural Science Foundation(Grant No.LD19A010001);National Natural Science Foundation of China(Grant Nos.11671361,61573096,61833005);China Postdoctoral Science Foundation(Grant Nos.2016T90406,2015M580378);in part supported by Jiangsu Provincial Key Laboratory of Networked Collective Intelligence(Grant No.BM2017002)。
Dear editor,Boolean networks(BNs)were introduced by Kauffman[1]to model complex and nonlinear biological systems.They have become a powerful tool for describing,analyzing,and simulating gene regulatory networks[2].Pro...
关键词：PBN probabilistic Boolean NETWORKS 
New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets被引量：1
《Science China(Information Sciences)》2018年第12期189-191,共3页Shouguang WANG Dan YOU Mengchu ZHOU 
supported by National Natural Science Foundation of China (Grant No. 61374148)
Dear editor,Analysis of reachability sets is of fundamental importance for a Petri net (PN). A reachability set can be represented by a reachability tree (RT),which is a powerful tool for intuitively checking the prop...
关键词：NRT New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets 
Modeling and reachability of probabilistic finite automata based on semi-tensor product of matrices被引量：3
《Science China(Information Sciences)》2018年第12期198-200,共3页Zhipeng ZHANG Zengqiang CHEN Zhongxin LIU 
supported by National Natural Science Foundation of China (Grant Nos. 61573199, 61573200)
Dear editor,As mathematical models, finite automata have been a powerful synthesis tool for modeling and analyzing discrete event systems where states and events are a finite logical or discrete set. In deterministic ...
关键词：Modeling and reachability of probabilistic finite automata based on semi-tensor product of matrices 
Sliding mode control for consensus tracking of second-order nonlinear multi-agent systems driven by Brownian motion被引量：3
《Science China(Information Sciences)》2018年第7期147-154,共8页Birong ZHAO Yunjian PENG Yanan SONG Ruwen QIN 
supported by National Natural Science Foundation of China (Grant Nos. 61573154, 61573156);partly supported by Science and Technology Project of Guangdong Province (Grant Nos. 2015A010106003, 2014A020217015)
The consensus tracking problem of nonlinear stochastic multi-agent systems with directed topologies is investigated in this study. To solve the consensus tracking problem, first, an innovative concept of sub-reachabil...
关键词：stochastic nonlinear multi-agent systems sub-reachability sliding hyperplane sliding mode variable structure control protocol ito integral techniques consensus tracking errors 
Modeling and analysis of colored petri net based on the semi-tensor product of matrices被引量：14
《Science China(Information Sciences)》2018年第1期66-81,共16页Jiantao ZHAO Zengqiang CHEN Zhongxin LIU 
supported by National Natural Science Foundation of China (Grant Nos. 61573199, 61573200);Tianjin Natural Science Foundation of China (Grant Nos. 14JCYBJC18700, 13JCYBJC17400)
This paper applies the model petri net method based on the semi-tensor product of matrices to colored petri net. Firstly, we establish the marking evolution equation for colored petri net by using the semitensor produ...
关键词：colored petri net REACHABILITY CONTROLLABILITY marking evolution equation semi-tensor product of matrices 
Updatable timed automata with one updatable clock
《Science China(Information Sciences)》2018年第1期95-108,共14页Guoqiang LI Yunqing WEN Shoji YUEN 
supported by NSFC-JSPS Bilateral Joint Research Project (Grant No. 61511140100);National Natural Science Foundation of China (Grant Nos. 61472240, 61602224, 91318301)
Updatable timed automata（UTAs） proposed by Bouyer et.al., is an extension of timed automata（TAs） having the extra ability to update clocks in a more elaborate way than simply reset them to zero.The reachability of...
关键词：updatable timed automata one counter automata digiword reachability problem 
Output reachability analysis and output regulation control design of Boolean control networks被引量：4
《Science China(Information Sciences)》2017年第2期14-25,共12页Haitao LI Yuzhen WANG Peilian GUO 
supported by National Natural Science Foundation of China (Grant Nos. 61374065, 61503225);Natural Science Foundation of Shandong Province (Grant No. ZR2015FQ003);Research Fund for the Taishan Scholar Project of Shandong Province
This paper investigates the output reachability and output regulation control design of Boolean control networks（BCNs） by using the semi-tensor product method, and presents a number of new results.First, the concept...
关键词：Boolean control network output reachability output regulation control design semi-tensor product of matrices 
Identifying superword level parallelism with extended directed dependence graph reachability被引量：1
《Science China(Information Sciences)》2017年第1期210-212,共3页Jie ZHAO Rongcai ZHAO 
supported by HEGAOJI Major Project of China (Grant No. 2009ZX01036-001-001-2);Open Project Program of the State Key Laboratory of Mathematical Engineering and Advanced Computing (Grant No. 2013A11)
Dear editor, The increasing trend of multimedia applications＇ proliferation brings about multimedia extensions＇ wide use among existing microprocessors of mainstream manufacturers, e.g., Intel＇s MMX, AMD＇s 3DNow!,...
关键词：node SIMD Identifying superword level parallelism with extended directed dependence graph reachability SLP 
Controllability of Boolean control networks avoiding states set被引量：9
《Science China(Information Sciences)》2014年第3期258-270,共13页LI ZhiQiang SONG JinLi 
supported by National Natural Science Foundation of China(Grant Nos.61203050,61143002,61104065,61074114);Natural Science Foundation of Educational Commission of Henan Province(Grant Nos.2011B110002,12B110002)
In this paper, using semi-tensor product and the vector form of Boolean logical variables, the Boolean control network （BCN） is expressed as a bilinear discrete time system about state and control variables. Based o...
关键词：REACHABILITY CONTROLLABILITY Boolean control network nonnegative matrices 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部