Toward autonomous vehicle safety verification from mobile cyber-physical systems perspective

ACM SIGBED Review ◽

10.1145/2000367.2000371 ◽

2011 ◽

Vol 8 (2) ◽

pp. 19-22 ◽

Author(s):

Sailesh Kandula ◽

Tridib Mukherjee ◽

Sandeep K. S. Gupta

Keyword(s):

Autonomous Vehicle ◽

Cyber Physical Systems ◽

Vehicle Safety ◽

Safety Verification ◽

Physical Systems ◽

Systems Perspective

Download Full-text

Non-linear Analysis for Operational Safety Verification of Cyber Physical Systems

2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS) ◽

10.1109/icps48405.2020.9274758 ◽

2020 ◽

Author(s):

Ayan Banerjee ◽

Imane Lamrani ◽

Sandeep K.S. Gupta

Keyword(s):

Linear Analysis ◽

Cyber Physical Systems ◽

Safety Verification ◽

Physical Systems ◽

Operational Safety ◽

Download Full-text

Egocentric abstractions for modeling and safety verification of distributed cyber-physical systems

2021 IEEE Security and Privacy Workshops (SPW) ◽

10.1109/spw53761.2021.00046 ◽

2021 ◽

Author(s):

Sung Woo Jeon ◽

Sayan Mitra

Keyword(s):

Cyber Physical Systems ◽

Safety Verification ◽

Physical Systems

Download Full-text

A Hybrid Dynamical Systems Perspective on Reinforcement Learning for Cyber-Physical Systems: Vistas, Open Problems, and Challenges

Handbook of Reinforcement Learning and Control - Studies in Systems, Decision and Control ◽

10.1007/978-3-030-60990-0_24 ◽

2021 ◽

pp. 727-762

Author(s):

Jorge I. Poveda ◽

Andrew R. Teel

Keyword(s):

Reinforcement Learning ◽

Dynamical Systems ◽

Cyber Physical Systems ◽

Hybrid Dynamical Systems ◽

Open Problems ◽

Physical Systems ◽

Systems Perspective

Download Full-text

Aviation cybersecurity: a cyber-physical systems perspective

Aviation Cybersecurity: Foundations, principles, and applications ◽

10.1049/sbra545e_ch10 ◽

2021 ◽

pp. 265-281

Author(s):

Faisal Alrefaei ◽

Abdullah Alzahrani ◽

Houbing Song ◽

Mohamed Zohdy

Keyword(s):

Cyber Physical Systems ◽

Physical Systems ◽

Systems Perspective

Download Full-text

A Survey on Industrial Internet of Things: A Cyber-Physical Systems Perspective

IEEE Access ◽

10.1109/access.2018.2884906 ◽

2018 ◽

Vol 6 ◽

pp. 78238-78259 ◽

Author(s):

Hansong Xu ◽

Wei Yu ◽

David Griffith ◽

Nada Golmie

Keyword(s):

Internet Of Things ◽

Cyber Physical Systems ◽

Industrial Internet Of Things ◽

Physical Systems ◽

Systems Perspective ◽

Industrial Internet

Download Full-text

A Meta Language for Cyber-Physical Systems and Threats: Application on Autonomous Vehicle

2019 IEEE/ACS 16th International Conference on Computer Systems and Applications (AICCSA) ◽

10.1109/aiccsa47632.2019.9035273 ◽

2019 ◽

Author(s):

Samir Ouchani ◽

Abdelaziz Khaled

Keyword(s):

Autonomous Vehicle ◽

Cyber Physical Systems ◽

Physical Systems

Download Full-text

Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems

Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-21759-4_15 ◽

2019 ◽

pp. 261-277 ◽

Author(s):

Hoang-Dung Tran ◽

Luan Viet Nguyen ◽

Patrick Musau ◽

Weiming Xiang ◽

Taylor T. Johnson

Keyword(s):

Real Time ◽

Cyber Physical Systems ◽

Safety Verification ◽

Physical Systems

Download Full-text

Smart Grids: A Cyber–Physical Systems Perspective

Proceedings of the IEEE ◽

10.1109/jproc.2015.2503119 ◽

2016 ◽

Vol 104 (5) ◽

pp. 1058-1070 ◽

Author(s):

Xinghuo Yu ◽

Yusheng Xue

Keyword(s):

Smart Grids ◽

Cyber Physical Systems ◽

Physical Systems ◽

Systems Perspective

Download Full-text

Safety Verification Utilizing Model-based Development for Safety Critical Cyber-Physical Systems

Journal of Information Processing ◽

10.2197/ipsjjip.25.797 ◽

2017 ◽

Vol 25 (0) ◽

pp. 797-810 ◽

Author(s):

Tasuku Ishigooka ◽

Habib Saissi ◽

Thorsten Piper ◽

Stefan Winter ◽

Neeraj Suri

Keyword(s):

Cyber Physical Systems ◽

Safety Verification ◽

Physical Systems ◽

Safety Critical ◽

Download Full-text

A Cyber-physical Systems Approach to the Design of Vehicle Safety Networks

2012 32nd International Conference on Distributed Computing Systems Workshops ◽

10.1109/icdcsw.2012.81 ◽

2012 ◽

Author(s):

Yaser P. Fallah ◽

Raja Sengupta

Keyword(s):

Systems Approach ◽

Cyber Physical Systems ◽

Vehicle Safety ◽

Physical Systems

Download Full-text