Publication

Abstract : Modern high-rises and metropolitan areas rely largely on efficient elevator systems to control the vertical movement of people. However, traditional elevator control systems frequently fail to fulfill the needs of a growing population and changing usage patterns. The proposed paper seeks to evaluate how automata theory can be used to establish an elevator system that works efficiently. Each elevator is represented as an individual finite automaton. A composite automaton to coordinate the actions, the system’s behaviour and interactions is modelled. The Deterministic Finite Automaton (DFA) model specifies the states and transitions of the two cooperating lifts to optimise passenger service. The model considers numerous situations that include passenger requests through the floor, emergencies, maintenance, and the adaptation for power failures. This DFA-based design is targeted to increase elevator efficiency many times over, reduce waiting time, save energy, and provide a better passenger service experience before the implementation.