Diagnosis of Active Systems
Author: G. Lamperti
Publisher:
Published: 2014-01-15
Total Pages: 464
ISBN-13: 9789401702584
DOWNLOAD EBOOK →Author: G. Lamperti
Publisher:
Published: 2014-01-15
Total Pages: 464
ISBN-13: 9789401702584
DOWNLOAD EBOOK →Author: Gianfranco Lamperti
Publisher: Springer
Published: 2018-06-20
Total Pages: 353
ISBN-13: 3319927337
DOWNLOAD EBOOK →This book is an up-to-date self-contained compendium of the research carried out by the authors on model-based diagnosis of a class of discrete-event systems called active systems. After defining the diagnosis problem, the book copes with a variety of reasoning mechanisms that generate the diagnosis, possibly within a monitoring setting. The book is structured into twelve chapters, each of which has its own introduction and concludes with bibliographic notes and itemized summaries. Concepts and techniques are presented with the help of numerous examples, figures, and tables, and when appropriate these concepts are formalized into propositions and theorems, while detailed algorithms are expressed in pseudocode. This work is primarily intended for researchers, professionals, and graduate students in the fields of artificial intelligence and control theory.
Author: G. Lamperti
Publisher: Springer Science & Business Media
Published: 2013-03-09
Total Pages: 440
ISBN-13: 9401702578
DOWNLOAD EBOOK →This book is about model-based diagnosis of a class of discrete-event systems called active systems. Roughly, model-based diagnosis is the task of finding out the faulty components of a physical system based on the observed behavior and the system model. An active system is the abstraction of a physical artefact that is modeled as a network of com municating automata. For example, the protection apparatus of a power transmission network can be conveniently modeled as an active system, where breakers, protection devices, and lines are naturally described by finite state machines. The asynchronous occurrence of a short circuit on a line or a bus-bar causes the reaction of the protection devices, which aims to isolate the shorted line. This reaction can be faulty and several lines might be eventually isolated, rather than the shorted line only. The diagnostic problem to be solved is uncovering the faulty devices based the visible part of the reaction. Once the diagnosis task has been on accomplished, the produced results are exploited to fix the apparatus (and also to localize the short circuit, in this sample case). Interestingly, the research presented in this book was triggered a decade ago by a project 011 short circuit localization, conducted by ENEL, the Italian electricity board, along with other industrial and academic European partners.
Author: Roberto Garatti
Publisher:
Published: 2002
Total Pages: 8
ISBN-13:
DOWNLOAD EBOOK →Active systems are a class of discrete-event systems modeled as networks of non-deterministic automata communicating through either synchronous or asynchronous connection links. The model-based diagnosis of an active system is carried out by first reconstructing its behavior based on the observation, from which faults are later derived. The complexity of behavior reconstruction is exacerbated by the possibility of queuing events within links, thereby making essential the simulation of the order in which events are buffered within links. Unfortunately some sequences of events may lead to blind alleys in the search space. This is especially critical if events exchanged among components are assumed to be uncertain, as the number of alternative sequences of queued events is still larger. Therefore, behavior reconstruction without any prospection in the search space is generally bound to detrimental backtracking. To make diagnosis of active systems more efficient, we present an off-line technique for processing the models inherent to the system at hand so as to automatically generate prospection knowledge relevant to the mode in which events are produced and consumed over links. Such a knowledge is then exploited on-line, when the diagnostic engine is running, to guide the search process, thus reducing both time and space.
Author: G. Lamperti
Publisher: Springer Science & Business Media
Published: 2003-06-30
Total Pages: 472
ISBN-13: 9781402074875
DOWNLOAD EBOOK →This book is about model-based diagnosis of a class of discrete-event systems called active systems. Roughly, model-based diagnosis is the task of finding out the faulty components of a physical system based on the observed behavior and the system model. An active system is the abstraction of a physical artefact that is modeled as a network of com municating automata. For example, the protection apparatus of a power transmission network can be conveniently modeled as an active system, where breakers, protection devices, and lines are naturally described by finite state machines. The asynchronous occurrence of a short circuit on a line or a bus-bar causes the reaction of the protection devices, which aims to isolate the shorted line. This reaction can be faulty and several lines might be eventually isolated, rather than the shorted line only. The diagnostic problem to be solved is uncovering the faulty devices based the visible part of the reaction. Once the diagnosis task has been on accomplished, the produced results are exploited to fix the apparatus (and also to localize the short circuit, in this sample case). Interestingly, the research presented in this book was triggered a decade ago by a project 011 short circuit localization, conducted by ENEL, the Italian electricity board, along with other industrial and academic European partners.
Author: National Academies of Sciences, Engineering, and Medicine
Publisher: National Academies Press
Published: 2015-12-29
Total Pages: 473
ISBN-13: 0309377722
DOWNLOAD EBOOK →Getting the right diagnosis is a key aspect of health care - it provides an explanation of a patient's health problem and informs subsequent health care decisions. The diagnostic process is a complex, collaborative activity that involves clinical reasoning and information gathering to determine a patient's health problem. According to Improving Diagnosis in Health Care, diagnostic errors-inaccurate or delayed diagnoses-persist throughout all settings of care and continue to harm an unacceptable number of patients. It is likely that most people will experience at least one diagnostic error in their lifetime, sometimes with devastating consequences. Diagnostic errors may cause harm to patients by preventing or delaying appropriate treatment, providing unnecessary or harmful treatment, or resulting in psychological or financial repercussions. The committee concluded that improving the diagnostic process is not only possible, but also represents a moral, professional, and public health imperative. Improving Diagnosis in Health Care, a continuation of the landmark Institute of Medicine reports To Err Is Human (2000) and Crossing the Quality Chasm (2001), finds that diagnosis-and, in particular, the occurrence of diagnostic errorsâ€"has been largely unappreciated in efforts to improve the quality and safety of health care. Without a dedicated focus on improving diagnosis, diagnostic errors will likely worsen as the delivery of health care and the diagnostic process continue to increase in complexity. Just as the diagnostic process is a collaborative activity, improving diagnosis will require collaboration and a widespread commitment to change among health care professionals, health care organizations, patients and their families, researchers, and policy makers. The recommendations of Improving Diagnosis in Health Care contribute to the growing momentum for change in this crucial area of health care quality and safety.
Author: Pieter Kubben
Publisher: Springer
Published: 2018-12-21
Total Pages: 219
ISBN-13: 3319997130
DOWNLOAD EBOOK →This open access book comprehensively covers the fundamentals of clinical data science, focusing on data collection, modelling and clinical applications. Topics covered in the first section on data collection include: data sources, data at scale (big data), data stewardship (FAIR data) and related privacy concerns. Aspects of predictive modelling using techniques such as classification, regression or clustering, and prediction model validation will be covered in the second section. The third section covers aspects of (mobile) clinical decision support systems, operational excellence and value-based healthcare. Fundamentals of Clinical Data Science is an essential resource for healthcare professionals and IT consultants intending to develop and refine their skills in personalized medicine, using solutions based on large datasets from electronic health records or telemonitoring programmes. The book’s promise is “no math, no code”and will explain the topics in a style that is optimized for a healthcare audience.
Author: Institute of Medicine
Publisher: National Academies Press
Published: 2007-11-11
Total Pages: 284
ISBN-13: 0309111145
DOWNLOAD EBOOK →Early detection is essential to the control of emerging, reemerging, and novel infectious diseases, whether naturally occurring or intentionally introduced. Containing the spread of such diseases in a profoundly interconnected world requires active vigilance for signs of an outbreak, rapid recognition of its presence, and diagnosis of its microbial cause, in addition to strategies and resources for an appropriate and efficient response. Although these actions are often viewed in terms of human public health, they also challenge the plant and animal health communities. Surveillance, defined as "the continual scrutiny of all aspects of occurrence and spread of a disease that are pertinent to effective control", involves the "systematic collection, analysis, interpretation, and dissemination of health data." Disease detection and diagnosis is the act of discovering a novel, emerging, or reemerging disease or disease event and identifying its cause. Diagnosis is "the cornerstone of effective disease control and prevention efforts, including surveillance." Disease surveillance and detection relies heavily on the astute individual: the clinician, veterinarian, plant pathologist, farmer, livestock manager, or agricultural extension agent who notices something unusual, atypical, or suspicious and brings this discovery in a timely way to the attention of an appropriate representative of human public health, veterinary medicine, or agriculture. Most developed countries have the ability to detect and diagnose human, animal, and plant diseases. Global Infectious Disease Surveillance and Detection: Assessing the Challenges-Finding Solutions, Workshop Summary is part of a 10 book series and summarizes the recommendations and presentations of the workshop.
Author: Dorothee Heemskerk
Publisher: Springer
Published: 2015-07-17
Total Pages: 66
ISBN-13: 3319191322
DOWNLOAD EBOOK →This work contains updated and clinically relevant information about tuberculosis. It is aimed at providing a succinct overview of history and disease epidemiology, clinical presentation and the most recent scientific developments in the field of tuberculosis research, with an emphasis on diagnosis and treatment. It may serve as a practical resource for students, clinicians and researchers who work in the field of infectious diseases.
Author: King K. Holmes
Publisher: World Bank Publications
Published: 2017-11-06
Total Pages: 506
ISBN-13: 1464805253
DOWNLOAD EBOOK →Infectious diseases are the leading cause of death globally, particularly among children and young adults. The spread of new pathogens and the threat of antimicrobial resistance pose particular challenges in combating these diseases. Major Infectious Diseases identifies feasible, cost-effective packages of interventions and strategies across delivery platforms to prevent and treat HIV/AIDS, other sexually transmitted infections, tuberculosis, malaria, adult febrile illness, viral hepatitis, and neglected tropical diseases. The volume emphasizes the need to effectively address emerging antimicrobial resistance, strengthen health systems, and increase access to care. The attainable goals are to reduce incidence, develop innovative approaches, and optimize existing tools in resource-constrained settings.