Keyword:Cyber-Physical Systems

Papers
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 Donzé, 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
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)
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)
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)
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