Symbolic Reachability Computation of A Class of Second-Order Systems
Reachability is an important property of safety which widely analyzed in designing physical control systems. By contrast to issues related to stability and controllability of physical systems are well-studied in control theory, there are many results on reachability of those systems in computer science, but mainly for some trivial linear systems developed by formal methods and tools. In this paper, we present the first known family of second-order systems with the decidable symbolic computation problem of its reachable state space at the best of our knowledge. We extend the approach that reducing reachability computation into semi-algebraic system solving and analyzing the special type of second-order systems carefully. We also illustrate the application of our method by performing the Maple package DISCOVERER successfully.
Ming Xu Liangyu Chen Zhi-bin Li
Faculty of aShanghai Key Laboratory of Trustworthy Computing,bComputer Science and Technology Depart Faculty of aShanghai Key Laboratory of Trustworthy Computing,cSoftware Engineering Institute,East Ch
国际会议
2009 IEEE International Conference on Information and Automation(2009年 IEEE信息与自动化国际学术会议)
珠海、澳门
英文
1336-1339
2009-06-22（万方平台首次上网日期，不代表论文的发表时间）