第一届信息物理系统验证与确认研讨会论文集
系统与控制
2016-12-14 v1 人工智能
机器人学
摘要
第一届信息物理系统验证与确认国际研讨会（V2CPS-16）与第12届形式方法集成国际会议（iFM 2016）在冰岛雷克雅未克联合举行。V2CPS-16 的目的是汇集形式验证和信息物理系统（CPS）领域的研究人员和专家，以涵盖本次研讨会的主题，即包括（但不限于）控制、仿真、形式方法等在内的广泛验证与确认方法。CPS 是网络化计算与物理过程的集成，且具有有意义的相互影响；前者监控、控制并影响后者，而后者也影响前者。CPS 广泛应用于跨越机器人、交通、通信、基础设施、能源和制造等领域的系统中。许多安全关键系统，如化学过程、医疗设备、飞机飞行控制和汽车系统，实际上都是 CPS。CPS 的先进能力需要复杂的软件和综合算法，而这些很难被验证。事实上，该领域的许多问题是不可判定的。因此，一个主要步骤是寻找此类系统的特定抽象，以便针对描述 CPS 部分/整体行为的此类系统的特定属性进行算法验证。
引用
@article{arxiv.1612.04023,
title = {Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems},
author = {Mehdi Kargahi and Ashutosh Trivedi},
journal= {arXiv preprint arXiv:1612.04023},
year = {2016}
}