A practical approach for the online diagnosis of industrial transportation systems

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn , Issue , 2009, Pages 1318-1323

  Pill, Ingo ^a   Steinbauer, Gerald ^a   Wotawa, Franz ^a  

^a GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTION LEVEL; COMPOSITIONAL MODELS; DISTRIBUTED ITEMS; FLOW PARAMETERS; INDUSTRIAL FACILITIES; LOGIC CONSTRAINTS; MISROUTING; MODEL BASED DIAGNOSIS; ON-LINE DIAGNOSIS; SENSOR ERRORS; SYSTEM MODELS; TEMPORAL BEHAVIOR; TRANSIENT FAULTS; TRANSPORTATION SYSTEM;

ACCIDENT PREVENTION; FAULT DETECTION; FINITE AUTOMATA; INDUSTRY; ONLINE SYSTEMS; TEMPORAL LOGIC;

MATHEMATICAL MODELS;

EID: 79960901671     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20090630-4-ES-2003.0146     Document Type: Conference Paper

References (17)

1. P. Baroni, G. Lamperti, P. Pogliano, and M. Zanella. Diagnosis of large active systems. Artificial Intelligence, 110(1):135-183, 1999.
2. A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In Fifth International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'99), pages 193-207, March 1999.
3. V. Brusoni, L. Console, P. Terenziani, and D. T. Dupre. A spectrum of definitions for temporal model-based diagnosis. Artificial Intelligence, 102(1):39-79, 1998. (Pubitemid 128378357)
4. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, 1999. ISBN 0-262-03270-8.
5. G. Friedrich, M. Stumptner, and F. Wotawa. Model-based diagnosis of hardware designs. Artificial Intelligence, 111 (1-2):3-39, 1999.
6. M. Ghallab, R. Alami, and R. Chatila. Dealing with time in planning and execution monitoring. In Robotic Research 4, pages 431-443, 1988.
7. R. Greiner, B. A. Smith, R. W. Wilkerson, and R. W. Wilkerson. A correction to the algorithm in reiter's theory of diagnosis. Artificial Intelligence, 41(1):79-88, 1989. (Pubitemid 20633340)
8. V. Gupta and P. Struss. Modeling a copier paper path: A case study in modeling transportation processes. Technical Report TR-95-019, Berkeley, CA, 1995.
9. W. Hamscher, L. Console, and J. de Kleer, editors. Readings in model-based diagnosis. 1992. ISBN 1-55860-249-6.
10. G. Lamperti, M. Zanella, and D. Zanni. Incremental processing of temporal observations in model-based reasoning. AI Communications, 20(1):27-37, 2007. (Pubitemid 46706579)
11. R. Micalizio, P. Torasso, and G. Torta. On-line monitoring and diagnosis of a team of service robots: A model-based approach. AI Communications, 19(4):313-340, 2006.
12. D. Moundanos, J. A. Abraham, and Y. V. Hoskote. Abstraction techniques for validation coverage analysis and test generation. IEEE Transactions on Computers, 47(1):2-14, 1998. (Pubitemid 128740938)
13. I. Pill, S. Semprini, R. Cavada, M. Roveri, R. Bloem, and A. Cimatti. Formal analysis of hardware requirements. In Design Automation Conference, pages 821-826, 2006. (Pubitemid 47114008)
14. R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32(1):57-95, 1987.
15. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Diagnosability of discrete-event systems. IEEE Trans. on Automatic Control, 40(9):1555-1575, 1995.
16. P. Struss, A. Kather, D. Schneider, and T. Vogt. Qualitative modeling for diagnosis of machines transporting rigid objects. In 19th International Workshop on Principles of Diagnosis, pages 173-180, September 2008.
17. J. Weber and F. Wotawa. jdiagengine (download page), 2008. http://www.ist.tugraz.at/mordams/downloads.html.