Improvement of Elevator Management System after Completion

Verification of an Elevator System with MOCHA

Unlike many other existing model checkers, MOCHA is designed for the modular verification of heterogeneous systems. Instead of manipulating unstructured state‐transition graphs, it supports the hierarchical modeling framework of Reactive Modules. It overcomes the state‐explosion problem by exploiting the modular structure naturally present in many system designs. Instead of traditional te...

Application of PLC for Elevator Control System

In this research paper an attempt has been made to integrate the programmable logic controller (PLC) with elevator for developing its control system. Thus, this paper describes the application of programmable logic controller for elevator control system. The PLC used for this project is GE FANUC with six inputs and four outputs. The programming language used is ladder diagram.

Modeling Elevator System With Coloured Petri Nets

A fairly general model of the elevator system is presented. Coloured Petri Nets (CPN) and CPN tools are adopted as modeling tools. The model, which is independent of the number of floors and elevators, covers different stages of the elevator system in substantial detail. The model assists simulation-based analysis of different algorithms and rules which govern real elevator systems. The results...

Eleview: An Active Elevator Monitoring Vision System. ,

This paper describes an on-going novel vision application to detect abnormal activities in an elevator. Dgference picture technique and human body motion analysis are proposed to accomplish the interpretation tasks. The interpretation makes use of the spatial and temporal features together with the scenario representation. The results obtained are encouraging and further analysis seems fruitful.

A UML Documentation for an Elevator System