Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
Cyber-Physical Systems
Papers
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
Copyright © 2012-2021 easychair.org. All rights reserved.