2364 search results - page 262 / 473 » On O-Minimal Hybrid Systems |
101
click to vote
IJBC
2007
15 years 6 months ago
2007
In this paper we present a model of impact dynamics in large dimensional systems. We describe a hybrid method, based on graph theory and probability theory, which enables us quali...
166
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
154
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Today verification, testing and debugging of SystemC models can be applied at an early stage in the design process. To support these techniques gaining required information of ...
211
click to vote
CCGRID
2007
IEEE
16 years 1 months ago
2007
IEEE
Data Grids provide transparent access to heterogeneous and autonomous data resources. The main contribution of this paper is the presentation of a data sharing system that (i) is ...
187
click to vote
ICINCO
2004
15 years 8 months ago
2004
: We introduce a class of quasi-linear models for stochastic dynamics, called moment-linear stochastic systems (MLSS). We formulate MLSS and analyze their dynamics, as well as disc...