Sciweavers

844 search results - page 50 / 169
» Reachability in Linear Dynamical Systems
Sort
View
CDC
2009
IEEE
171views Control Systems» more  CDC 2009»
15 years 2 months ago
Achieving a nonovershooting transient response with multivariable dynamic output feedback tracking controllers
— We consider the use of dynamic output feedback control to improve the transient response to a step input, for invertible multivariable systems. A method is given for designing ...
Robert Schmid, Lorenzo Ntogramatzidis
CAV
1997
Springer
202views Hardware» more  CAV 1997»
15 years 3 months ago
HYTECH: A Model Checker for Hybrid Systems
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
AMC
2005
105views more  AMC 2005»
14 years 11 months ago
Symbolic computing of nonlinear observable and observer forms
Observer design for highly nonlinear dynamics is an important issue, particularly when the locally observable dynamics are not linearly observable. In such circumstances the abili...
Harry G. Kwatny, Bor-Chin Chang
ICASSP
2011
IEEE
14 years 2 months ago
Estimation and dynamic updating of time-varying signals with sparse variations
This paper presents an algorithm for an 1-regularized Kalman filter. Given observations of a discrete-time linear dynamical system with sparse errors in the state evolution, we e...
Muhammad Salman Asif, Adam Charles, Justin K. Romb...
92
Voted
HYBRID
2001
Springer
15 years 3 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