Sciweavers

HYBRID
2000
Springer

Controlled Invariance of Discrete Time Systems

14 years 3 months ago
Controlled Invariance of Discrete Time Systems
Abstract. An algorithm for computing the maximal controlled invariant set and the least restrictive controller for discrete time systems is proposed. We show how the algorithm can be encoded using quantier elimination, which leads to a semi-decidability result for de nable systems. For discrete time linear systems with all sets speci ed by linear inequalities, a more e cient implementation is proposed using linear programming and Fourier elimination. If in addition the system is in controllable canonical form, the input is scalar and unbounded, the disturbance is scalar and bounded and the initial set is a rectangle, then the problem is decidable.
René Vidal, Shawn Schaffert, John Lygeros,
Added 24 Aug 2010
Updated 24 Aug 2010
Type Conference
Year 2000
Where HYBRID
Authors René Vidal, Shawn Schaffert, John Lygeros, Shankar Sastry
Comments (0)