Modelling and Analysis of the Lift System as a Hybrid System

Abstract

This paper deals with one of the challenges of cyber-physical systems, namely modelling them as hybrid systems. Specifically the paper aims to utilize hybrid systems framework onto the lift system which comes from the real laboratory lift. The mathematical model was derived using hybrid automata framework in synergy with linear temporal logic. Hybrid automata framework was used to describe continuous dynamics as well as discrete dynamics of the lift system mathematical model. Linear temporal logic was used to formally define rules according to which the lift system is constrained. The whole logic, system dynamics and constrains are then implemented within MATLAB/Simulink environment using Stateflow toolbox. Finally, the verification of the lift mathematical model is performed within chosen scenarios.

Modelling, analysis and control design of hybrid dynamical systems

“…Goal of this article is to propose and introduce the unified methodology for the whole process from modelling up to the control design and therefore cover all the steps to ensure proper design and analysis of CPS as a hybrid system. This process was partially introduced in [2,11] and will be completed with regards to other research challenges. The methodology consists of several steps, namely determination of HA elements such as possible discrete modes and transitions between them, followed by assigning continuous dynamics to these modes.…”

“…This algorithm was then applied onto all controllable discrete modes of the HS. The proposed methodology comes out from partially introduced methodology in [2,11] and is comprised of several steps which are grouped into the thematical modules [20], ie Modelling, Analysis and Control Design as seen in Fig. [1].…”