Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools

被引：0

作者：

Wisniewski, Remigiusz ^{[1
]}

Bazydlo, Grzegorz ^{[1
]}

Gomes, Luis ^{[2
]}

Costa, Aniko ^{[2
]}

Wojnakowski, Marcin ^{[1
]}

机构：

[1] Univ Zielona Gora, Inst Elect Engn, Zielona Gora, Poland

[2] Nova Univ Lisboa, Elect & Comp Engn Dept, Monte De Caparica, Portugal

来源：

45TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2019) | 2019年

关键词：

computer aided design and analysis; cyber-physical systems; Petri nets; IOPT; Hippo; CONCURRENT CONTROL-SYSTEMS; DYNAMIC PARTIAL RECONFIGURATION; PETRI NETS;

D O I：

暂无

中图分类号：

T [工业技术];

学科分类号：

08 ;

摘要：

The paper presents a novel design methodology of cyber-physical systems supported by computer aided tools. In particular, IOPT and Hippo tools are involved in the design and analysis techniques of the system. The proposed idea combines the main advantages of both tools by offering the complex design path of the control part of the cyber-physical system, including specification, analysis and verification, decomposition, and modelling stages. Additionally, the designer is able to choose the most suitable representation of the system (graphical or formal). The presented concepts are illustrated by a case-study example.

引用

页码：5843 / 5848

页数：6

共 23 条

[1] [Anonymous], 2017, INTRO EMBEDDED SYSTE
[2] FINDING ALL CLIQUES OF AN UNDIRECTED GRAPH [H]
BRON, C
KERBOSCH, J
[J]. COMMUNICATIONS OF THE ACM, 1973, 16 (09) : 575 - 577
[3] Petri net partitioning using net splitting operation
Costa, Aniko
Gomes, Luis
[J]. 2009 7TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1 AND 2, 2009, : 204 - 209
[4] An Improved Mixed-Integer Programming Method to Compute Emptiable Minimal Siphons in S3PR Nets
Gan, MengDi
Wang, ShouGuang
Ding, ZhiJun
Zhou, MengChu
Wu, Wenhui
[J]. IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2018, 26 (06) : 2135 - 2140
[5] Gomes L., 2007, 5 IEEE INT C IND INF
[6] Design and Verification of Real-Life Processes With Application of Petri Nets
Grobelna, Iwona
Wisniewski, Remigiusz
Grobelny, Michal
Wisniewska, Monika
[J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2017, 47 (11): : 2856 - 2869
[7] A Polynomial-Time Algorithm to Obtain State Machine Cover of Live and Safe Petri Nets
Karatkevich, Andrei G.
Wisniewski, Remigiusz
[J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2020, 50 (10): : 3592 - 3597
[8] Lau John Kah-Soon, 2011, Proceedings of the 2011 IEEE 4th International Conference on Utility and Cloud Computing (UCC 2011), P355, DOI 10.1109/UCC.2011.59
[9] Medical Cyber Physical Systems
Lee, Insup
Sokolsky, Oleg
[J]. PROCEEDINGS OF THE 47TH DESIGN AUTOMATION CONFERENCE, 2010, : 743 - 748
[10] Pereira F., 2015, ACM IEEE 18 INT C MO

← 1 2 3 →