SATOOL - A SOFTWARE TOOL FOR STRUCTURAL ANALYSIS OF COMPLEX AUTOMATION SYSTEMS 1,2

Abstract The paper introduces Sa Tool, a tool for structural analysis, the use of the Matlab ® -based 3 implementation is presented and special features are introduced, which were motivated by industrial users. Salient features of tool are presented, including the ability to specify the behavior of a complex system at a high level of functional Abstraction, analyze single and multiple fault scenarios and automatically generate parity relations for diagnosis for the system in normal and impaired conditions. User interface and algorithmic details are presented.

[1]  Karl Johan Åström,et al.  Control of complex systems , 2001 .

[2]  Richard M. Karp,et al.  A n^5/2 Algorithm for Maximum Matchings in Bipartite Graphs , 1971, SWAT.

[3]  Katalin M. Hangos,et al.  Structural solvability analysis of dynamic process models , 2001 .

[4]  Philippe Declerck.  Analyse structurale et fonctionnelle des grands systèmes : applications à une centrale PWR 900 MW , 1991 .

[5]  M. Staroswiecki,et al.  A structural analysis method formulation for fault-tolerant control system design , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[6]  Mogens Blanke,et al.  Cheap diagnosis using structural modelling and fuzzy-logic-based detection , 2003 .

[7]  Roozbeh Izadi-Zamanabadi.  Fault-tolerant Supervisory Control: System Analysis and Logic Design , 1999 .

[8]  M. Staroswiecki,et al.  Generation of Optimal Structured Residuals in the Parity Space , 1993 .

[9]  N. S. Mendelsohn,et al.  Two Algorithms for Bipartite Graphs , 1963 .

[10]  M. Staroswiecki,et al.  ANALYTICAL REDUNDANCY IN NON LINEAR INTERCONNECTED SYSTEMS BY MEANS OF STRUCTURAL ANALYSIS , 1989 .

[11]  Michel Kinnaert,et al.  Diagnosis and Fault-Tolerant Control , 2006 .

[12]  R. Lathe.  Phd by thesis , 1988, Nature.

[13]  Mogens Blanke,et al.  Industrial use of structural analysis - a rapid prototyping tool in the public domain , 2004 .

[14]  W. Marquardt,et al.  Structural analysis of differential-algebraic equation systems—theory and applications , 1995 .

[15]  Mattias Krysander,et al.  An Efficient Algorithm for Finding Over-constrained Sub-systems for Construction of Diagnostic Tests , 2005 .