5030 search results - page 772 / 1006 » cases 2007 |
167
click to vote
HYBRID
2007
Springer
16 years 25 days ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
197
click to vote
HYBRID
2007
Springer
16 years 25 days ago
2007
Springer
Hybrid discrete-continuous models, such as Jump Markov Linear Systems, are convenient tools for representing many real-world systems; in the case of fault detection, discrete jumps...
151
click to vote
HYBRID
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
157
click to vote
HYBRID
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. This paper considers piecewise affine models of genetic regulatory networks and focuses on the problem of detecting switches among different modes of operation in gene e...
169
click to vote
ICA
2007
Springer
16 years 25 days ago
2007
Springer
The discussion in this paper revolves around the notion of separation problems. The latter can be thought of as a unifying concept which includes a variety of important problems in...