QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 限定条件 内容类型：会议论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Reachable Set Estimation of Discrete-time Switched Singular Systems 会议论文 33rd Youth Academic Annual Conference of Chinese Association of Automation (YAC), Nanjing, PEOPLES R CHINA, MAY 18-20, 2018 作者:  Zhao, Jiemei*;  Hu, Zhonghui 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/27 Switched singular systems  Reachable set estimation  Linear matrix inequality (LMI)  Lyapunov-Krasovskii functional (LKF)   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  Multi-objective programming  Revised normal boundary intersection method   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  linear matrix inequality (LMI)  Lyapunov-Krasovskii functional (LKF)  Interval time-varying delay   Formal verification of a descent guidance control program of a lunar lander 会议论文 19th International Symposium on Formal Methods, FM 2014, Singapore, Singapore, May 12, 2014 - May 16, 2014 Zhao, Hengjun (1); Yang, Mengfei (2); Zhan, Naijun (1); Gu, Bin (3); Zou, Liang (1); Chen, Yao (3) 收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16 Lunar lander  formal verification  hybrid systems  reachable set  invariant   Stabilization of a Class of Discrete-time Hybrid Systems with Switchings: a Set-theoretical Approach 会议论文 IEEE International Conference on Information and Automation (ICIA), JUL 28-30, 2014 作者:  Yang, Xiaodong;  Lin, Xiaoxia;  Xu, Yuyin 收藏  |  浏览/下载：5/0  |  提交时间：2019/12/31 Piecewise affine systems  Dwell time switching  Stabilization  Constraints  Reachable sets