%0 Journal Article %1 journals/ijcon/PangSX07 %A Pang, Yan %A Spathopoulos, Michael P. %A Xia, Hao %D 2007 %J Int. J. Control %K dblp %N 5 %P 731-748 %T Reachability and optimal control for linear hybrid automata: a quantifier elimination approach. %U http://dblp.uni-trier.de/db/journals/ijcon/ijcon80.html#PangSX07 %V 80

@article{journals/ijcon/PangSX07, added-at = {2023-02-09T00:00:00.000+0100}, author = {Pang, Yan and Spathopoulos, Michael P. and Xia, Hao}, biburl = {https://www.bibsonomy.org/bibtex/2682a3ab96be4b64f0375af29dd73c813/dblp}, ee = {https://doi.org/10.1080/00207170601143482}, interhash = {f24124c4c836362262ddc135249a2393}, intrahash = {682a3ab96be4b64f0375af29dd73c813}, journal = {Int. J. Control}, keywords = {dblp}, number = 5, pages = {731-748}, timestamp = {2024-04-08T16:30:54.000+0200}, title = {Reachability and optimal control for linear hybrid automata: a quantifier elimination approach.}, url = {http://dblp.uni-trier.de/db/journals/ijcon/ijcon80.html#PangSX07}, volume = 80, year = 2007 }