The use of Finite State Machine Representation in Elevator Control Sequence Specifications

Finite State Machine representation has been used extensively in the design of Finite State Automatons (FSAs). Communication system protocols, microprocessor hardware and software systems as well as elevator systems are all well definable FSA’S, and can be represented as such. However, when elevator systems are specified or described, less effective alternate methods are utilized. Consequently, the final result is a poorly defined set of operations, needing clarification and interpretation for proper utilization. What I would like to propose is the use of FSA representation in the specifications, and the representation of elevator systems, as a standard when describing control sequences of operation.