M. Goring and H. G. Schecker. HAZEXPERT: An integrated expert system to support hazard analysis in process plant design. Computers Chemical Engineering, 17:429--434, 1993. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Tool for Hazard Detection in Hybrid Systems - Herrmann (2000) (Correct)
....descriptions of hybrid systems in order to detect subtle design faults which may cause hazards. Moreover, the teams try to detect the sources of the faults, predict consequences, and develop counter measures. In order to facilitate HazOp studies, tool assistance is proposed based on expert systems [5, 8, 26, 29] and on simulation [6, 24, 31] Other approaches support the model based formal analysis in order to achieve formal safety proofs of hybrid technical systems [3, 25, 27, 31] Corresponding tool support is based on exhaustive state space exploration [28] and on symbolic model checking [2, 22, 25] ....
M. Goring and H. G. Schecker. HAZEXPERT: An integrated expert system to support hazard analysis in process plant design. Computers Chemical Engineering, 17:429--434, 1993.
Formal Hazard Analysis of Hybrid Systems in cTLA - Herrmann, Krumm (1999) (Correct)
....faults. Furthermore, the teams detect the sources of a fault, predict possible consequences, and develop counter measures. Various approaches to support the normally time consuming and expensive HazOps have been developed. Besides expert systems assisting the examination of technical plants (cf. [5, 8, 22, 25]) mainly modelbased approaches were investigated. For the plants abstract models are created, where the continuous flows of the plant are specified by a discrete set of states. The models are specified by qualitative equations [3, 27] Petri nets [23] or temporal logical formulas [21] ....
M. Goring and H. G. Schecker. HAZEXPERT: An integrated expert system to support hazard analysis in process plant design. Computers Chemical Engineering, 17:429--434, 1993.
Classification and Approximation with Rule-Based Networks - Higgins, Jr. (Correct)
....configures VAX systems for Digital Equipment Corporation. Expert systems are still widely used today, as can be seen by the literally hundreds of papers about them in the literature of various disciplines, for example, Civil Engineering [TTE91] Chemistry [MWM91, HBZ92] Chemical Engineering [GS93] and Nuclear Science [CCC93] A major part of the symbolic AI effort was devoted to the learning of rules from domain examples. Mitchell s version spaces [Mit77] algorithm learned by looking at examples one after the other and generalizing or specializing as necessary so as to arrive at a ....
M. Goring and H. Schecker, "Hazexpert --- an integrated expert system to support hazard analysis in process plant-design," Computers and Chemical Engineering, 17(S):429--34, 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC