3995 search results - page 145 / 799 » Linearization of hybrid processes |
134
Voted
ECBS
2009
IEEE
15 years 11 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
175
click to vote
CSB
2005
IEEE
15 years 9 months ago
2005
IEEE
We developed a machine learning system for determining gene functions from heterogeneous sources of data sets using a Weighted Naive Bayesian Network (WNB). The knowledge of gene ...
210
Voted
ICDCS
2012
IEEE
13 years 6 months ago
2012
IEEE
—Cloud resources are usually priced in multiple markets with different service guarantees. For example, Amazon EC2 prices virtual instances under three pricing schemes — the su...
114
click to vote
AUTOMATICA
2002
15 years 3 months ago
2002
: This paper investigates the accuracy of the linear model estimate that forms a part of an overall Hammerstein model structure. A key finding here is that the process of estimatin...
154
Voted
SRDS
1999
IEEE
15 years 8 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...