304 search results - page 4 / 61 » Hybridization methods for the analysis of nonlinear systems |
72
Voted
HYBRID
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
HYBRID
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Nonlinearities and the lack of accurate quantitative information considerably hamper modeling and system analysis of biochemical networks. Here we propose a procedure for...
125
click to vote
NA
2010
14 years 4 months ago
2010
Solving systems of nonlinear equations is a relatively complicated problem for which a number of different approaches have been proposed. In this paper, we employ the Homotopy Anal...
CAV
2010
Springer
14 years 9 months ago
2010
Springer
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...
77
Voted
HYBRID
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...