Nonlinear Control System Design by Quantifier Elimination

ISSN： 0747-7171

Source： Journal of Symbolic Computation, Vol.24, Iss.2, 1997-08, pp. : 137-152

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Robust Multi-Objective Feedback Design by Quantifier Elimination

By Dorato P. Yang W. Abdallah C.

Journal of Symbolic Computation, Vol. 24, Iss. 2, 1997-08 ,pp. : 153-159

Academic Press

Access to resources Recommend Favorite

Inference of Probabilities over a Stochastic IL-System by Quantifier Elimination

By Yoshida Hiroshi

Mathematics in Computer Science, Vol. 1, Iss. 3, 2008-03 ,pp. : 473-485

Springer Publishing Company

Access to resources Recommend Favorite

Linear Quantifier Elimination

By Nipkow Tobias

Journal of Automated Reasoning, Vol. 45, Iss. 2, 2010-08 ,pp. : 189-212

Springer Publishing Company

Access to resources Recommend Favorite

Simulation and Optimization by Quantifier Elimination

By Weispfenning V.

Journal of Symbolic Computation, Vol. 24, Iss. 2, 1997-08 ,pp. : 189-208

Academic Press

Access to resources Recommend Favorite

Testing Stability by Quantifier Elimination

By Hong H. Liska R. Steinberg S.

Journal of Symbolic Computation, Vol. 24, Iss. 2, 1997-08 ,pp. : 161-187

Academic Press

Access to resources Recommend Favorite