Towards Minimal Explanations of Unsynthesizability for High-Level Robot Behaviors

被引：0

作者：

Raman, Vasumathi ^{[1
]}

Kress-Gazit, Hadas ^{[2
]}

机构：

[1] Cornell Univ, Dept Comp Sci, Ithaca, NY 14853 USA

[2] Cornell Univ, Sibley Sch Mech & Aerosp Engn, Ithaca, NY 14853 USA

来源：

2013 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS) | 2013年

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

High-level robot control has recently seen the application of formal methods to the automatic synthesis of correct-by-construction controllers from user-defined specifications. When a specification fails to yield a corresponding controller, existing techniques provide feedback on portions of the specification that cause the failure, but at a coarse granularity. This work provides techniques for extracting minimal explanations of such failures. The approach is shown to provide refinement of the feedback on several example specifications.

引用

页码：757 / 762

页数：6

共 50 条

[21] Verification of Scheduling of Conditional Behaviors in High-Level Synthesis
Chouksey, Ramanuj
Karfa, Chandan
IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2020, 28 (07) : 1638 - 1651
[22] A review of high-level robot functionality for elderly care
Sun, Nico
Yang, Erfu
Corney, Jonathan
Chen, Yi
Ma, Zeli
2018 24TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATION AND COMPUTING (ICAC' 18), 2018, : 68 - 73
[23] DESIGN FOR A HAND WITH A HIGH-LEVEL OF DEXTERITY FOR AN INDUSTRIAL ROBOT
BONIVENTO, C
CASELLI, S
FALDELLA, E
LASCHI, R
MELCHIORRI, C
TONIELLI, A
ALTA FREQUENZA, 1987, 56 (07): : 181 - 189
[24] ActBot: Sharing High-level Robot AI Scripts
Creusot, Clement
2016 25TH IEEE INTERNATIONAL SYMPOSIUM ON ROBOT AND HUMAN INTERACTIVE COMMUNICATION (RO-MAN), 2016, : 172 - 178
[25] High-level modelling of cooperative mobile robot systems
Sanchez-Herrera, R.
Villanueva-Paredes, N.
Lopez-Mellado, E.
DISTRIBUTED AUTONOMOUS ROBOTIC SYSTEMS 6, 2007, : 431 - +
[26] A high-level controller for robot-assisted rehabilitation
Erol, Duyguin
Sarkar, Nilanjan
Halder, Bibhrajit
2006 28TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY, VOLS 1-15, 2006, : 2792 - +
[27] Evolution of controllers from a high-level simulator to a high DOF robot
Hornby, GS
Takamura, S
Hanagata, O
Fujita, M
Pollack, J
EVOLVABLE SYSTEMS: FROM BIOLOGY TO HARDWARE, PROCEEDINGS, 2000, 1801 : 80 - 89
[28] Towards automation of testing high-level security properties
Hanna, Aiman
Ling, Hai Zhou
Furlong, Jason
Debbabi, Mourad
DATA AND APPLICATIONS SECURITY XXII, 2008, 5094 : 268 - 282
[29] Towards high-level programming for distributed problem solving
Kelly, Ryan F.
Pearce, Adrian R.
2006 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY, PROCEEDINGS, 2006, : 490 - +
[30] TOWARDS REACHABILITY TREES FOR HIGH-LEVEL PETRI NETS
HUBER, P
JENSEN, AM
JEPSEN, LO
JENSEN, K
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 188 : 215 - 223

← 1 2 3 4 5 →