×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
山东大学 [3]
厦门大学 [1]
北京大学 [1]
西安交通大学 [1]
数学与系统科学研究院 [1]
软件研究所 [1]
更多...
内容类型
期刊论文 [5]
会议论文 [2]
学位论文 [1]
发表日期
2017 [2]
2014 [1]
2012 [1]
2010 [2]
2007 [1]
2004 [1]
更多...
学科主题
Computer S... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共8条,第1-8条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Irreplaceability of a reachability matrix
会议论文
作者:
Ding, Shuliang
;
Wang, Wenyi
;
Luo, Fen
;
Xiong, Jianhua
;
Meng, Yaru
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/11/26
Cognitive diagnosis
Irreplaceability
Knowledge state
Linear combinations
One-to-one mappings
Q matrix
Reachability matrix
Response patterns
Matrix approach to model matching of composite asynchronous sequential machines
期刊论文
IET CONTROL THEORY AND APPLICATIONS, 2017, 卷号: 11, 期号: 13, 页码: 2122-2130
作者:
Wang, Biao
;
Feng, Jun-e
;
Meng, Min
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/12
sequential machines
matrix algebra
reachability analysis
tensors
control system synthesis
pattern matching
composite asynchronous
sequential machines
matrix-based approach
composite ASM
input-state
asynchronous machines
semitensor product method
algebraic expression
reachability
necessary and sufficient condition
model matching
controller design
Reachability analysis of logic Petri nets using incidence matrix
期刊论文
ENTERPRISE INFORMATION SYSTEMS, 2014, 卷号: 8, 期号: 6, 页码: 630-647
作者:
Du, Yu Yue
;
Ning, Yu Hui
;
Qi, Liang
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/17
logic Petri nets
incidence matrix
enable judging
marking
reachability
state equation
On reachability and controllability of switched Boolean control networks
期刊论文
Automatica, 2012, 卷号: 48, 期号: 11, 页码: 2917-2922
作者:
Haitao Li
;
Yuzhen Wang
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/23
Switched Boolean control network
Reachability
Controllability
Switching-input-state incidence matrix
Semi-tensor product
Input-state incidence matrix of Boolean control networks and its applications
期刊论文
SYSTEMS & CONTROL LETTERS, 2010, 卷号: 59, 期号: 12, 页码: 767-774
作者:
Zhao, Yin
;
Qi, Hongsheng
;
Cheng, Daizhan
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2018/07/30
Boolean control network
Input-state incidence matrix
Reachability
Observability
Mix-valued logic
基于极小T-不变量增加的Petri网可达性分析
期刊论文
计算机应用研究, 2010, 卷号: 27, 期号: 10, 页码: 3798-3802
彭建兵
;
焦莉
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2011/05/23
Petri网
可达性
极小T-不变量
极小T-不变量关系图
扩展极小T-不变量关系图
借矩阵
扩展借矩阵Petri net
reachability
minimal T-invariant
relation graph of minimal T-invariants
extended relation graph of minimal T-invariants
borrowing matrix
extended borrowing matrix
基于ISM有向图的求可达矩阵的简洁算法
学位论文
2007, 2007
杨伟丽
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2016/02/14
解释结构模型
有向图
邻接矩阵
可达矩阵
有向无环图
ISM
Directed Graph
Adjacency Matrix
Reachability Matrix
DAG
Controllability and stabilization of discrete-time switched linear systems
会议论文
Xie, GM
;
Wang, L
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2015/11/16
hybrid systems
controllability
switched linear systems
stabilization
pole assignment
linear matrix inequality
HYBRID SYSTEMS
LYAPUNOV FUNCTIONS
REACHABILITY
STABILITY
STABILIZABILITY
CRITERIA
DESIGN
©版权所有 ©2017 CSpace - Powered by
CSpace