483 search results - page 1 / 97 » Reachability Analysis of Hybrid Systems Using Support Functi... |
73
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
107
Voted
HYBRID
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper we model coupled genetic and metabolic networks as hybrid systems. The vector fields are multi - affine, i.e., have only product - type nonlinearities to a...
116
click to vote
HYBRID
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ˙x = g(x),...
97
Voted
HYBRID
2009
Springer
15 years 4 months ago
2009
Springer
84
Voted
DEDS
2008
15 years 20 days ago
2008
Abstract Approximate simulation relations have recently been introduced as a powerful tool for the approximation of discrete and continuous systems. In this paper, we his abstracti...