Title :
Design of elevator control systems using statecharts
Author :
Yi-Sheng Huang ; Jun-Ren Chen ; Shung-Shing Lee ; Yi-Shun Weng
Author_Institution :
Dept. of Electron. Eng., Nat. Ilan Univ., Ilan, Taiwan
Abstract :
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.
Keywords :
control system synthesis; finite state machines; lifts; causality property; concurrency property; control policy; elevator control system design; elevator hierarchical structure; state description; statechart; synchronization property; Concurrent computing; Control systems; Elevators; Floors; Mathematical model; Object oriented modeling; Synchronization; Statechart; control system; elevator; interactive systems;
Conference_Titel :
Networking, Sensing and Control (ICNSC), 2013 10th IEEE International Conference on
Conference_Location :
Evry
Print_ISBN :
978-1-4673-5198-0
Electronic_ISBN :
978-1-4673-5199-7
DOI :
10.1109/ICNSC.2013.6548758
