HyMn: Mining linear hybrid automata from input output traces of cyber-physical systems

2018 ◽  
Author(s):  
Imane Lamrani ◽  
Ayan Banerjee ◽  
Sandeep K. S. Gupta
Keyword(s):  
Cyber Physical Systems ◽  
Hybrid Automata ◽  
Input Output ◽  
Physical Systems ◽  
Linear Hybrid Automata

scholarly journals Modelling, analysis and control design of hybrid dynamical systems

2019 ◽  
Vol 70 (3) ◽  
pp. 176-186
Author(s):  
Dominik Vošček ◽  
Anna Jadlovská ◽  
Dominik Grigl’ák
Keyword(s):  
Hybrid Systems ◽  
Piecewise Linear ◽  
Control Design ◽  
Linear Quadratic Regulator ◽  
Cyber Physical Systems ◽  
Jacobi Matrices ◽  
Hybrid Automata ◽  
Linear Quadratic ◽  
Physical Systems ◽  
And Control

Abstract 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.

Emerging Cyber-Physical Systems : An Overview

2018 ◽  
pp. 306-316
Author(s):  
Okolie S.O. ◽  
Kuyoro S.O. ◽  
Ohwo O. B
Keyword(s):  
Health Care ◽  
Economic Benefit ◽  
Physical World ◽  
Cyber Physical Systems ◽  
Cyber Physical System ◽  
Economic Sectors ◽  
Strategic Research ◽  
Physical Systems ◽  
Security Issues ◽  
Wide Range

Cyber-Physical Systems (CPS) will revolutionize how humans relate with the physical world around us. Many grand challenges await the economically vital domains of transportation, health-care, manufacturing, agriculture, energy, defence, aerospace and buildings. Exploration of these potentialities around space and time would create applications which would affect societal and economic benefit. This paper looks into the concept of emerging Cyber-Physical system, applications and security issues in sustaining development in various economic sectors; outlining a set of strategic Research and Development opportunities that should be accosted, so as to allow upgraded CPS to attain their potential and provide a wide range of societal advantages in the future.

Sign in / Sign up

Export Citation Format

Share Document