4693 search results - page 131 / 939 » Verifying Hybrid Systems |
115
Voted
APNOMS
2006
Springer
15 years 4 months ago
2006
Springer
Distributed computing systems are continuously increasing in complexity and cost of managing, and system management tasks require significantly higher levels of autonomic managemen...
88
Voted
INFORMATICALT
2007
15 years 21 days ago
2007
In this article we present the general architecture of a hybrid neuro-symbolic system for the selection and stepwise elimination of predictor variables and non-relevant individuals...
144
Voted
ISLPED
2006
ACM
15 years 6 months ago
2006
ACM
—Fuel cell (FC) is a viable alternative power source for portable applications; it has higher energy density than traditional Li-ion battery and thus can achieve longer lifetime ...
126
click to vote
HYBRID
2004
Springer
15 years 6 months ago
2004
Springer
We present a parameter inference algorithm for autonomous stochastic linear hybrid systems, which computes a maximum-likelihood model, given only a set of continuous output data of...
115
click to vote
HYBRID
2001
Springer
15 years 5 months ago
2001
Springer
Efficient algorithms exist for fault detection and isolation of physical systems based on functional redundancy. In a qualitative approach, this redundancy can be captured by a tem...