573 search results - page 38 / 115 » Diagnosis of Discrete-Event Systems Using Satisfiability Alg... |
EAAI
2007
14 years 10 months ago
2007
In this work, stability control of bipedal standing is investigated. The biped is simplified as an inverted pendulum with a foot-link. The controller consists of a general regres...
100
click to vote
ICPADS
2005
IEEE
15 years 3 months ago
2005
IEEE
This work presents a new comparison-based diagnosis model and a new algorithm, called Hi-Dif, based on this model. The algorithm is used for checking the integrity of systems with...
ICAC
2005
IEEE
15 years 3 months ago
2005
IEEE
Detection and diagnosis of faults in a large-scale distributed system is a formidable task. Interest in monitoring and using traces of user requests for fault detection has been o...
HIS
2009
14 years 7 months ago
2009
The problem of failure diagnosis has received a considerable attention in the domain of reliability engineering, process control and computer science. The increasing stringent req...
JAR
2008
14 years 10 months ago
2008
Much research in the area of constraint processing has recently been focused on extracting small unsatisfiable "cores" from unsatisfiable constraint systems with the goal...