×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京大学 [5]
兰州理工大学 [3]
清华大学 [2]
自动化研究所 [2]
软件研究所 [2]
电工研究所 [1]
更多...
内容类型
期刊论文 [16]
学位论文 [3]
其他 [1]
发表日期
2022 [1]
2020 [1]
2018 [2]
2016 [2]
2015 [3]
2014 [2]
更多...
学科主题
Computer S... [1]
Engineerin... [1]
计算机软件::软件理... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共20条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Autonomous Maneuver Decisions via Transfer Learning Pigeon-Inspired Optimization for UCAVs in Dogfight Engagements
期刊论文
IEEE/CAA Journal of Automatica Sinica, 2022, 卷号: 9, 期号: 9, 页码: 1639-1657
作者:
Wanying Ruan
;
Haibin Duan
;
Yimin Deng
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2022/08/19
Autonomous maneuver decisions
dogfight engagement
game mixed strategy
transfer learning pigeon-inspired optimization (TLPIO)
unmanned combat aerial vehicle (UCAV)
A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets
期刊论文
International Journal of Systems Science, 2020, 卷号: 51, 期号: 5, 页码: 771-785
作者:
Shaoyong, Li
;
Chunrun, Zhao
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2022/02/17
Flexible manufacturing systems
Linear programming
Control place
Controlled system
Deadlock marking
Deadlock prevention policy
Linear programming problem
Number of state
Reachability graphs
Sequence number
Stability and performance analysis of switched linear systems subject to time delays and actuator saturation
期刊论文
International Journal of Systems Science, 2018, 卷号: 49, 期号: 12, 页码: 2725-2736
作者:
Feng, Yiwei
;
Cai, Yudan
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2022/02/17
Actuators
Convergence of numerical methods
Differential equations
Linear matrix inequalities
Linear systems
Lyapunov functions
Saturation (materials composition)
Time delay
Actuator saturations
Attraction domain
Differential inclusions
Original systems
Output feedback controls
Performance analysis
Reachable set
Switched linear system
Stability and performance analysis of switched linear systems subject to time delays and actuator saturation
期刊论文
INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2018, 卷号: 49, 期号: 12, 页码: 2725-2736
作者:
Feng, Yiwei
;
Cai, Yudan
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2019/11/15
Stability
PDI
NDI
saturation
time delays
Model-based verification method for solving the parameter uncertainty in the train control system
期刊论文
RELIABILITY ENGINEERING & SYSTEM SAFETY, 2016, 卷号: 145, 页码: 169-182
作者:
Cheng, Ruijun
;
Zhou, Jin
;
Chen, Dewang
;
Song, Yongduan
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2019/11/21
Stochastic time petri nets
Linear hybrid automata
High-speed train control system
System safety verification
Parameter uncertainty
Reachable state analysis
基于Pushdown系统证明的可视化
学位论文
硕士, 北京: 中国科学院研究生院, 2016
周青
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2016/06/21
deductive reasoning
formal verification
alternating pushdown system
infinite state systems
Hydrogen plasma dynamics in the spherical theta pinch plasma target for heavy ion stripping
期刊论文
PHYSICS OF PLASMAS, 2015, 卷号: 22, 页码: 5
作者:
Loisch, G.
;
Xu, G.
;
Blazevic, A.
;
Cihodariu-Ionita, B.
;
Jacoby, J.
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2018/05/31
Hydrogen plasma dynamics in the spherical theta pinch plasma target for heavy ion stripping
期刊论文
Physics of plasmas, 2015, 卷号: 22, 期号: 5, 页码: 5
作者:
Loisch, G.
;
Xu, G.
;
Blazevic, A.
;
Cihodariu-Ionita, B.
;
Jacoby, J.
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2019/05/10
Decidability of the Reachability for a Family of Linear Vector Fields
其他
2015-01-01
Gan, Ting
;
Chen, Mingshuai
;
Dai, Liyun
;
Xia, Bican
;
Zhan, Naijun
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2017/12/03
Tarski&apos
Polynomial-exponential function
Reachability
Real root isolation
Cylindrical Algebraic Decomposition (CAD)
CYLINDRICAL ALGEBRAIC DECOMPOSITION
QUANTIFIER ELIMINATION
HYBRID SYSTEMS
IMPROVED PROJECTION
AUTOMATA
s algebra
Group consensus for multiple networked Euler-Lagrange systems with parametric uncertainties
期刊论文
journal of systems science complexity, 2014
Hu Hongxiang
;
Zhang Zhe
;
Yu Li
;
Yu Wenwu
;
Xie Guangming
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2015/11/11
Euler-Lagrange system
group consensus
multi-agent systems
switching topologies
COLLECTIVE CIRCULAR MOTION
MULTIAGENT SYSTEMS
COMPLEX NETWORKS
SWITCHING TOPOLOGIES
SYNCHRONIZATION
ALGORITHMS
AGENTS
DELAY
©版权所有 ©2017 CSpace - Powered by
CSpace