Nova Publishers
My Account Nova Publishers Shopping Cart
HomeBooksSeriesJournalsReference CollectionseBooksInformationSalesImprintsFor Authors
  Top » Catalog » Books » Computer Science and Robotics » Horizons in Computer Science Research. Volume 4 » My Account  |  Cart Contents  |  Checkout   
Quick Find
Use keywords to find the product you are looking for.
Advanced Search
What's New? more
_Cancer Research Journal - This journal ceased publication after 4#4 (2010). Back Issues are available.
Shopping Cart more
0 items
Shipping & Returns
Privacy Notice
Conditions of Use
Contact Us
Notifications more
NotificationsNotify me of updates to Principles of Distributed Model-Based Diagnosis of Active Systems (pp.253-270)
Tell A Friend
Tell someone you know about this product.
Principles of Distributed Model-Based Diagnosis of Active Systems (pp.253-270) $100.00
Authors:  (Gianfranco Lamperti, Marina Zanella, Dipartimento di Ingegneria dell’Informazione, Universita degli Studi di Brescia, Italy)
Active systems are a class of discrete-event systems (DESs) that has been the focus of the
authors’ research over the last decade [?, ?, ?, ?, ?, ?, ?]. Based on past work, by now
the awareness has grown that, in order to cope with model-based diagnosis of DESs, it is
not enough to model them as composite systems, as done by most approaches [?, ?, ?, ?],
it is also necessary to process them in a stepwise, modular way. This is the reason for
the proposal of a problem – decomposition, solution – composition paradigm for modelbased
diagnosis of active systems [?], and for an increasing use of decentralized features,
such as the observation [?], or the diagnosis method [?] of other classes of DESs. All
these contributions denote progressive attempts to pinpoint some major requirements of
distributed model-based diagnosis (DMBD) of DESs.
This chapter defines and substantiates the task of (general) DMBD of active systems
with the support of six requirements. Specifically, Sections 2 through 7 introduce the requirements
guiding the formulation of DMBD, and instantiate them in the domain of active
systems. In particular, Section 6 emphasizes the issue of processing optimization by introducing
Active Algebra and relevant equivalence rules, while Section 7 deals with a method
for monotonically updating a complete set of candidate diagnosis during the processing.
Related work is discussed in Section 8. Conclusions are drawn in Section 9. 

Available Options:
Special Focus Titles
01.Violent Communication and Bullying in Early Childhood Education
02.Cultural Considerations in Intervention with Women and Children Exposed to Intimate Partner Violence
03.Chronic Disease and Disability: The Pediatric Lung
04.Fruit and Vegetable Consumption and Health: New Research
05.Fire and the Sword: Understanding the Impact and Challenge of Organized Islamism. Volume 2

Nova Science Publishers
© Copyright 2004 - 2020

Principles of Distributed Model-Based Diagnosis of Active Systems (pp.253-270)