Keyword:Cyber-Physical Systems

Publications
A Lasso Approach to Secure State Estimation for Cyber-Physical Systems Vito Cerone, Sophie M. Fosson, Diego Regruto and Francesco Ripa EasyChair Preprint 14649
Safe Planning Through Incremental Decomposition of Signal Temporal Logic Specifications Parv Kapoor, Eunsuk Kang and Romulo Meira-Goes EasyChair Preprint 13526
Multilevel Runtime Security and Safety Monitoring for Cyber Physical Systems using Model-based Engineering Smitha Gautham, Athira Varma Jayakumar and Carl Elks EasyChair Preprint 3769
Cyber Attacks on Protective Relays in Digital Substations and Impact Analysis Vetrivel Subramaniam Rajkumar, Marko Tealane, Alexandru Stefanov and Peter Palensky EasyChair Preprint 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 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 1541
IoT with Blockchain: A New Infrastructure Proposal Henry Hexmoor and Ebrahim Maghsoudlou In:Proceedings of 39th International Conference on Computers and Their Applications
ARCH-COMP23 Category Report: Falsification Claudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, Atanu Kundu, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Masaki Waga and Zhenya Zhang In:Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources Gidon Ernst, Paolo Arcaini, Georgios Fainekos, Federico Formica, Jun Inoue, Tanmay Khandait, Mohammad Mahdi Mahboob, Claudio Menghi, Giulia Pedrielli, Masaki Waga, Yoriyuki Yamagata and Zhenya Zhang In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
Multi-Agent Polygon Formation via Circle Formation Rui Yang, Azad Azadmanesh and Hassan Farhat In:Proceedings of 35th International Conference on Computer Applications in Industry and Engineering
Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators Zahra Ramezani, Alexandre Donze, Martin Fabian and Knut Åkesson In:8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
A proposed framework for Construction 4.0 based on a review of literature Anil Sawhney, Mike Riley, Javier Irizarry and Cristina Toca Pérez In:Associated Schools of Construction Proceedings of the 56th Annual International Conference
Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems Johan Lidén Eddeland, Alexandre Donzé, Sajed Miremadi and Knut Åkesson In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification Johan Lidén Eddeland, Sajed Miremadi and Knut Åkesson In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
Analysis of Real-Time Control Systems using First-Order Continuization Maximilian Gaukler In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
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