43 search results - page 2 / 9 » On the Controllability of Bimodal Piecewise Linear Systems |
HYBRID
2000
Springer
13 years 9 months ago
2000
Springer
In this paper we describe an experimental system called d=dt for approximating reachable states for hybrid systems whose continuous dynamics is de ned by linear di erential equatio...
CDC
2009
IEEE
13 years 3 months ago
2009
IEEE
Abstract-- We consider the problem of controlling a discretetime piecewise affine (PWA) system from a specification given as a Linear Temporal Logic (LTL) formula over linear predi...
CDC
2009
IEEE
13 years 3 months ago
2009
IEEE
A computational method for stability analysis of discrete-time piecewise linear systems is presented. The method is based on combining the solutions to two separate problems: one i...
HYBRID
2010
Springer
13 years 3 months ago
2010
Springer
In recent years, there have been intensive theoretical research works on modeling/analysis of oscillatory phenomena. In this paper, we derive a sufficient condition under which (a...
AUTOMATICA
2005
13 years 5 months ago
2005
This note studies the asymptotic stabilization problem for controllable and observable, single-input single-output, linear, time-invariant, continuous-time systems by means of mem...