2007

1. Adaptive structural analysis for FDI design in evolving systems (D. Düştegör, V. Cocquempot and M. Staroswiecki), volume 1, 2007.

   Abstract

   Although structural analysis for Fault Detection and Isolation (FDI) is a well formalized method, a significant effort has still to be made concerning implementation issues and algorithmic aspects to make the method better applicable for real life industrial problems. System's evolution is one of these points to be considered. The main contribution of this chapter is an adaptive/evolutive algorithm that avoids unnecessary duplication of work by efficiently making use of already generated results. The benefit of such an adaptive algorithm is twofold. First, it enables determining structural properties and performing structural analysis efficiently when system structure changes. Second, such an algorithm is an important tool for safe system design. The chapter recalls the main steps of structural analysis for FDI, analyzes the different kinds of structure modifications that can occur, treats the constraint removal case, proposes a solution to the constraint addition case, and finally, summarizes the whole analysis. © 2007 Copyright © 2007 Elsevier Ltd All rights reserved.

   ---

   BibTeX

   
   @book{Dustegor2007, abstract = {Although structural analysis for Fault Detection and Isolation (FDI) is a well formalized method, a significant effort has still to be made concerning implementation issues and algorithmic aspects to make the method better applicable for real life industrial problems. System's evolution is one of these points to be considered. The main contribution of this chapter is an adaptive/evolutive algorithm that avoids unnecessary duplication of work by efficiently making use of already generated results. The benefit of such an adaptive algorithm is twofold. First, it enables determining structural properties and performing structural analysis efficiently when system structure changes. Second, such an algorithm is an important tool for safe system design. The chapter recalls the main steps of structural analysis for FDI, analyzes the different kinds of structure modifications that can occur, treats the constraint removal case, proposes a solution to the constraint addition case, and finally, summarizes the whole analysis. © 2007 Copyright © 2007 Elsevier Ltd All rights reserved.}, author = {D. Düştegör and V. Cocquempot and M. Staroswiecki}, doi = {10.1016/B978-008044485-7/50071-3}, isbn = {9780080444857}, journal = {Fault Detection, Supervision and Safety of Technical Processes 2006}, title = {Adaptive structural analysis for FDI design in evolving systems}, volume = {1}, year = {2007}, }

   ---

   doi
2. Handbook of Spatial Logics (M. Aiello, I. Pratt-Hartman and J. van Benthem), Springer, 2007.

   BibTeX

   
   @book{aiello2007:han, author = {M. Aiello and I. Pratt-Hartman and J. van Benthem}, publisher = {Springer}, title = {Handbook of Spatial Logics}, year = {2007}, }

   ---

3. Requirements and Evaluation of Protocols and Tools for Transaction Management in Service Centric Systems (C. Sun and M. Aiello), In Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International, volume 2, 2007.

   BibTeX

   
   @inproceedings{sun2007:ieee, author = {C. Sun and M. Aiello}, booktitle = {Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International}, pages = {461--466}, title = {Requirements and Evaluation of Protocols and Tools for Transaction Management in Service Centric Systems}, volume = {2}, year = {2007}, url = {http://www.cs.rug.nl/~aiellom/publications/refs07.pdf}, }

   ---

   url
4. The Mathematical Morpho-Logical view on Reasoning about Space (M. Aiello and B. Ottens), In International Joint Conference on Artificial Intelligence, 2007.

   BibTeX

   
   @inproceedings{aiello2007:mat, author = {M. Aiello and B. Ottens}, booktitle = {International Joint Conference on Artificial Intelligence}, pages = {205--211}, title = {The Mathematical Morpho-Logical view on Reasoning about Space}, url = {http://www.cs.rug.nl/~aiellom/publications/ijcai07.pdf}, year = {2007}, }

   ---

   url
5. DMC Workshop Final Report (M. Aiello, S. Dustdar and H. Gall), In Enabling Technologies: Infrastructure for Collaborative Enterprises, 2007. WETICE 2007. 16th IEEE International Workshops on, 2007.

   BibTeX

   
   @inproceedings{aiello2007:ieee, author = {M. Aiello and S. Dustdar and H. Gall}, booktitle = {Enabling Technologies: Infrastructure for Collaborative Enterprises, 2007. WETICE 2007. 16th IEEE International Workshops on}, pages = {167--169}, title = {DMC Workshop Final Report}, year = {2007}, url = {http://dx.doi.org/10.1109/WETICE.2007.4407145}, }

   ---

   url