660 search results - page 43 / 132 » Improving AOR method for consistent linear systems |
134
click to vote
CDC
2008
IEEE
16 years 13 days ago
2008
IEEE
— In this paper we propose a testing based method for safety/ reachability analysis of stochastic hybrid systems. Testing based methods are characterized by analysis based on the...
151
click to vote
FORTE
2008
15 years 7 months ago
2008
Abstract. Several recent works have considered parameterized verification, i.e. automatic verification of systems consisting of an arbitrary number of finite-state processes organi...
181
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Quasi-steady state approximation (QSSA) based on time-scale analysis is known to be an effective method for simplifying metabolic reaction system, but the conventional...
166
click to vote
JAIR
2008
15 years 6 months ago
2008
In this article we consider the issue of optimal control in collaborative multi-agent systems with stochastic dynamics. The agents have a joint task in which they have to reach a ...
146
click to vote
IJBC
2008
15 years 6 months ago
2008
Considering trajectory curves, integral of n-dimensional dynamical systems, within the framework of Differential Geometry as curves in Euclidean n-space it will be established in ...