-
Chapter
Model-Based Diagnosis with Probabilistic Models
The literature on stochastic methods for diagnosis is extensive, covering domains such as medicine [59], process control [10], and electronics [12]. The use uncertainty in modeling and inference arises due to s...
-
Chapter
Diagnosing Hybrid Dynamical Systems Using Max-Plus Algebraic Methods
This article uses an algebraic framework for hybrid systems diagnosis. We define hybrid systems using a class of discrete-event systems, max-plus linear discrete-event systems, which define synchronization wit...
-
Article
An efficient decentralized clustering algorithm for aggregation of noisy multi-mean data
We describe VarClust, a gossip-based decentralized clustering algorithm designed to support multi-mean decentralized aggregation in energy-constrained wireless sensor networks. We empirically demonstrate that Var...
-
Chapter and Conference Paper
Bayesian Model Selection for Diagnostics
Model-Based Diagnosis (MBD) addresses the task of isolating the most likely fault given a set of system measurements. The model used for diagnostics is critical to this isolation task, yet little work exists f...
-
Chapter and Conference Paper
A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics
Two key impediments for the commercial success of model-based diagnosis (MBD) include (a) a failure to integrate diagnostics modeling within the requirements and design phase, and (b) a high degree of diagnost...
-
Chapter and Conference Paper
Intelligent Hybrid Control Model for Lighting Systems Using Constraint-Based Optimisation
Lighting systems consume a considerable proportion of total energy budgets, particularly for retail and public-office applications, and hence their optimisation can save considerable amounts of energy. This pa...
-
Chapter and Conference Paper
WSAN QoS Driven Control Model for Building Operations
Currently wireless based control systems lack appropriate development methodologies and tools. The control model and its underlying wireless network are typically developed separately, which can lead to unstab...
-
Chapter and Conference Paper
Temporal Model-Based Diagnostics Generation for HVAC Control Systems
Optimizing energy usage in buildings requires global models that integrate multiple factors contributing to energy, such as lighting, “Heating, Ventilating, and Air Conditioning” (HVAC), security, etc. Model t...
-
Chapter and Conference Paper
A Comparative Analysis of Specific Spatial Network Topological Models
Creating ensembles of random but “realistic” topologies for complex systems is crucial for many tasks such as benchmark generation and algorithm analysis. In general, explanatory models are preferred to captur...
-
Chapter and Conference Paper
Characterizing the Structural Complexity of Real-World Complex Networks
Although recent research has shown that the complexity of a network depends on its structural organization, which is linked to the functional constraints the network must satisfy, there is still no systematic ...
-
Chapter and Conference Paper
Generalizing Global Constraints Based on Network Flows
Global constraints are used in constraint programming to help users specify patterns that occur frequently in the real world. In addition, global constraints facilitate the use of efficient constraint propagat...
-
Chapter and Conference Paper
Approximate Model-Based Diagnosis Using Greedy Stochastic Search
Most algorithms for computing diagnoses within a model-based diagnosis framework are deterministic. Such algorithms guarantee soundness and completeness, but are NP-hard. To overcome this complexity problem, w...
-
Chapter and Conference Paper
Approximate Model-Based Diagnosis Using Preference-Based Compilation
This article introduces a technique for improving the efficiency of diagnosis through approximate compilation. We extend the approach of compiling a diagnostic model, as is done by, for example, an ATMS, to co...
-
Chapter
Agent-Based, Distributed Diagnosis for Shipboard Systems
The ability to reconfigure a ship’s engineering plant in response to changing mission or equipment conditions can dramatically increase a ship’s capability and survivability. We describe the agent-based, distr...
-
Chapter and Conference Paper
A lattice-theoretic analysis of ATMS problem solving
This paper presents a lattice-theoretic formalization of the ATMS which allows us to define the semantics of the ATMS, the ATMS labeling operation, as well as focusing algorithms for the ATMS. These focusing a...