This paper introduces a methodology for one of the challenges regarding cyber-physical systems, ie modelling and control design them as hybrid systems. The proposed methodology comprises modules with specific steps to accomplish the tasks. Specifically, the paper aims to utilize hybrid systems framework onto the chosen hydraulic hybrid system with complex dynamics to showcase different aspects of hybrid systems. The mathematical model was derived using hybrid automata framework and then transformed into the linear form either using Jacobi matrices or using linear approximations without Jacobi matrices. After that the system was validated and analysed and the control design utilizing piecewise linear-quadratic regulator optimal control was proposed. Furthermore, parameters of control algorithm were tuned using particle swarm optimization algorithm. The whole logic, system dynamics and constrains are implemented within MATLAB/Simulink simulation environment using s -functions. The proposed methodology can be implemented on the various types of cyber-physical systems as far as they can be described as hybrid systems.

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.