Design of elevator control systems using statecharts

Statechart has been utilized as a visual formalism for the modeling of complex and interactive systems for its illuminating features on describing properties of causality, concurrency, and synchronization. This paper employs the application of statechart to design an elevator control system, whose system behavior involves aggregating complexity of state descriptions, and imposition of underlying control policy. Based on the rules of an elevator, we derive the associated statechart model by looking into the inherent hierarchical structure of the elevator.

[1]  John N. Tsitsiklis,et al.  On the control of discrete-event dynamical systems , 1987, 26th IEEE Conference on Decision and Control.

[2]  Dan Keun Sung,et al.  Performance analysis of an elevator system during up-peak , 2009, Math. Comput. Model..

[3]  Maria Cristina Ferreira de Oliveira,et al.  Hypercharts: Extended Statecharts to Support Hypermedia Specification , 1999, IEEE Trans. Software Eng..

[4]  Wooi Ping Hew,et al.  An Elevator Group Control System With a Self-Tuning Fuzzy Logic Group Controller , 2010, IEEE Transactions on Industrial Electronics.

[5]  Derek Coleman,et al.  Introducing Objectcharts or how to use Statecharts in object-oriented design , 1992 .

[6]  Jin-Shyan Lee,et al.  Statechart-based representation of hybrid controllers for vehicle automation , 2006 .

[7]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[8]  Michael Heymann,et al.  Control of discrete event systems modeled as hierarchical state machines , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

[9]  Kotaro Hirasawa,et al.  A Double-Deck Elevator Group Supervisory Control System Using Genetic Network Programming , 2008, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[10]  Peter E. Caines,et al.  The logical control of an elevator , 1995, IEEE Trans. Autom. Control..

[11]  Doron Drusinsky,et al.  Using statecharts for hardware description and synthesis , 1989, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[12]  MuDer Jeng,et al.  MODELING AND CONTROL OF ELEVATORS BY STATECHARTS , 2008 .

[13]  P. Ramadge,et al.  Modular Feedback Logic for Discrete Event Systems , 1987 .

[14]  A. Pnueli,et al.  STATEMATE: a working environment for the development of complex reactive systems , 1988, [1988] Proceedings. The Third Israel Conference on Computer Systems and Software Engineering.

[15]  Paulo César Masiero,et al.  A reachability tree for statecharts and analysis of some properties , 1994, Inf. Softw. Technol..

[16]  Arcot Sowmya,et al.  Extending Statecharts with Temporal Logic , 1998, IEEE Trans. Software Eng..

[17]  Christos G. Cassandras,et al.  Design and implementation of an adaptive dispatching controller for elevator systems during uppeak traffic , 1998, IEEE Trans. Control. Syst. Technol..

[18]  Christos G. Cassandras,et al.  Optimal dispatching control for elevator systems during uppeak traffic , 1997, IEEE Trans. Control. Syst. Technol..

[19]  Li-Chen Fu,et al.  Design of modern elevator group control systems , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

[20]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..