DocumentCode :
612855
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
fYear :
2013
fDate :
10-12 April 2013
Firstpage :
322
Lastpage :
327
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;
fLanguage :
English
Publisher :
ieee
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
Type :
conf
DOI :
10.1109/ICNSC.2013.6548758
Filename :
6548758
Link To Document :
بازگشت