@inproceedings{614cf84cc41a49eea5b051bcbe459f2a,
title = "Symbolic reachability computation of a class of nonlinear systems",
abstract = "Reachability is recognized as a key problem in designing physical control systems (most are nonlinear systems) in formal method community. Issues related to stability and controllability of physical systems are well studied in control theory. However there are not many results on reachability of those systems and fewer on nonlinear systems in computer science yet. In this paper, we present the first known family of nonlinear systems with the decidable symbolic computation problem of their reachable state spaces at the best of our knowledge. This is approached by reducing reachability computation to semi-algebraic system solving. Furthermore we illustrate the application of our method by performing the Maple package DISCOVERER.",
author = "Ming Xu and Liangyu Chen and Li, \{Zhi Bin\}",
year = "2009",
doi = "10.1109/ICIS.2009.146",
language = "英语",
isbn = "9780769536415",
series = "Proceedings of the 2009 8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009",
publisher = "IEEE Computer Society",
pages = "706--710",
booktitle = "Proceedings of the 2009 8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009",
address = "美国",
note = "8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009 ; Conference date: 01-06-2009 Through 03-06-2009",
}