QQ客服 官方微博 反馈留言

	Generating Semi-Algebraic Invariants for Non-Autonomous Polynomial Hybrid Systems
	Wang, Qiuye ; Li, Yangjia ; Xia, Bican ; Zhan, Naijun
	2017
关键词	Hybrid systems invariants non-autonomous systems polynomial ideals semi-algebraic sets. BARRIER CERTIFICATES SAFETY VERIFICATION
英文摘要	Hybrid systems are dynamical systems with interacting discrete computation and continuous physical processes, which have become more common, more indispensable, and more complicated in our modern life. Particularly, many of them are safety-critical, and therefore are required to meet a critical safety standard. Invariant generation plays a central role in the verification and synthesis of hybrid systems. In the previous work, the fourth author and his coauthors gave a necessary and sufficient condition for a semi-algebraic set being an invariant of a polynomial autonomous dynamical system, which gave a confirmative answer to the open problem. In addition, based on which a complete algorithm for generating all semi-algebraic invariants of a given polynomial autonomous hybrid system with the given shape was proposed. This paper considers how to extend their work to non-autonomous dynamical and hybrid systems. Non-autonomous dynamical and hybrid systems are with inputs, which are very common in practice; in contrast, autonomous ones are without inputs. Furthermore, the authors present a sound and complete algorithm to verify semi-algebraic invariants for non-autonomous polynomial hybrid systems. Based on which, the authors propose a sound and complete algorithm to generate all invariants with a pre-defined template.; "973 Program" [2014CB340701]; National Natural Science Foundation of China [61625205, 91418204, 61625206, 11290141, 11271034, 61532019]; CDZ Project CAP [GZ 1023]; CAS/SAFEA International Partnership Program for Creative Research Teams; SCI(E); 中国科学引文数据库(CSCD); ARTICLE; 1; 234-252; 30
语种	英语
出处	CSCD ; SCI
出版者	JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY
内容类型	其他
源URL	[http://hdl.handle.net/20.500.11897/475363]
专题	数学科学学院
推荐引用方式 GB/T 7714	Wang, Qiuye,Li, Yangjia,Xia, Bican,et al. Generating Semi-Algebraic Invariants for Non-Autonomous Polynomial Hybrid Systems. 2017-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。