中国开放科研知识云: 检索

验证码:

换一张

忘记密码？记住我

取消登录

CORC

首页
科研机构
检索
知识图谱
申请加入
托管服务

在结果中检索

科研机构

浙江工商大学 [6]

北京大学 [4]

山东大学 [4]

软件研究所 [4]

自动化研究所 [3]

兰州理工大学 [2]

内容类型

期刊论文 [20]

会议论文 [7]

学位论文 [1]

发表日期

学科主题

计算机软件::软件理... [1]

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

浏览/检索结果: 共29条，第1-10条

帮助

已选(0)清除条数/页：排序方式：
	Exponential Finite-Time Consensus of Fractional-Order Multiagent Systems 期刊论文 IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2020, 卷号: 50, 期号: 4, 页码: 1549-1558 作者: Liu, Huiyang; Cheng, Long; Tan, Min; Hou, Zeng-Guang 收藏 \| 浏览/下载：37/0 \| 提交时间：2020/06/02 Multi-agent systems Protocols Convergence Manifolds Heuristic algorithms Sliding mode control Lyapunov methods Directed network topology exponential finite-time consensus fast sliding-mode algorithms fractional-order dynamics multiagent systems
	Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets 期刊论文 IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2019, 卷号: 49, 期号: 6, 页码: 1164-1174 作者: Lu, Faming; Zeng, Qingtian; Zhou, MengChu; Bao, Yunxia; Duan, Hua 收藏 \| 浏览/下载：23/0 \| 提交时间：2019/12/11 Complex reachability tree (CRT) deadlock detection Petri nets reachability tree
	Exponential finite-time consensus of fractional-order multi-agent systems 期刊论文 IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2018 作者: Huiyang Liu; Long Cheng; Min Tan; Zeng-Guang Hou 收藏 \| 浏览/下载：30/0 \| 提交时间：2019/02/14 Directed network topology exponential finitetime consensus fast sliding-mode algorithms fractional-order dynamics multiagent systems
	Reachability in Fuzzy Game Graphs 期刊论文 IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2017 Pan, Haiyu; Li, Yongming; Cao, Yongzhi; Li, Dechao 收藏 \| 浏览/下载：6/0 \| 提交时间：2017/12/03 Fuzzy automaton fuzzy logic fuzzy transition system (FTS) game graph reachability DISCRETE-EVENT SYSTEMS COMPUTATION TREE LOGIC OMEGA-REGULAR GAMES MODEL CHECKING TRANSITION-SYSTEMS SUPERVISORY CONTROL FINITE AUTOMATA MOBILE ROBOT APPROXIMATION SIMULATION
	GART: An environment-guided path planner for robots in crowded environments under kinodynamic constraints 期刊论文 International Journal of Advanced Robotic Systems, 2016, 卷号: 13, 期号: 6, 页码: 1-18 作者: Yang L(杨亮); Xiao JZ(肖继忠); Qi JT(齐俊桐); Yang LY(杨丽英); Wang, Lei 收藏 \| 浏览/下载：37/0 \| 提交时间：2017/01/14 Sampling-based planning algorithm bidirectional potential field control and sensing uncertainty percentage of useful samples
	RRT-Based Computation for Dynamic Security Analysis of Power Systems 期刊论文 IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2016 作者: Wu, Qiang; Susuki, Yoshihiko; Koo, T. John 收藏 \| 浏览/下载：18/0 \| 提交时间：2017/01/15
	基于Pushdown系统证明的可视化学位论文硕士, 北京: 中国科学院研究生院, 2016 周青收藏 \| 浏览/下载：21/0 \| 提交时间：2016/06/21 deductive reasoning formal verification alternating pushdown system infinite state systems
	GART: An environment-guided path planner for robots in crowded environments under kinodynamic constraints 期刊论文 International Journal of Advanced Robotic Systems, 2016, 卷号: 13, 期号: 6, 页码: 1-18 作者: Yang L(杨亮); Qi JT(齐俊桐); Yang LY(杨丽英); Wang, Lei; Han JD(韩建达) 收藏 \| 浏览/下载：11/0 \| 提交时间：2017/01/14 Sampling-based Planning Algorithm Bidirectional Potential Field Control And Sensing Uncertainty Percentage Of Useful Samples
	New Reachability Trees for Unbounded Petri Nets 会议论文作者: Wang, ShouGuang; Zhou, MengChu; Gan, MengDi; You, Dan; Li, Yue 收藏 \| 浏览/下载：2/0 \| 提交时间：2019/12/02 deadlock Petri nets Discrete-event system (DES) reachability tree
	A reduced reachability tree for a class of unbounded petri nets 期刊论文 IEEE/CAA Journal of Automatica Sinica, 2015, 卷号: 2, 期号: [db:dc_citation_issue], 页码: 345-352 作者: Wang, Shouguang; Gan, Mengdi; Zhou, Mengchu; You, Dan 收藏 \| 浏览/下载：4/0 \| 提交时间：2019/12/02 Analysis tools Boundedness deadlock Generalized net Liveness Reachability Reachability tree Tree size

相关链接
欧盟学术资源开放存取平台
CALIS高校机构知识库
台湾学术机构典藏
香港机构知识库整合系统
中国科学院机构知识库网格系统

CORC
关于我们
服务条款
隐私条款

联系我们
0931-8270076
cspace@llas.ac.cn
China-OR

中文简体

©版权所有 ©2017 CSpace - Powered by CSpace