Controlled Invariance of Discrete Time Systems

  title={Controlled Invariance of Discrete Time Systems},
  author={Ren{\'e} Vidal and Shawn Schaffert and John Lygeros and S. Shankar Sastry},
An algorithm for computing the maximal controlled invari ant set and the least restrictive controller for discrete time systems is proposed We show how the algorithm can be encoded using quanti er elimination which leads to a semi decidability result for de nable systems For discrete time linear systems with all sets speci ed by lin ear inequalities a more e cient implementation is proposed using linear programming and Fourier elimination If in addition the system is in controllable canonical… CONTINUE READING
Highly Cited
This paper has 80 citations. REVIEW CITATIONS



Citations per Year

80 Citations

Semantic Scholar estimates that this publication has 80 citations based on the available data.

See our FAQ for additional information.