Applied probabilistic AI for online diagnosis of a safety-critical system based on a quality assurance program

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Applied probabilistic AI for online diagnosis of a safety-critical system based on a quality assurance program

Full text

Pdf (670 KB)

Source

Symposium on Applied Computing archive
Proceedings of the 1999 ACM symposium on Applied computing table of contents

San Antonio, Texas, United States

Pages: 25 - 30

Year of Publication: 1999

ISBN:1-58113-086-4

Authors

Johannes Lauber	Institute for Technical Informatics, Technical University Graz, A-8010 Graz, Steyrergasse 17/IV
Christian Steger	Institute for Technical Informatics, Technical University Graz, A-8010 Graz, Steyrergasse 17/IV
Reinhold Weiss	Institute for Technical Informatics, Technical University Graz, A-8010 Graz, Steyrergasse 17/IV

Sponsors

SIGADA: ACM Special Interest Group on Ada Programming Language
SIGCUE: ACM Special Interest Group on Computer Uses In Education
SIGAPP: ACM Special Interest Group on Applied Computing
SIGBIO: ACM Special Interest Group on Biomedical Computing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 20, Citation Count: 0

Additional Information:

references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/298151.298172 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	S. Alag, K. Goebel, and A. M. Agogino. A Framework for Intelligent Sensor Valida~on, Sensor Fusion and Supervisory Control of Automatml Vehicles in IVHS. In Proceedings of the 1995 Annual Meeting of ITS America, pages 77-87, Washington D.C., March 1995.
	2	J. Binder, D. Koller, S. Russell, and K. Kanazawa. Adaptive Probabilistic Networks with Hidden Variables. In Proceedings of the 14th international Joint Conference on AI (IJCAI-95), pages 1146-1152, Montreal, Canada, August 1995.
	3	A. Y. W. Cheuk and C. Boutilier. Stmcam~ Arc Reversal and Simulation of Dynamic Probabilistic Networks. In Proceedings of the 13th Conference on Uncertainty in Aniftcial Intelligence ( UAI-97), Providence, Rhode Island. August 1997.
	4	David Harel , Michal Politi, Modeling Reactive Systems with Statecharts: The Statemate Approach, McGraw-Hill, Inc., New York, NY, 1998
	5	David Heckerman , Michael P. Wellman, Bayesian networks, Communications of the ACM, v.38 n.3, p.27-30, March 1995 [doi>10.1145/203330.203336]
	6	M. Huhae. Improved Sampling for Diagnostic Reasoning in Bayesian Networka. In Proceedings of the 11 th Conference on Uncertainty in Aniftcial Intelligence (UAI-95), Montreal, Canada, August 1995.
	7	International Organization for Standardization. 1SO 9001: Quality systems - Model for quality assurance in design/development, production, installation atut servicing. Geneva, Switzerland, 1987.
	8	Nathalie Jitnah , Ann E. Nicholson, Belief network algorithms: A study of performance based on domain characterization, Selected Papers from the Workshop on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations: Learning and Reasoning with Complex Representations, p.168-187, August 26-30, 1996
	9	K. Kanazawa, D. Koller, and S. Russell. Stochastic Simulation Algorithms for Dynamic Probabilistic Networks. In Proceedings of the 1 l th Conference on Uncertainty in Artificial Intelligence (UAI-95), Montreal, Canada, August 1995.
	10	P.J. Mosterman and G. Biswas. Monitoring, Prediction, and Fault Isolation in Dynamic Physical Systems. In Proceedings of AAAI-97, pages 100--105, Providence, Rhode Island, July 1997.
	11	P. J. Mosterman, G. Biswas, and N. Sriram. Measurement Selection and Diagnosability of Complex Physical Systems. In 8th international Workshop on Principles of Diagnosis (DX-97), pages 79---86, Mont. St. Michel, France, September 1997.
	12	Ann E. Nicholson, Fall Diagnosis using Dynamic Belief Networks, Proceedings of the 4th Pacific Rim International Conference on Artificial Intelligence: Topics in Artificial Intelligence, p.206-217, August 26-30, 1996
	13	A. E. Nicholson and J. M. Brady. Dynamic belief networks for discrete monitoring. IEEE Systen~, Matt atwI Cybernetics, 24(11):1593-1610, 1994.
	14	Judea Pearl, Probabilistic reasoning in intelligent systems: networks of plausible inference, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988
	15	Judea Pearl, Bayesian networks, The handbook of brain theory and neural networks, MIT Press, Cambridge, MA, 1998
	16	Stuart J. Russell , Peter Norvig, Artificial intelligence: a modern approach, Prentice-Hall, Inc., Upper Saddle River, NJ, 1995
	17	R. Sch'afer and T. Weyrath. Assessing Temporally Variable User Properties with Dynamic Bayesian Networks. In Proceedings of the 6th International Conference on User Modeling. Springer-Verlag, 1997.
	18	S. Srinivas. Modeling failure priors and persistence in model-based diagnosis. In Proceedings of the I lth Conference on Uncertainty in Artificial Intelligence (UAF 95), Montreal, Canada, August 1995.
	19	S. Srinivas and P. Nayak. Efficient enumeration of instantiations in Bayesian networks, in Proceedings of the 12th Conference on Uncertainty in Artificial Intelligence (UAI-96), Portland, Oregon, August 1996.
	20	C. Steger and R. Weiss. A Model-Based Real-Time Fault Diagnosis System in Technical Processes. In Proceedings of the l Oth International Conference on Applications of Artificial Intelligence in Engineering, pages 145-152, Udine, Italy, June 1995.
	21	R. Weiss and C. Steger. VEX: A distributed real-time expert system for model-based diagnosis in modular production systems. In M. Vallauri, editor, Proceedings of the First HIMAC Workshop, pages 91-99, Crania, Crete, 1995.
	22	R. Weiss and C. Steger. A Real-Time Multi-Agent System for Model-Based Fault Diagnosis in Modular Production Systems. In Proceedings of the World Multiconference on Systemics, Cybernetics atut Informatics SC1'97/ISAS'97, Caracas, Venezuela. July 1997.
	23	I-Ling Yen , Raymond Paul , Kinji Mori, Toward Integrated Methods for High-Assurance Systems, Computer, v.31 n.4, p.32-34, April 1998 [doi>10.1109/2.666840]