A Method for Cyber-Physical System Behavior Modeling and Safety Verification Based on Extended Hybrid System Description Language

Publisher： Edp Sciences

E-ISSN： 2261-236x|44|issue|02092-02092

ISSN： 2261-236x

Source： MATEC Web of conference, Vol.44, Iss.issue, 2016-03, pp. : 02092-02092

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Concept and implementation of an agent-based control architecture for a cyber-physical assembly system

By  

MATEC Web of conference, Vol. 42, Iss. issue, 2016-02 ,pp. : 04003-04003

Edp Sciences

Access to resources Recommend Favorite

(Re-)Design of a Demonstration Model for a Flexible and Decentralized Cyber-Physical Production System (CPPS)

By Egger Georg  

MATEC Web of conference, Vol. 127, Iss. issue, 2017-10 ,pp. : 01016-01016

Edp Sciences

Access to resources Recommend Favorite

Model-based safety analysis of a control system using Simulink and Simscape extended models

By  

MATEC Web of conference, Vol. 139, Iss. issue, 2017-12 ,pp. : 00219-00219

Edp Sciences

Access to resources Recommend Favorite

Development of a Corrosion Potential Measuring System Based on the Generalization of DACS Physical Scale Modeling

By  

MATEC Web of conference, Vol. 34, Iss. issue, 2015-12 ,pp. : 06005-06005

Edp Sciences

Access to resources Recommend Favorite

Analysis and Assessment of Operation Risk for Hybrid AC/DC Power System based on the Monte Carlo Method

By Hu Xiaojing  

E3S Web of conferences, Vol. 38, Iss. issue, 2018-06 ,pp. : 04010-04010

Edp Sciences

Access to resources Recommend Favorite