PI control of laboratory model elevator via ladder logic in PLC

Ferencik, Norbert; Jadlovsky, J.; Kopčík, M.; Zolotová, Iveta

doi:10.1109/sami.2017.7880338

Search citation statements

Order By: Relevance

Paper Sections

Select...

Description Of a Lift As A Hybrid System1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2017

2022

Publication Types

Select...

Article1

Other1

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

(1 citation statement)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The lift system (LS), whose functionality was inspired by the actual laboratory model of the lift is described from the construction point of view in [8]. It is important to state that the LS does not exactly matches all the physical parameters of the laboratory model, e.g.…”

Section: Description Of a Lift As A Hybrid Systemmentioning

confidence: 99%

Modelling and Analysis of the Lift System as a Hybrid System

Voscek¹,

Jadlovská²,

Grigl’ák³

2017

AEI

View full text Add to dashboard Cite

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.

show abstract

Section: Description Of a Lift As A Hybrid Systemmentioning

confidence: 99%