CORC

浏览/检索结果: 共7条,第1-7条 帮助

限定条件    
已选(0)清除 条数/页:   排序方式:
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
机器人辅助柔性针穿刺系统研究 学位论文
博士, 沈阳: 中国科学院沈阳自动化研究所, 2017
作者:  霍本岩
收藏  |  浏览/下载:52/0  |  提交时间:2017/06/29
面向抛投应用的多旋翼飞行机器人规划与控制 学位论文
博士, 沈阳: 中国科学院沈阳自动化研究所, 2017
作者:  姜军
收藏  |  浏览/下载:39/0  |  提交时间:2017/06/29
Approximating Reachable Sets of Linear Control System Using Multi-objective Programming 会议论文
2017 29TH CHINESE CONTROL AND DECISION CONFERENCE (CCDC), 2017-01-01
作者:  Zhang, Yangfan[1];  Shao, Lizhen[2];  Shao, Guangda[3];  Li, Boyu[4]
收藏  |  浏览/下载:7/0  |  提交时间:2019/04/24
Reachable Set Estimation for a Class of Nonlinear Time-Varying Systems 期刊论文
COMPLEXITY, 2017
作者:  Sun, Yuangong;  Meng, Fanwei
收藏  |  浏览/下载:3/0  |  提交时间:2019/12/11
Estimation of Reachable Set for Interval Time-Varying Delay Systems 会议论文
Chinese Automation Congress (CAC), Jinan, PEOPLES R CHINA, OCT 20-22, 2017
作者:  Zhao, Jiemei*;  Hu, Zhonghui
收藏  |  浏览/下载:4/0  |  提交时间:2019/12/27
Reachable Set Estimation for a Class of Memristor-Based Neural Networks with Time-Varying Delays 期刊论文
IEEE Access, 2017, 卷号: 6, 页码: 937-943
作者:  Zhao, Jiemei*
收藏  |  浏览/下载:2/0  |  提交时间:2019/12/27


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