12115 search results - page 46 / 2423 » Bisimulation of Dynamical Systems |
ICALP
1994
Springer
14 years 27 days ago
1994
Springer
Abstract. In this paper we de ne a precise notion of abstraction relation between continuous dynamical systems and discrete state-transition systems. Our main result states that ev...
INFSOF
2002
13 years 8 months ago
2002
We formally verify aspects of the rule-based expert system of IBM's System Automation software for IBM's zSeries mainframes. Starting with a formalization of the expert ...
ICCS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We extend the hyperdynamics method developed for lowdimensional energy-dominated systems, to simulate slow dynamics in more general atomistic systems. We show that a few ...
ISSAC
2005
Springer
14 years 2 months ago
2005
Springer
In this article we propose a new symbolic-numeric algorithm to find positive equilibria of a n-dimensional dynamical system. This algorithm uses a symbolic manipulation of ODE in...
RECOMB
2009
Springer
14 years 9 months ago
2009
Springer
The dynamics of biological processes are often modeled as systems of nonlinear ordinary differential equations (ODE). An important feature of nonlinear ODEs is that seemingly minor...