Validation, Synthesis and Optimization for Cyber-Physical Systems

被引：4

作者：

Larsen, Kim Guldstrand ^{[1
]}

机构：

[1] Aalborg Univ, Dept Comp Sci, Selma Lagerlofs Vej 300, DK-9220 Aalborg, Denmark

来源：

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2017, PT I | 2017年 / 10205卷

关键词：

REAL-TIME SYSTEMS; OPTIMAL STRATEGIES; OPTIMAL REACHABILITY; UPPAAL;

D O I：

10.1007/978-3-662-54577-5_1

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The growing complexity of Cyber-Physical Systems increasingly challenges existing methods and techniques. What is needed is a new generation of scalable tools for model-based learning, analysis, synthesis and optimization based on a mathematical sound foundation, that enables trade-offs between functional safety and quantitative performance. In paper we illustrate how recent branches of the Uppaal tool suit are making an effort in this direction.

引用

页码：3 / 20

页数：18

共 50 条

[1] Verification, Optimization, Performance Analysis and Synthesis of Cyber-Physical Systems
Larsen, Kim G.
Grov, Gudmund
Lin, Yuhui
Le Bras, Pierre
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (240):
[2] Robust Design and Validation of Cyber-physical Systems
Sood, Surinder
Malik, Avinash
Roop, Partha
[J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2020, 18 (06)
[3] Security Synthesis for Cyber-Physical Systems
Li, Jitao
Wang, Zhenhua
Shen, Yi
Xie, Lihua
[J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2023, 53 (02): : 1027 - 1037
[4] Let's Get Cyber-Physical: Validation of Safety-Critical Cyber-Physical Systems
Novais, Luis
Naia, Nelson
Azevedo, Jose
Cabral, Jorge
[J]. IEEE Access, 2024, 12 : 142569 - 142581
[5] Optimization and Control of Cyber-Physical Vehicle Systems
Bradley, Justin M.
Atkins, Ella M.
[J]. SENSORS, 2015, 15 (09) : 23020 - 23049
[6] Cyber-Physical Optimization for Unmanned Aircraft Systems
Bradley, Justin M.
Atkins, Ella M.
[J]. JOURNAL OF AEROSPACE INFORMATION SYSTEMS, 2014, 11 (01): : 48 - 59
[7] Flexible Optimization for Cyber-Physical and Human Systems
Simonetto, Andrea
[J]. IEEE CONTROL SYSTEMS LETTERS, 2024, 8 : 1475 - 1480
[8] Validation of Industrial Cyber-Physical Systems: An Application to HVAC Systems
Dang, Thao
Mady, Alie El-Din
Boubekeur, Menouer
Kumar, Rajesh
Moulin, Mark
[J]. COMPLEX SYSTEMS DESIGN & MANAGEMENT (CSD&M 2016), 2017, : 57 - 69
[9] Cyber-physical Systems
Wolf, Wayne
[J]. COMPUTER, 2009, 42 (03) : 88 - 89
[10] Cyber-Physical Systems
Letichevsky A.A.
Letychevskyi O.O.
Skobelev V.G.
Volkov V.A.
[J]. Letichevsky, A.A. (aaletichevsky78@gmail.com), 2017, Springer Science and Business Media, LLC (53) : 821 - 834

← 1 2 3 4 5 →