TY - GEN
T1 - Symbolic reachability computation of a class of Second-order systems
AU - Xu, Ming
AU - Chen, Liangyu
AU - Li, Zhi Bin
PY - 2009
Y1 - 2009
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/70449629844
U2 - 10.1109/ICINFA.2009.5205124
DO - 10.1109/ICINFA.2009.5205124
M3 - 会议稿件
AN - SCOPUS:70449629844
SN - 9781424436088
T3 - 2009 IEEE International Conference on Information and Automation, ICIA 2009
SP - 1336
EP - 1339
BT - 2009 IEEE International Conference on Information and Automation, ICIA 2009
T2 - 2009 IEEE International Conference on Information and Automation, ICIA 2009
Y2 - 22 June 2009 through 25 June 2009
ER -