Abstract

In the present paper, the parametric model of a multi-elevator system, for use in mines, will be presented using discrete event systems. The total multi-elevator system will be modeled as the synchronous product of the finite state automata modeling each of the individual elevators. The desired behavior of the total system will be presented in the form of six rules. The rules will be translated to six parametric, with respect to the number of the system’s elevators, regular languages. A set of six supervisor automata, realizing the regular languages, will be designed. The proof of the controllability of the languages with respect to the system, through the property of physical realizability, and the proof of the nonblocking property of the total controlled automaton will be presented.