Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Reach Set Computations Using Real Quantifier Elimination

Hirokazu AnaiContact Information and Volker WeispfenningContact Information

(7)  Computer System Laboratories, Fujitsu Laboratories Ltd, Kamikodanaka 4-1-1, Nakahara-ku Kawasaki 211-8588, Japan
(8)  Fakultät für Mathematik und Informatik, Universität Passau, D-94030 Passau, Germany
Abstract
Reach set computations are of fundamental importance in control theory. We consider the reach set problem for open-loop systems described by parametric inhomogeneous linear differential systems and use real quantifier elimination methods to get exact and approximate solutions. The method employs a reduction of the forward and backward reach set and control parameter set problems to the transcendental implicitization problems for the components of special solutions of simpler non-parametric systems. For simple elementary functions we give an exact calculation of the cases where exact semialgebraic transcendental implicitization is possible. For the negative cases we provide approximate alternating using discrete point checking or safe estimations of reach sets and control parameter sets. Examples are computed using the redlog and qepcad packages.

Contact Information Hirokazu Anai
Email: anai@jp.fujitsu.com

Contact Information Volker Weispfenning
Email: weispfen@uni-passau.de
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Referenced by
1 newer article

  1. Prajna, Stephen (2007) . IEEE Transactions on Automatic Control 52(8)
    [CrossRef]
Remote Address: 38.107.191.107 • Server: mpweb18
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)