Modeling and Control of Elevators by Statecharts

Huang, Yi‐Sheng; Chung, Sheng‐Luen; Jeng, MuDer

doi:10.1111/j.1934-6093.2004.tb00202.x

Cited by 11 publications

(4 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…3. This super state was divided into exclusive OR states called the "ID", "DIR", "DOOR" and "OVERLOAD" [4]. These hierarchical sub divisions were made after considering the physical behaviour and the evolution of the system in response to various input conditions.…”

Section: Prototypementioning

confidence: 99%

“…A great deal has been published about these aspects [3]. In this paper we report research work carried out to (1) set up a passenger elevator prototype conforming to industry standards to serve as a test bed for design and control of complex reactive systems, (2) implement model-based design of the elevator control system using statecharts, (3) demonstrate the application of a modular verification and validation methodology developed for CRS on a real-scale system and do (4) hardware /software implementation of the controller and (5) modular integration of supervisory control.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Statechart based modeling and controller implementation of complex reactive systems

Vidanapathirana¹,

Dewasurendra

Abeyratne

2011

2011 6th International Conference on Industrial and Information Systems

View full text Add to dashboard Cite

Statechart formalism has been a preferred choice for modeling complex reactive systems (CRS) in recent years. It has inbuilt powerful features of orthogonality, hierarchy, intermodular communication and history. Once statechart based system modeling is done the next issues to be addressed are (1) modular verification of the system for failsafe operation under all possible working conditions (2) progressive controller implementation together with the supervisory control while maintaining traceability and re-configurability and (3) facilitation of controller adaptation for progressive incorporation of security features and supervisory specifications.An elevator system was designed and built to reflect exigencies of a typical CRS hardware/software platform. A controller was designed to meet the above requirements and tested on the platform to validate the feasibility of model-based control design/verification methodology for real scale systems. Modularity was achieved by developing the statechart model of the plant into a tree of communicating language generators. Progresively verified modules were then translated into sequential function charts (SFC) which were finally integrated to form a complete flat SFC. The SFC was then implemented on a PLC platform (Telemechanique). The program was first validated in simulation using Telemechanique "Twidosuite" for different operating conditions and finally tested on the elevator system.

show abstract

Section: Prototypementioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Statechart based modeling and controller implementation of complex reactive systems

Vidanapathirana¹,

Dewasurendra

Abeyratne

2011

2011 6th International Conference on Industrial and Information Systems

View full text Add to dashboard Cite

show abstract

“…Coleman et al [12] showed us how to use Statecharts in object-oriented design. And Huang et al [13] submitted a methodology of elevators control by Statecharts. Moreover, Borges et al [2] extended Statecharts to deal with reactive systems.…”

Section: Introductionmentioning

confidence: 99%

A Case Study: Logical Operators and Statecharts for Level Crossing Traffic Control Systems

Huang

Liao²

2011

AMM

View full text Add to dashboard Cite

Statechart has been utilized as a visual formalism for the modeling of complex systems. It illuminates the features on describing properties of causality, concurrency and synchronization. In this paper, we try to describe a behavioral logical operations language by using Statecharts. The logical operation is a data structure that is used to represent by a Boolean function. This paper used them to analyze the models which are modeled by using Statecharts. Their formalism provides a concept of propositional logic for presenting control strategy. Finally, an example of level crossing traffic control systems is examined successfully.

show abstract

“…1 shows a state Uwhose meaning is to be in Uthe system And Huang et aL. [12] submitted a methodology of elevators must be in precisely one of A, B or C. Likewise, a state V control by statecharts. Other developments involving traffic whose meaning is to be in V the system must be in precisely light control method using Petri nets were reported in [7] [13] one of D, E or F. And Fig.…”

mentioning

confidence: 99%

A Supervisor of Traffic Light Systems Using Statecharts

Huang

Lee²,

Liu³

2007

2007 IEEE International Conference on Networking, Sensing and Control

Self Cite

View full text Add to dashboard Cite

In this paper, we propose a methodology to model deadlock and overload. a traffic light system with eight-phase. The modeling tool isThe research topic of traffic signal control has been called statechart. Statechart has been utilized as a visual separated into two categories [16]:1) determining what formalism for the modeling of complex systems. It illuminates signal-indication sequence to follow in order to optimize the the features on describing properties of causality, concurrency, and synchronization. This paper focuses on the use of te perfora c 2) asertin how o ipement statecharts to model an eight-phase traffic lights control system. the signal-control logic. This paper is focused on the second The advantage of the proposed approach is the clear category. There is a vast amount of literature focused on presentation of traffic lights' behaviors in terms of conditions finding optimal control strategies [15] [24]. In order to and events that cause the phases alternations. Moreover, the implement or test any control strategies in a simulated paper also proposes a new modeling methodology, called environment, the control logic has to be translated into concurrent state graphs, that allows us to present all the concurrent states in complex statecharts. The analysis of the computer code. However, the published literature does not control models is performed to demonstrate how the models address the way in which the signal control logic is enforce the lights' transitions by reachability tree method. And implemented [16]. Our statecharts model can overcome this then the reachability and reversibility properties of the control drawback. In this paper, one can realize how to construct the statecharts will be obtained. traffic signal control logic by reachability states method.In the past decade, Finite State Machines (FSM's) have been used for the modeling of discrete event systems because

show abstract

Modeling and Control of Elevators by Statecharts

Cited by 11 publications

References 21 publications

Statechart based modeling and controller implementation of complex reactive systems

Statechart based modeling and controller implementation of complex reactive systems

A Case Study: Logical Operators and Statecharts for Level Crossing Traffic Control Systems

A Supervisor of Traffic Light Systems Using Statecharts

Contact Info

Product

Resources

About