×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京大学 [3]
数学与系统科学研究院 [1]
自动化研究所 [1]
华南理工大学 [1]
软件研究所 [1]
内容类型
其他 [3]
期刊论文 [3]
会议论文 [1]
发表日期
2022 [1]
2017 [5]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共7条,第1-7条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Adaptive Consensus Quantized Control for a Class of High-Order Nonlinear Multi-Agent Systems With Input Hysteresis and Full State Constraints
期刊论文
IEEE/CAA Journal of Automatica Sinica, 2022, 卷号: 9, 期号: 9, 页码: 1574-1589
作者:
Guoqiang Zhu
;
Haoqi Li
;
Xiuyu Zhang
;
Chenliang Wang
;
Chun-Yi Su
收藏
  |  
浏览/下载:26/0
  |  
提交时间:2022/08/19
Adaptive quantized control
barrier Lyapunov function
input hysteresis
multi-agent systems
Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates
期刊论文
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2017, 卷号: 16, 页码: 19
作者:
Huang, Chao
;
Chen, Xin
;
Lin, Wang
;
Yang, Zhengfeng
;
Li, Xuandong
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2018/07/30
Stochastic hybrid systems
safety verification
barrier certificate
Barrier certificates revisited
期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2017, 卷号: 80, 页码: 62-86
作者:
Dai, Liyun
;
Gan, Ting
;
Xia, Bican
;
Zhan, Naijun
收藏
  |  
浏览/下载:34/0
  |  
提交时间:2017/02/16
Hybrid system
Barrier certificate
Formal verification
Invariant
Nonlinear system
Semi-definite programming
Sum of squares
Generating Semi-Algebraic Invariants for Non-Autonomous Polynomial Hybrid Systems
其他
2017-01-01
Wang, Qiuye
;
Li, Yangjia
;
Xia, Bican
;
Zhan, Naijun
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2017/12/03
Hybrid systems
invariants
non-autonomous systems
polynomial ideals
semi-algebraic sets.
BARRIER CERTIFICATES
SAFETY VERIFICATION
Barrier certificates revisited
其他
2017-01-01
Dai, Liyun
;
Gan, Ting
;
Xia, Bican
;
Zhan, Naijun
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2017/12/03
Hybrid system
Barrier certificate
Formal verification
Invariant
Nonlinear system
Semi-definite programming
Sum of squares
HYBRID SYSTEMS
ALGORITHMIC ANALYSIS
SAFETY VERIFICATION
INVARIANTS
Barrier certificates revisited
其他
2017-01-01
Dai, Liyun
;
Gan, Ting
;
Xia, Bican
;
Zhan, Naijun
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2017/12/03
Hybrid system
Barrier certificate
Formal verification
Invariant
Nonlinear system
Semi-definite programming
Sum of squares
HYBRID SYSTEMS
ALGORITHMIC ANALYSIS
SAFETY VERIFICATION
INVARIANTS
Safety verification of flight plans of unmanned Aerial Vehicles using barrier certificates (CPCI-S收录)
会议论文
2007 IEEE INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION, VOLS 1-7
作者:
Zhang Shengxiang[1]
;
Pei Hailong[1]
;
Li Jiangqiang[1]
;
Liu Baoluo[1]
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/04/17
©版权所有 ©2017 CSpace - Powered by
CSpace