Keyword:Cyber-Physical Systems

Papers
Multilevel Runtime Security and Safety Monitoring for Cyber Physical Systems using Model-based Engineering Smitha Gautham, Athira Varma Jayakumar and Carl Elks EasyChair Preprint no. 3769
Cyber Attacks on Protective Relays in Digital Substations and Impact Analysis Vetrivel Subramaniam Rajkumar, Marko Tealane, Alexandru Stefanov and Peter Palensky EasyChair Preprint no. 3006
Hardware-Software Complex of the Mobile Brain-Computer Interface for Technical Means of Rehabilitation Julia Nekrasova, Anastasia Sudareva, Andrey Kolosov and Konstantin Kovalev EasyChair Preprint no. 1986
Experience Report: Towards Moving Things with Types - Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis Jan Bessai, Moritz Roidl and Anna Vasileva EasyChair Preprint no. 1541
SMT-Based CPS Parameter Synthesis Heinz Riener, Robert Koenighofer, Goerschwin Fey and Roderick Bloem In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems