Self-Diagnosis and Self-Planning with Constraint-based Hybrid Models
نویسندگان
چکیده
Many of today’s embedded systems – such as automobiles, automated factories or chemical plants – are an increasingly complex mixture of hardware components and embedded control software, showing both continuous (vehicle dynamics, silo fill levels) and discrete (software) behavior. As complexity grows, handling such systems, e.g. diagnosing and repairing faults, becomes harder. This problem is addressed by model-based reasoning, which enhances these systems with self-diagnosis and self-planning capabilities based on Hidden Markov Models (HMMs) of their structure and behavior. At the heart of these capabilities are the problems of estimating the internal state and automatically plan intelligent control (re)actions. However, HMMs cannot model continuous behavior. In my thesis, I address the stated problems for hybrid systems with an integrated approach combining concepts from AI (constraint optimization, HMM reasoning), fault diagnosis in hybrid systems (stochastic abstraction of continuous behavior), and hybrid systems verification (hybrid automata).
منابع مشابه
Nursing Process of Tibia Fracture Client Based on Orem Self-Care Model: A Case Study
Introduction: Nursing profession and field, as a scientific field, needs a scientific basis of which nursing models were and still are. One of the prominent models in nursing is Orem's self-care model. Therefore, this study was conducted with the aim of applying the nursing process based on the Orem self-care model in patients with tibia fractures. Methods: In this case study, the nursing proc...
متن کاملDiagnosis and Fault-Adaptive Control for Mechatronic Systems using Hybrid Constraint Automata
Many of today’s mechatronic systems – such as automobiles, automated factories or chemical plants – are a complex mixture of hardware components and embedded control software, showing both continuous (vehicle dynamics, robot motion) and discrete (software) behavior. The problems of estimating the internal discrete/continuous state and automatically devising control actions as intelligent reacti...
متن کاملDeveloping A Fault Diagnosis Approach Based On Artificial Neural Network And Self Organization Map For Occurred ADSL Faults
Telecommunication companies have received a great deal of research attention, which have many advantages such as low cost, higher qualification, simple installation and maintenance, and high reliability. However, the using of technical maintenance approaches in Telecommunication companies could improve system reliability and users' satisfaction from Asymmetric digital subscriber line (ADSL) ser...
متن کاملDynamics and Regulation of Locomotion of a Human Swing Leg as a Double-Pendulum Considering Self-Impact Joint Constraint
Background:Despite some successful dynamic simulation of self-impact double pendulum (SIDP)-as humanoid robots legs or arms- studies, there is limited information available about the control of one leg locomotion.Objective :The main goal of this research is to improve the reliability of the mammalians leg locomotion and building more elaborated models close to the natural movements, by modelin...
متن کاملAdaptive Abstraction of Constraint-Based Models for Self-Diagnosis and Planning
ion. A belief state approximation implementing adaptive abstraction would improve on L2’s k-best method or N-Stage BFTE because it provides a more fine grained control than Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (2008)
متن کامل