Sciweavers

21 search results - page 1 / 5
» Algorithmic Analysis of Piecewise FIFO Systems
Sort
View
60
Voted
FMCAD
2007
Springer
15 years 6 months ago
Algorithmic Analysis of Piecewise FIFO Systems
Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Ri...
104
Voted
AUTOMATICA
2008
94views more  AUTOMATICA 2008»
15 years 7 days ago
Reachability analysis of continuous-time piecewise affine systems
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...
Abdullah Hamadeh, Jorge Goncalves
117
Voted
HYBRID
2000
Springer
15 years 3 months ago
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems
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...
Eugene Asarin, Thao Dang, Oded Maler, Olivier Bour...
114
Voted
AUTOMATICA
2002
263views more  AUTOMATICA 2002»
14 years 12 months ago
Analysis of discrete-time piecewise affine and hybrid systems
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...
Giancarlo Ferrari-Trecate, Francesco Alessandro Cu...
106
Voted
HYBRID
2010
Springer
14 years 10 months ago
Oscillation analysis of linearly coupled piecewise affine systems
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...
Kenji Kashima, Yasuyuki Kawamura, Jun-ichi Imura