21 search results - page 1 / 5 » Algorithmic Analysis of Piecewise FIFO Systems |
FMCAD
2007
Springer
13 years 11 months ago
2007
Springer
AUTOMATICA
2008
13 years 5 months ago
2008
This paper proposes an algorithm for the characterization of reachable sets of states for continuous-time piecewise affine systems. Given a model of the system and a bounded set o...
HYBRID
2000
Springer
13 years 8 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...
AUTOMATICA
2002
13 years 4 months ago
2002
In this paper we present various algorithms both for stability and performance analysis of discrete-time Piece-Wise Affine (PWA) systems. For stability, different classes of Lyapu...
HYBRID
2010
Springer
13 years 2 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...