Sciweavers

23 search results - page 3 / 5
» Design of Luenberger Observers for a Class of Hybrid Linear ...
Sort
View
HYBRID
2001
Springer
13 years 12 months ago
Semi-decidable Synthesis for Triangular Hybrid Systems
Abstract. The algorithmic design of least restrictive controllers for hybrid systems that satisfy reachability specifications has received much attention recently. Despite the imp...
Omid Shakernia, George J. Pappas, Shankar Sastry
HYBRID
2001
Springer
13 years 12 months ago
Accurate Event Detection for Simulating Hybrid Systems
It has been observed that there are a variety of situations in which the most popular hybrid simulation methods can fail to properly detect the occurrence of discrete events. In th...
Joel M. Esposito, Vijay Kumar, George J. Pappas
AUTOMATICA
2010
122views more  AUTOMATICA 2010»
13 years 7 months ago
On the algebraic characterization of invariant sets of switched linear systems
In this paper, a suitable LaSalle principle for continuous-time linear switched systems is used to characterize invariant sets and their associated switching laws. An algorithm to...
Pierre Riedinger, Mario Sigalotti, Jamal Daafouz
CDC
2009
IEEE
184views Control Systems» more  CDC 2009»
14 years 5 days ago
Controllability and observability of uncertain systems: A robust measure
— This paper deals with the class of polynomially uncertain continuous-time linear time-invariant (LTI) systems whose uncertainties belong to a semi-algebraic set. The objective ...
Somayeh Sojoudi, Javad Lavaei, Amir G. Aghdam
HYBRID
2010
Springer
13 years 9 months ago
Receding horizon control for temporal logic specifications
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Mu...