✦ LIBER ✦

Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination

✍ Scribed by Noriko Hyodo; Myunghoon Hong; Hitoshi Yanami; Shinji Hara; Hirokazu Anai

Book ID: 105867508
Publisher: Springer
Year: 2007
Tongue: English
Weight: 731 KB
Volume: 18
Category: Article
ISSN: 0938-1279
DOI: 10.1007/s00200-007-0056-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Classical numerical methods in engineeri

Classical numerical methods in engineering: a note on existential quantifier elimination under parametric inequality constraints

✍ Ioakimidis, Nikolaos I. 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 295 KB

In this paper, an attempt is made to show the usefulness of computational quanti®er elimination (CQE) techniques in computer algebra inside classical numerical methods in engineering for the derivation of feasibility (consistency) conditions in problems with weakly parametric linear inequality const

[IEEE IECON '97. 23rd International Conf

[IEEE IECON '97. 23rd International Conference on Industrial Electronics, Control, and Instrumentation - New Orleans, LA, USA (9-14 Nov. 1997)] Proceedings of the IECON'97 23rd International Conference on Industrial Electronics, Control, and Instrumentation (Cat. No.97CH36066) - A novel algorithm in solving nonlinear equations for programmed PWM inverter to eliminate harmonics

✍ Chen, J.W.; Liang, T.J. 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 400 KB

[IEEE 2009 International Conference on A

[IEEE 2009 International Conference on Advances in Recent Technologies in Communication and Computing - Kottayam, Kerala, India (2009.10.27-2009.10.28)] 2009 International Conference on Advances in Recent Technologies in Communication and Computing - Wavelet Adaptive Observer Based Control for a Class of Uncertain Time Delay Nonlinear Systems with Input Constraints

✍ Sharma, Manish; Kulkarni, Ajay; Verma, Ajay 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 347 KB