483 search results - page 1 / 97 » Reachability Analysis of Hybrid Systems Using Support Functi... |
CAV
2009
Springer
14 years 5 months ago
2009
Springer
HYBRID
2004
Springer
13 years 10 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...
HYBRID
2003
Springer
13 years 10 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),...
HYBRID
2009
Springer
13 years 8 months ago
2009
Springer
DEDS
2008
13 years 5 months 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...