René Vidal, Shawn Schaffert, Omid Shakernia, John Lygeros, Shankar Sastry  Home/Search
Context Related
| berkeley.edu/~rvida...cdc01reg1301.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: berkeley.edu/~rvidal/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, we study classes of discrete time hybrid systems for which the classical algorithm for computing the maximal controlled invariant set and the least restrictive controller is computable and guaranteed to terminate in a finite number of iterations. We show how the algorithm can be encoded using quantifier elimination, which leads to a semi-decidability result for definable hybrid systems. For discrete time linear systems with linear constraints that are either controllable or... (Update)
Context of citations to this paper: More
.... be computed o# line as a parametric function of xp k using polynomial time algorithms based on robust semi definite programming as shown in [25]. Assumption 1: For any v o , v f there exists a finite sequence x p (0) x p (t) v o = x p (0) v f = x p (t) t # T...
Cited by: More
Finite Bisimulations of Controllable Linear Systems - Tabuada, Pappas (Correct)
Linear Time Logic Control of Linear Systems - Tabuada, Pappas (Correct)
Probabilistic Pursuit-Evasion Games: Theory.. - Vidal, Shakernia.. (2002) (Correct)
Active bibliography (related documents): More All
0.8: Feedback min-max Model predictive Control Using a Single.. - Kerrigan, Maciejowski (2002) (Correct)
0.7: A Sense of Life - Mishra, Raoul-SamDaruwala, Zhou.. (Correct)
0.7: Invariant Sets for Constrained Nonlinear Discrete-time.. - Kerrigan, Maciejowski (2000) (Correct)
Similar documents based on text: More All
0.5: Decidable Controller Synthesis for Classes of Linear Systems - Shakernia, Pappas, Sastry (2000) (Correct)
0.4: Semi-decidable Synthesis for Triangular Hybrid Systems - Shakernia, Pappas, Sastry (2001) (Correct)
0.4: Omnidirectional Egomotion Estimation From Back-projection Flow - Omid Shakernia Rene (2003) (Correct)
Related documents from co-citation: More All
2: DISCRETE ABSTRACTIONS OF HYBRID SYSTEMS - Alur, Courcoubetis et al. - 1995
2: An invariant based approach to the design of hybrid control systems containing c.. - Stiver, Antsaklis et al. - 1995
2: What's decidable about hybrid automata - Thomas, Henzinger et al. - 1998
BibTeX entry: (Update)
R. Vidal, S. Scha#ert, O. Shakernia, J. Lygeros, and S. Sastry, "Decidable and semi-decidable controller synthesis for classes of discrete time hybrid systems," in Proc. of 40th IEEE Conf. on Decision and Control, 2001, pp. 1243--1248. http://citeseer.ist.psu.edu/vidal01decidable.html More
@misc{ vidal01decidable,
author = "R. Vidal and S. Scha and e Shakernia and J. Lygeros and S. Sastry",
title = "Decidable and semi-decidable controller synthesis for classes of discrete
time hybrid systems",
text = "R. Vidal, S. Scha#ert, O. Shakernia, J. Lygeros, and S. Sastry, Decidable
and semi-decidable controller synthesis for classes of discrete time hybrid
systems, in Proc. of 40th IEEE Conf. on Decision and Control, 2001, pp.
1243--1248.",
year = "2001",
url = "citeseer.ist.psu.edu/vidal01decidable.html" }
Citations (may not include all citations):529 Linear Matrix Inequalities in System and Control Theory (context) - Boyd, Ghaoui et al. - 1994
229 A decision method for elementary algebra and geometry (context) - Tarski - 1951
60 A new class of decidable hybrid systems - La, Pappas et al. - 1999
55 Controllers for reachability specifications for hybrid syste.. - Lygeros, Tomlin et al. - 1999
44 Ellipsoidal techniques for reachability analysis - Kurzhanski, Varaiya - 2000
42 Cylindrical algebraic decomposition I: the basic algorithm (context) - Arnon, Collins et al. - 1984
42 REDLOG: Computer algebra meets computer logic - Dolzmann, Sturm - 1997
31 A new decision method for elementary algebra (context) - Seidenberg - 1954
28 Quantifier elimination for conjunctions of linear constraint.. (context) - Lassez, Lassez - 1992
16 Decidable controller synthesis for classes of linear systems - Shakernia, Pappas et al. - 2000
11 the existence of executions of hybrid automata - Lygeros, Johansson et al. - 1999
8 Controlled invariance of discrete time systems - Vidal, Scha et al. - 2000
8 Controlled invariance of discrete time systems - Vidal, Scha et al. - 2001
5 Control of linear dynamic systems with set constrained distu.. (context) - Glover, Schweppe - 1971
4 induced norm under full state feedback (context) - Shamma, the - 1996
4 Semi-decidable controller synthesis for classes of linear hy.. - Shakernia, Pappas et al. - 2000
3 Hybrid Systems: Computations and Abstractions (context) - Pappas - 1998
3 Persistent disturbance rejection via static-state feedback (context) - Blanchini, Sznaier - 1995
3 A minimax control problem for sampled linear systems (context) - Witsenhausen - 1968
3 the minimax reachability of target sets and target tubes - Bertsekas, Rhodes - 1971
2 Ultimate boundedness control for discrete time uncertain sys.. (context) - Blanchini - 1994
2 Invariant polyhedral sets of linear discrete time systems (context) - Dorea, Hennet - 1999
2 Semi-decidable synthesis for triangular hybrid systems - Shakernia, Pappas et al.
1 chapter Worst-Case Simulation of Uncertain Systems (context) - Ghaoui, Calafiore et al. - 1999
1 Nonlinear state feedback for l 1 optimal control (context) - Shamma - 1993
1 Controller Synthesis for Discrete Time Hybrid Systems with S.. (context) - Scha - 2001
Documents on the same site (http://eclair.eecs.berkeley.edu/~rvidal/):
A Hierarchical Approach to Probabilistic.. - Kim, Vidal, Shim.. (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC