Sciweavers

800 search results - page 71 / 160
» An Observation Framework for Multi-agent Systems
Sort
View
IJCAI
2007
14 years 11 months ago
Scalable Diagnosability Checking of Event-Driven Systems
Diagnosability of systems is an essential property that determines how accurate any diagnostic reasoning can be on a system given any sequence of observations. Generally, in the l...
Anika Schumann, Yannick Pencolé
AAAI
2000
14 years 11 months ago
Bayesian Fault Detection and Diagnosis in Dynamic Systems
This paper addresses the problem of tracking and diagnosing complex systems with mixtures of discrete and continuous variables. This problem is a difficult one, particularly when ...
Uri Lerner, Ronald Parr, Daphne Koller, Gautam Bis...
LFCS
2007
Springer
15 years 4 months ago
Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!
Abstract. We consider weighted o-minimal hybrid systems, which extend classical o-minimal hybrid systems with cost functions. These cost functions are “observer variables” whic...
Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier
ATVA
2006
Springer
106views Hardware» more  ATVA 2006»
15 years 1 months ago
Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains
Motivated by recent applications of pushdown systems to computer security problems, we present an efficient algorithm for the reachability problem of alternating pushdown systems. ...
Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier E...
IDA
2010
Springer
14 years 12 months ago
Data Mining for Modeling Chiller Systems in Data Centers
We present a data mining approach to model the cooling infrastructure in data centers, particularly the chiller ensemble. These infrastructures are poorly understood due to the lac...
Debprakash Patnaik, Manish Marwah, Ratnesh K. Shar...