Synthesizing cooperative reactive mission plans

Rüdiger Ehlers; Robert Könighofer; Roderick Bloem

doi:10.1109/IROS.2015.7353862

Synthesizing cooperative reactive mission plans

Rüdiger Ehlers^*, Robert Könighofer, Roderick Bloem

^*Corresponding author for this work

Institute of Applied Information Processing and Communications (7050)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Abstract

By performing synthesis from formal high-level mission specifications, we can obtain robot controllers that are guaranteed to operate correctly under the specified environment conditions. Such conditions must be stated in the specification whenever there is no way in which the robot's task can be fulfilled without them holding, and they relate the possible behaviors of the environment with the behavior of the robot. Contemporary synthesis algorithms however frequently construct implementations that try to trivially satisfy their specifications by actively working towards the violation of the assumptions, which is undesirable behavior.

Original language	English
Title of host publication	2015 IEEE/RSJ International Conference on Intelligent Robots and Systems
Publisher	Institute of Electrical and Electronics Engineers
Pages	3478-3485
ISBN (Print)	978-1-4799-9994-1
DOIs	https://doi.org/10.1109/IROS.2015.7353862
Publication status	Published - 2015
Event	2015 IEEE/RSJ International Conference on Intelligent Robots and Systems : IROS'15 - Taipeh, Taiwan, Province of China Duration: 18 Oct 2010 → 22 Oct 2010

Conference

Conference	2015 IEEE/RSJ International Conference on Intelligent Robots and Systems
Abbreviated title	IROS'15
Country/Territory	Taiwan, Province of China
City	Taipeh
Period	18/10/10 → 22/10/10

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application
Theoretical

Access to Document

10.1109/IROS.2015.7353862

iros15.pdfFinal published version, 280 KB

EU - IMMORTAL - IMMORTAL – Integrated Modelling, Fault Management, Verification and Reliable Design Environment for Cyber-Physical Systems
Bloem, R. & Könighofer, R.
1/03/15 → 28/02/18
Project: Research project
EU - STANCE - A Source code analysis Toolbox for software security AssuraNCE
Tögl, R., Könighofer, R. & Bloem, R.
1/10/12 → 30/09/15
Project: Research project
FWF - RiSE - Rigorous Systems Engineering
Könighofer, R., Khalimov, A., Bloem, R., Könighofer, B. & Jacobs, S.
1/03/11 → 31/08/19
Project: Research project

Cite this

Ehlers, R, Könighofer, R & Bloem, R 2015, Synthesizing cooperative reactive mission plans. in 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems . Institute of Electrical and Electronics Engineers, pp. 3478-3485, 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems , Taipeh, Taiwan, Province of China, 18/10/10. https://doi.org/10.1109/IROS.2015.7353862

@inproceedings{987957857def40eb935150ce1216ff9b,

title = "Synthesizing cooperative reactive mission plans",

abstract = "By performing synthesis from formal high-level mission specifications, we can obtain robot controllers that are guaranteed to operate correctly under the specified environment conditions. Such conditions must be stated in the specification whenever there is no way in which the robot's task can be fulfilled without them holding, and they relate the possible behaviors of the environment with the behavior of the robot. Contemporary synthesis algorithms however frequently construct implementations that try to trivially satisfy their specifications by actively working towards the violation of the assumptions, which is undesirable behavior.",

author = "R{\"u}diger Ehlers and Robert K{\"o}nighofer and Roderick Bloem",

year = "2015",

doi = "10.1109/IROS.2015.7353862",

language = "English",

isbn = "978-1-4799-9994-1",

pages = "3478--3485",

booktitle = "2015 IEEE/RSJ International Conference on Intelligent Robots and Systems",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

note = " 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems : IROS'15, IROS'15 ; Conference date: 18-10-2010 Through 22-10-2010",

}

TY - GEN

T1 - Synthesizing cooperative reactive mission plans

AU - Ehlers, Rüdiger

AU - Könighofer, Robert

AU - Bloem, Roderick

PY - 2015

Y1 - 2015

N2 - By performing synthesis from formal high-level mission specifications, we can obtain robot controllers that are guaranteed to operate correctly under the specified environment conditions. Such conditions must be stated in the specification whenever there is no way in which the robot's task can be fulfilled without them holding, and they relate the possible behaviors of the environment with the behavior of the robot. Contemporary synthesis algorithms however frequently construct implementations that try to trivially satisfy their specifications by actively working towards the violation of the assumptions, which is undesirable behavior.

AB - By performing synthesis from formal high-level mission specifications, we can obtain robot controllers that are guaranteed to operate correctly under the specified environment conditions. Such conditions must be stated in the specification whenever there is no way in which the robot's task can be fulfilled without them holding, and they relate the possible behaviors of the environment with the behavior of the robot. Contemporary synthesis algorithms however frequently construct implementations that try to trivially satisfy their specifications by actively working towards the violation of the assumptions, which is undesirable behavior.

U2 - 10.1109/IROS.2015.7353862

DO - 10.1109/IROS.2015.7353862

M3 - Conference paper

SN - 978-1-4799-9994-1

SP - 3478

EP - 3485

BT - 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems

PB - Institute of Electrical and Electronics Engineers

T2 - 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems

Y2 - 18 October 2010 through 22 October 2010

ER -

Synthesizing cooperative reactive mission plans

Abstract

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Fingerprint

Projects

EU - IMMORTAL - IMMORTAL – Integrated Modelling, Fault Management, Verification and Reliable Design Environment for Cyber-Physical Systems

EU - STANCE - A Source code analysis Toolbox for software security AssuraNCE

FWF - RiSE - Rigorous Systems Engineering

Cite this