483 search results - page 11 / 97 » Reachability Analysis of Hybrid Systems Using Support Functi... |
112
click to vote
ADAEUROPE
2005
Springer
15 years 3 months ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...
ICONS
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...
109
click to vote
CSB
2005
IEEE
15 years 3 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 ...
109
Voted
EUROCAST
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
DILS
2005
Springer
15 years 3 months ago
2005
Springer
: We present a new approach to integrate annotation data from public sources for the expression analysis of genes and proteins. Expression data is materialized in a data warehouse ...