Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study

Science of Computer Programming ◽

10.1016/j.scico.2014.09.011 ◽

2015 ◽

Vol 103 ◽

pp. 13-50 ◽

Author(s):

Kyungmin Bae ◽

Joshua Krisiloff ◽

José Meseguer ◽

Peter Csaba Ölveczky

Keyword(s):

Control System ◽

Cyber Physical Systems ◽

Physical Systems ◽

Turning Control

Download Full-text

Architecture description language for Cyber Physical Systems analysis: a railway control system case study

Computers in Railways XIV ◽

10.2495/cr140181 ◽

2014 ◽

Author(s):

N. Darragi

Keyword(s):

Control System ◽

Systems Analysis ◽

Cyber Physical Systems ◽

Description Language ◽

Architecture Description Language ◽

Physical Systems ◽

Architecture Description

Download Full-text

A Case Study of FMVEA and CHASSIS as Safety and Security Co-Analysis Method for Automotive Cyber-physical Systems

Proceedings of the 1st ACM Workshop on Cyber-Physical System Security - CPSS '15 ◽

10.1145/2732198.2732204 ◽

2015 ◽

Author(s):

Christoph Schmittner ◽

Zhendong Ma ◽

Erwin Schoitsch ◽

Thomas Gruber

Keyword(s):

Cyber Physical Systems ◽

Analysis Method ◽

Physical Systems

Download Full-text

Simultaneous Trajectory Planning and Tracking Using an MPC Method for Cyber-Physical Systems: A Case Study of Obstacle Avoidance for an Intelligent Vehicle

IEEE Transactions on Industrial Informatics ◽

10.1109/tii.2018.2815531 ◽

2018 ◽

Vol 14 (9) ◽

pp. 4273-4283 ◽

Author(s):

Hongyan Guo ◽

Chen Shen ◽

Hui Zhang ◽

Hong Chen ◽

Rui Jia

Keyword(s):

Obstacle Avoidance ◽

Trajectory Planning ◽

Cyber Physical Systems ◽

Intelligent Vehicle ◽

Physical Systems

Download Full-text

Towards UML modeling of cyber-physical systems: A case study for gas distribution

IEEE 8th International Symposium on Intelligent Systems and Informatics ◽

10.1109/sisy.2010.5647314 ◽

2010 ◽

Author(s):

Gabriela Magureanu ◽

Madalin Gavrilescu ◽

Dan Pescaru ◽

Alex Doboli

Keyword(s):

Cyber Physical Systems ◽

Gas Distribution ◽

Physical Systems ◽

Download Full-text

Empirical Assessment of Cyber-physical Systems Influence on Industrial Service Sector: The Manufacturing Industry as a Case Study

Human Systems Engineering and Design II - Advances in Intelligent Systems and Computing ◽

10.1007/978-3-030-27928-8_157 ◽

2019 ◽

pp. 1058-1065 ◽

Author(s):

Ifetayo Oluwafemi ◽

Timothy Laseinde

Keyword(s):

Manufacturing Industry ◽

Service Sector ◽

Cyber Physical Systems ◽

Physical Systems ◽

Empirical Assessment ◽

Industrial Service

Download Full-text

Generating metamorphic relations for cyber-physical systems with genetic programming: an industrial case study

10.1145/3468264.3473920 ◽

2021 ◽

Author(s):

Jon Ayerdi ◽

Valerio Terragni ◽

Aitor Arrieta ◽

Paolo Tonella ◽

Goiuria Sagardui ◽

...

Keyword(s):

Genetic Programming ◽

Cyber Physical Systems ◽

Industrial Case Study ◽

Physical Systems

Download Full-text

Security Tradeoffs in Cyber Physical Systems: A Case Study Survey on Implantable Medical Devices

IEEE Access ◽

10.1109/access.2016.2521727 ◽

2016 ◽

Vol 4 ◽

pp. 959-979 ◽

Author(s):

Riham Altawy ◽

Amr M. Youssef

Keyword(s):

Medical Devices ◽

Cyber Physical Systems ◽

Implantable Medical Devices ◽

Physical Systems

Download Full-text

Cyber-physical systems information gathering: A smart home case study

Computer Networks ◽

10.1016/j.comnet.2018.03.024 ◽

2018 ◽

Vol 138 ◽

pp. 1-12 ◽

Author(s):

Quang Do ◽

Ben Martini ◽

Kim-Kwang Raymond Choo

Keyword(s):

Cyber Physical Systems ◽

Information Gathering ◽

Physical Systems

Download Full-text

A case study on modularity violations in cyber‐physical systems

Systems Engineering ◽

10.1002/sys.21530 ◽

2020 ◽

Vol 23 (3) ◽

pp. 338-349

Author(s):

Lu Xiao ◽

Michael J. Pennock ◽

Joana L. F. P. Cardoso ◽

Xiao Wang

Keyword(s):

Cyber Physical Systems ◽

Physical Systems

Download Full-text

A Case Study in Learning Factories for Real-Time Reconfiguration of Assembly Systems Through Computational Design and Cyber-Physical Systems

Product Lifecycle Management to Support Industry 4.0 - IFIP Advances in Information and Communication Technology ◽

10.1007/978-3-030-01614-2_21 ◽

2018 ◽

pp. 227-237

Author(s):

G. Pasetti Monizza ◽

R. A. Rojas ◽

E. Rauch ◽

M. A. Ruiz Garcia ◽

D. T. Matt

Keyword(s):

Real Time ◽

Computational Design ◽

Cyber Physical Systems ◽

Assembly Systems ◽

Physical Systems

Download Full-text