Reach set computations using real quantifier elimination

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. For si...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Anai, Hirokazu (VerfasserIn)
Weitere Verfasser:	Weispfenning, Volker (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Passau 2000
Schriftenreihe:	Universität <Passau> / Fakultät für Mathematik und Informatik: MIP 2000,12
Schlagworte:	Predicate calculus > Set theory
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!