document: Using DEVS formalism to operationalize ELP models for diagnosis in SACHEM This paper describes an original approach to discrete event control of continuous processes by means of expert knowledge . We present an application of this approach on the SACHEM diagnosis subsystem . The SACHEM system is a large-scale knowledge-based system that aims in helping a set of operators to control the dynamics of complex continuous systems -LRB- e.g. , blast furnaces -RRB- . The proposed method is based on : -LRB- i -RRB- The definition of a language facilitating the acquisition and representation of expert knowledge , called ELP -LRB- Expert Language Process -RRB- ; -LRB- ii -RRB- The use of the DEVS formalism to make ELP models operational ; -LRB- iii -RRB- Algorithms for exploiting operational models
doc_bio_tags: O B O O O B I O O O B O O O O O O O B I I O B I O O O B I O O O O O O O O O O B O O O O B O O O O O O O O O O O O O O O O O O O B I I O O O O O O O O O O O O O O O O O O O O O O O O O O O O B I O O O O O O O O O O O O O O O O B O O O B I O O O O O O O O O O