Keyword:Cyber-Physical Systems

Papers
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