High-Assurance SPIRAL END-TO-END GUARANTEES FOR ROBOT AND CAR CONTROL

被引：20

作者：

Franchetti, Franz ^{[1
]}

Low, Tze Meng ^{[1
]}

Mitsch, Stefan ^{[2
]}

Mendoza, Juan Pablo ^{[3
,4
]}

Gui, Liangyan ^{[1
]}

Phaosawasdi, Amarin ^{[5
]}

Padua, David ^{[6
]}

Kar, Soummya ^{[7
,8
]}

Moura, Jose M. F. ^{[9
,10
,11
,12
,13
,14
,15
,16
,17
,18
]}

Franusich, Michael ^{[19
]}

Johnson, Jeremy ^{[20
,21
,22
,23
]}

Platzer, Andre ^{[24
]}

Veloso, Manuela M. ^{[25
,26
,27
,28
,29
,30
,31
,32
]}

机构：

[1] Carnegie Mellon Univ, Dept Elect & Comp Engn, Hamerschlag Hall A312,5000 Forbes Ave, Pittsburgh, PA 15213 USA

[2] Carnegie Mellons Comp Sci Dept, Logical Syst Lab, Pittsburgh, PA USA

[3] Carnegie Mellon Univ, Robot Inst, Pittsburgh, PA 15213 USA

[4] CMDragons Team Autonomous Soccer Robots, Pittsburgh, PA USA

[5] Univ Illinois, Comp Sci, Urbana, IL 61801 USA

[6] Univ Illinois, Engn, Urbana, IL 61801 USA

[7] Princeton Univ, Dept Elect Engn, Princeton, NJ 08544 USA

[8] Carnegie Mellon Univ, Elect & Comp Engn, Pittsburgh, PA 15213 USA

[9] Carnegie Mellon Univ, Pittsburgh, PA 15213 USA

[10] IST, Lisbon, Portugal

[11] MIT, Cambridge, MA 02139 USA

[12] NYU, New York, NY 10003 USA

[13] Carnegie Mellon Univ, CMU Portugal Program, Pittsburgh, PA 15213 USA

[14] SpiralGen Www Spiralgen Com, Pittsburgh, PA USA

[15] US Natl Acad Engn, Washington, DC USA

[16] US Natl Acad Inventors, Washington, DC USA

[17] Amer Assoc Advancemen Sci, Washington, DC USA

[18] Acad Sci Portugal, Lisbon, Portugal

[19] SpiralGen Inc, Engn, Washington, DC USA

[20] Drexel Univ, Comp Sci & Elect & Comp Engn, Philadelphia, PA 19104 USA

[21] Drexel Univ, Dept Comp Sci, Philadelphia, PA 19104 USA

[22] Drexels Appl Symbol Computat Lab, Philadelphia, PA USA

[23] SPIRAL Project Www Spiral Net, Philadelphia, PA USA

[24] Carnegie Mellon Univ, Comp Sci, Pittsburgh, PA 15213 USA

[25] Carnegie Mellon Univ, Sch Comp Sci, Pittsburgh, PA 15213 USA

[26] Carnegie Mellon Univ, Machine Learning Dept, Pittsburgh, PA 15213 USA

[27] Carnegie Mellon Univ, Comp Sci Dept, Pittsburgh, PA 15213 USA

[28] Carnegie Mellon Univ, Inst Robot, Pittsburgh, PA 15213 USA

[29] Carnegie Mellon Univ, Elect & Comp Engn Dept, Pittsburgh, PA 15213 USA

[30] CORAL Res Lab, Pittsburgh, PA USA

[31] RoboCup, Pittsburgh, PA USA

[32] AAAI, Pittsburgh, PA USA

来源：

IEEE CONTROL SYSTEMS MAGAZINE | 2017年 / 37卷 / 02期

关键词：

DIFFERENTIAL DYNAMIC LOGIC; FORMAL VERIFICATION; FOURIER-TRANSFORM; CONTROL-SYSTEM; HYBRID; GENERATION; ALGORITHMS; ATTACKS;

D O I：

10.1109/MCS.2016.2643244

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Cyberphysical systems (CPSs), ranging from critical infrastructures such as power plants, to modern (semi) autonomous vehicles, are systems that use software to control physical processes. CPSs are made up of many different computational components. Each component runs its own piece of software that implements its control algorithms, based on its model of the environment. Every component then interacts with other components through the signals and values it sends out. Collectively, these components, and the code they run, drive the complex behaviors modern society has come to expect and rely on. Due to these intricate interactions between components, managing the hundreds to millions of lines of software to ensure that the system, as a whole, performs as desired can often be unwieldy. © 1991-2012 IEEE.

引用

页码：82 / 103

页数：22

共 50 条

[1] Towards the deployment of a mobile robot network with end-to-end performance guarantees
Hsieh, Mong-ying A.
Cowley, Anthony
Kumar, Vijay
Taylor, Camillo J.
2006 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), VOLS 1-10, 2006, : 2085 - 2090
[2] Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control
Michelmore, Rhiannon
Wicker, Matthew
Laurenti, Luca
Cardelli, Luca
Gal, Yarin
Kwiatkowska, Marta
2020 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2020, : 7344 - 7350
[3] Affordance Learning for End-to-End Visuomotor Robot Control
Hamalainen, Aleksi
Arndt, Karol
Ghadirzadeh, Ali
Kyrki, Ville
2019 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2019, : 1781 - 1788
[4] On routing algorithms with end-to-end delay guarantees
Rao, NSV
Batsell, SG
7TH INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS - PROCEEDINGS, 1998, : 162 - 167
[5] High-Assurance Control
How, Jonathan P.
IEEE CONTROL SYSTEMS MAGAZINE, 2017, 37 (02): : 5 - 13
[6] End-to-End Imitation Learning with Safety Guarantees using Control Barrier Functions
Cosner, Ryan K.
Yue, Yisong
Ames, Aaron D.
2022 IEEE 61ST CONFERENCE ON DECISION AND CONTROL (CDC), 2022, : 5316 - 5322
[7] High-Precision End-to-End Latency Guarantees Using Packet Wash
Dong, Lijun
Clemm, Alexander
2021 IFIP/IEEE INTERNATIONAL SYMPOSIUM ON INTEGRATED NETWORK MANAGEMENT (IM 2021), 2021, : 259 - 267
[8] End-to-end QoS guarantees in networked multimedia systems
Nahrstedt, K
ACM COMPUTING SURVEYS, 1995, 27 (04) : 613 - 616
[9] Localized QoS Routing with End-to-End Delay Guarantees
Aldosari, Fahd M.
Alradady, Fahad
PROCEEDINGS OF THE 2013 10TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, 2013, : 464 - 472
[10] Quality of Service guarantees at end-to-end transport protocols
Al-Hajery, E
Hariri, S
1998 IEEE INTERNATIONAL PERFORMANCE, COMPUTING AND COMMUNICATIONS CONFERENCE, 1997, : 321 - 327

← 1 2 3 4 5 →