Parametrized Verification of Distributed Cyber-Physical Systems: An Aircraft Landing Protocol Case Study

2012 IEEE/ACM Third International Conference on Cyber-Physical Systems ◽

10.1109/iccps.2012.24 ◽

2012 ◽

Cited By ~ 14

Author(s):

Taylor T. Johnson ◽

Sayan Mitra

Keyword(s):

Cyber Physical Systems ◽

Physical Systems ◽

Aircraft Landing

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 ◽

Cited By ~ 19

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 ◽

Cited By ~ 50

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 ◽

Cited By ~ 7

Author(s):

Gabriela Magureanu ◽

Madalin Gavrilescu ◽

Dan Pescaru ◽

Alex Doboli

Keyword(s):

Cyber Physical Systems ◽

Gas Distribution ◽

Physical Systems ◽

Uml Modeling

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 56

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 ◽

Cited By ~ 21

Author(s):

Quang Do ◽

Ben Martini ◽

Kim-Kwang Raymond Choo

Keyword(s):

Smart Home ◽

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

Fractional-Order Model Predictive Control for Neurophysiological Cyber-Physical Systems: A Case Study using Transcranial Magnetic Stimulation

2020 American Control Conference (ACC) ◽

10.23919/acc45564.2020.9147545 ◽

2020 ◽

Author(s):

Orlando Romero ◽

Sarthak Chatterjee ◽

Sergio Pequito

Keyword(s):

Transcranial Magnetic Stimulation ◽

Model Predictive Control ◽

Fractional Order ◽

Predictive Control ◽

Magnetic Stimulation ◽

Cyber Physical Systems ◽

Order Model ◽

Physical Systems ◽

Fractional Order Model

Download Full-text