Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems
The first International Workshop on Verification and Validation of Cyber-Physical Systems (V2CPS-16) was held in conjunction with the 12th International Conference on integration of Formal Methods (iFM 2016) in Reykjavik, Iceland. The purpose of V2CPS-16 was to bring together researchers and experts...
Published in: | Electronic Proceedings in Theoretical Computer Science |
---|---|
Main Authors: | , |
Format: | Text |
Language: | unknown |
Published: |
2016
|
Subjects: | |
Online Access: | http://arxiv.org/abs/1612.04023 https://doi.org/10.4204/EPTCS.232 |
id |
ftarxivpreprints:oai:arXiv.org:1612.04023 |
---|---|
record_format |
openpolar |
spelling |
ftarxivpreprints:oai:arXiv.org:1612.04023 2023-09-05T13:20:34+02:00 Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems Kargahi, Mehdi Trivedi, Ashutosh 2016-12-12 http://arxiv.org/abs/1612.04023 https://doi.org/10.4204/EPTCS.232 unknown http://arxiv.org/abs/1612.04023 EPTCS 232, 2016 doi:10.4204/EPTCS.232 Electrical Engineering and Systems Science - Systems and Control Computer Science - Artificial Intelligence Computer Science - Robotics text 2016 ftarxivpreprints https://doi.org/10.4204/EPTCS.232 2023-08-16T14:13:24Z The first International Workshop on Verification and Validation of Cyber-Physical Systems (V2CPS-16) was held in conjunction with the 12th International Conference on integration of Formal Methods (iFM 2016) in Reykjavik, Iceland. The purpose of V2CPS-16 was to bring together researchers and experts of the fields of formal verification and cyber-physical systems (CPS) to cover the theme of this workshop, namely a wide spectrum of verification and validation methods including (but not limited to) control, simulation, formal methods, etc. A CPS is an integration of networked computational and physical processes with meaningful inter-effects; the former monitors, controls, and affects the latter, while the latter also impacts the former. CPSs have applications in a wide-range of systems spanning robotics, transportation, communication, infrastructure, energy, and manufacturing. Many safety-critical systems such as chemical processes, medical devices, aircraft flight control, and automotive systems, are indeed CPS. The advanced capabilities of CPS require complex software and synthesis algorithms, which are hard to verify. In fact, many problems in this area are undecidable. Thus, a major step is to find particular abstractions of such systems which might be algorithmically verifiable regarding specific properties of such systems, describing the partial/overall behaviors of CPSs. Text Iceland ArXiv.org (Cornell University Library) Electronic Proceedings in Theoretical Computer Science 232 |
institution |
Open Polar |
collection |
ArXiv.org (Cornell University Library) |
op_collection_id |
ftarxivpreprints |
language |
unknown |
topic |
Electrical Engineering and Systems Science - Systems and Control Computer Science - Artificial Intelligence Computer Science - Robotics |
spellingShingle |
Electrical Engineering and Systems Science - Systems and Control Computer Science - Artificial Intelligence Computer Science - Robotics Kargahi, Mehdi Trivedi, Ashutosh Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems |
topic_facet |
Electrical Engineering and Systems Science - Systems and Control Computer Science - Artificial Intelligence Computer Science - Robotics |
description |
The first International Workshop on Verification and Validation of Cyber-Physical Systems (V2CPS-16) was held in conjunction with the 12th International Conference on integration of Formal Methods (iFM 2016) in Reykjavik, Iceland. The purpose of V2CPS-16 was to bring together researchers and experts of the fields of formal verification and cyber-physical systems (CPS) to cover the theme of this workshop, namely a wide spectrum of verification and validation methods including (but not limited to) control, simulation, formal methods, etc. A CPS is an integration of networked computational and physical processes with meaningful inter-effects; the former monitors, controls, and affects the latter, while the latter also impacts the former. CPSs have applications in a wide-range of systems spanning robotics, transportation, communication, infrastructure, energy, and manufacturing. Many safety-critical systems such as chemical processes, medical devices, aircraft flight control, and automotive systems, are indeed CPS. The advanced capabilities of CPS require complex software and synthesis algorithms, which are hard to verify. In fact, many problems in this area are undecidable. Thus, a major step is to find particular abstractions of such systems which might be algorithmically verifiable regarding specific properties of such systems, describing the partial/overall behaviors of CPSs. |
format |
Text |
author |
Kargahi, Mehdi Trivedi, Ashutosh |
author_facet |
Kargahi, Mehdi Trivedi, Ashutosh |
author_sort |
Kargahi, Mehdi |
title |
Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems |
title_short |
Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems |
title_full |
Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems |
title_fullStr |
Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems |
title_full_unstemmed |
Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems |
title_sort |
proceedings of the the first workshop on verification and validation of cyber-physical systems |
publishDate |
2016 |
url |
http://arxiv.org/abs/1612.04023 https://doi.org/10.4204/EPTCS.232 |
genre |
Iceland |
genre_facet |
Iceland |
op_relation |
http://arxiv.org/abs/1612.04023 EPTCS 232, 2016 doi:10.4204/EPTCS.232 |
op_doi |
https://doi.org/10.4204/EPTCS.232 |
container_title |
Electronic Proceedings in Theoretical Computer Science |
container_volume |
232 |
_version_ |
1776201230159183872 |