PROMISE: High-Level Mission Specification for Multiple Robots

Service robots, a type of robots that perform useful tasks for humans, are foreseen to be broadly used in the near future in both social and industrial scenarios. Those robots will be required to operate in dynamic environments, collaborating among them or with users. Specifying the list of requeste...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Proceedings - International Conference on Software Engineering s. 5 - 8
Hlavní autoři: Garcia, Sergio, Pelliccione, Patrizio, Menghi, Claudio, Berger, Thorsten, Bures, Tomas
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: ACM 01.10.2020
Témata:
Domain experts
domain specific language
Domain specific languages
DSL
Dynamic environments
Graphical interface
Industrial scenarios
mission specification
Multi robot
Multiple robot
Programvaruteknik
Recovery actions
Robotics and automation
Robotik och automation
Robots
Service robots
Software
Software Engineering
Syntactics
Task analysis
ISBN:1450371221, 9781450371223
ISSN:0270-5257
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Abstract Service robots, a type of robots that perform useful tasks for humans, are foreseen to be broadly used in the near future in both social and industrial scenarios. Those robots will be required to operate in dynamic environments, collaborating among them or with users. Specifying the list of requested tasks to be achieved by a robotic team is far from being trivial. Therefore, mission specification languages and tools need to be expressive enough to allow the specification of complex missions (e.g., detailing recovery actions), while being reachable by domain experts who might not be knowledgeable of programming languages. To support domain experts, we developed PROMISE, a Domain-Specific Language that allows mission specification for multiple robots in a user-friendly, yet rigorous manner. PROMISE is built as an Eclipse plugin that provides a textual and a graphical interface for mission specification. Our tool is in turn integrated into a software framework, which provides functionalities as: (1) automatic generation from specification, (2) sending of missions to the robotic team; and (3) interpretation and management of missions during execution time. PROMISE and its framework implementation have been validated through simulation and real-world experiments with four different robotic models.Video: https://youtu.be/RMtqwY2GOlQ
AbstractList Service robots, a type of robots that perform useful tasks for humans, are foreseen to be broadly used in the near future in both social and industrial scenarios. Those robots will be required to operate in dynamic environments, collaborating among them or with users. Specifying the list of requested tasks to be achieved by a robotic team is far from being trivial. Therefore, mission specification languages and tools need to be expressive enough to allow the specification of complex missions (e.g., detailing recovery actions), while being reachable by domain experts who might not be knowledgeable of programming languages. To support domain experts, we developed PROMISE, a Domain-Specific Language that allows mission specification for multiple robots in a user-friendly, yet rigorous manner. PROMISE is built as an Eclipse plugin that provides a textual and a graphical interface for mission specification. Our tool is in turn integrated into a software framework, which provides functionalities as: (1) automatic generation from specification, (2) sending of missions to the robotic team; and (3) interpretation and management of missions during execution time. PROMISE and its framework implementation have been validated through simulation and real-world experiments with four different robotic models.
Service robots, a type of robots that perform useful tasks for humans, are foreseen to be broadly used in the near future in both social and industrial scenarios. Those robots will be required to operate in dynamic environments, collaborating among them or with users. Specifying the list of requested tasks to be achieved by a robotic team is far from being trivial. Therefore, mission specification languages and tools need to be expressive enough to allow the specification of complex missions (e.g., detailing recovery actions), while being reachable by domain experts who might not be knowledgeable of programming languages. To support domain experts, we developed PROMISE, a Domain-Specific Language that allows mission specification for multiple robots in a user-friendly, yet rigorous manner. PROMISE is built as an Eclipse plugin that provides a textual and a graphical interface for mission specification. Our tool is in turn integrated into a software framework, which provides functionalities as: (1) automatic generation from specification, (2) sending of missions to the robotic team; and (3) interpretation and management of missions during execution time. PROMISE and its framework implementation have been validated through simulation and real-world experiments with four different robotic models. Video: https://youtu.be/RMtqwY2GOlQ
Service robots, a type of robots that perform useful tasks for humans, are foreseen to be broadly used in the near future in both social and industrial scenarios. Those robots will be required to operate in dynamic environments, collaborating among them or with users. Specifying the list of requested tasks to be achieved by a robotic team is far from being trivial. Therefore, mission specification languages and tools need to be expressive enough to allow the specification of complex missions (e.g., detailing recovery actions), while being reachable by domain experts who might not be knowledgeable of programming languages. To support domain experts, we developed PROMISE, a Domain-Specific Language that allows mission specification for multiple robots in a user-friendly, yet rigorous manner. PROMISE is built as an Eclipse plugin that provides a textual and a graphical interface for mission specification. Our tool is in turn integrated into a software framework, which provides functionalities as: (1) automatic generation from specification, (2) sending of missions to the robotic team; and (3) interpretation and management of missions during execution time. PROMISE and its framework implementation have been validated through simulation and real-world experiments with four different robotic models.Video: https://youtu.be/RMtqwY2GOlQ
Author Garcia, Sergio
Pelliccione, Patrizio
Berger, Thorsten
Bures, Tomas
Menghi, Claudio
Author_xml – sequence: 1
  givenname: Sergio
  surname: Garcia
  fullname: Garcia, Sergio
  email: sergio.garcia@gu.se
  organization: Chalmers | University of Gothenburg,Gothenburg,Sweden
– sequence: 2
  givenname: Patrizio
  surname: Pelliccione
  fullname: Pelliccione, Patrizio
  email: patrizio.pelliccione@gu.se
  organization: Chalmers | University of Gothenburg,Gothenburg,Sweden
– sequence: 3
  givenname: Claudio
  surname: Menghi
  fullname: Menghi, Claudio
  email: claudio.menghi@uni.lu
  organization: University of Luxembourg,Luxembourg,Luxembourg
– sequence: 4
  givenname: Thorsten
  surname: Berger
  fullname: Berger, Thorsten
  email: thorsten.berger@gu.se
  organization: Chalmers | University of Gothenburg,Gothenburg,Sweden
– sequence: 5
  givenname: Tomas
  surname: Bures
  fullname: Bures, Tomas
  email: bures@d3s.mff.cuni.cze
  organization: Charles University,Prague,Czech Republic
BackLink https://gup.ub.gu.se/publication/298725$$DView record from Swedish Publication Index (Göteborgs universitet)
https://research.chalmers.se/publication/549138$$DView record from Swedish Publication Index (Chalmers tekniska högskola)
BookMark eNp10E1LAzEQBuCICra1Zw9e9g9szedmI3iQUm2hpdLqOSTZ2Tay7S6bruK_N6UiXjwN7_DywEwfXezrPSB0Q_CIEC7uGJMyJ3TEWE4JZ2eoH7eYSUIpOf8bLlAPU4lTQYW8QsMQ3jHGNJcY57iHHl5Wy8VsPblPpn6zTefwAVWy8CH4ep-sG3C-9M4cjqms22TRVQffVJCsalsfwjW6LE0VYPgzB-jtafI6nqbz5fNs_DhPDWfkkFpJQCkFmFpCcGmsdZl0rihVhoEIsMdTMk4Z8NJwCRiKzLHCCMUACqPYAK1PbviEprO6af3OtF-6Nl63EMC0bqvd1lQ7aIMOoCMvshKYjgLXnEjQBstcs8hZU1omXBHV9F910zU6rjbdUaMql1TE_u2p7wHgt63icxlV7BvpRHkx
CODEN IEEPAD
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
ADTPV
BNKNJ
F1U
F1S
DOI 10.1145/3377812.3382143
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP All) 1998-Present
SwePub
SwePub Conference
SWEPUB Göteborgs universitet
SWEPUB Chalmers tekniska högskola
DatabaseTitleList


Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 1450371221
9781450371223
EndPage 8
ExternalDocumentID oai_research_chalmers_se_67c56fe3_93e4_417e_a078_3edabafb35cd
oai_gup_ub_gu_se_298725
9270329
Genre orig-research
GroupedDBID 6IE
6IL
ACM
ALMA_UNASSIGNED_HOLDINGS
APO
CBEJK
GUFHI
LHSKQ
RIE
RIL
-~X
.4S
.DC
123
23M
29O
5VS
6IF
6IH
6IK
6IM
6IN
8US
AAJGR
AAWTH
ABLEC
ADTPV
ADZIZ
AFFNX
ARCSS
AVWKF
BEFXN
BFFAM
BGNUA
BKEBE
BNKNJ
BPEOZ
CHZPO
EDO
F1U
FEDTE
I-F
I07
IEGSK
IJVOP
IPLJI
M43
OCL
RNS
XOL
F1S
ID FETCH-LOGICAL-a431t-b71e999e02b110fabbc67ccdf960e15eb77816423e4fa47e0ed6c3da593eeda93
IEDL.DBID RIE
ISBN 1450371221
9781450371223
ISICitedReferencesCount 18
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000637244600002&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 0270-5257
IngestDate Sat Nov 22 03:10:24 EST 2025
Tue Nov 04 16:52:51 EST 2025
Wed Aug 27 02:32:01 EDT 2025
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a431t-b71e999e02b110fabbc67ccdf960e15eb77816423e4fa47e0ed6c3da593eeda93
PageCount 4
ParticipantIDs ieee_primary_9270329
swepub_primary_oai_gup_ub_gu_se_298725
swepub_primary_oai_research_chalmers_se_67c56fe3_93e4_417e_a078_3edabafb35cd
PublicationCentury 2000
PublicationDate 2020-Oct.
2020
PublicationDateYYYYMMDD 2020-10-01
2020-01-01
PublicationDate_xml – month: 10
  year: 2020
  text: 2020-Oct.
PublicationDecade 2020
PublicationTitle Proceedings - International Conference on Software Engineering
PublicationTitleAbbrev ICSE-COMPANION
PublicationYear 2020
Publisher ACM
Publisher_xml – name: ACM
SSID ssj0002870080
ssj0006499
Score 2.2352397
Snippet Service robots, a type of robots that perform useful tasks for humans, are foreseen to be broadly used in the near future in both social and industrial...
SourceID swepub
ieee
SourceType Open Access Repository
Publisher
StartPage 5
SubjectTerms Domain experts
domain specific language
Domain specific languages
DSL
Dynamic environments
Graphical interface
Industrial scenarios
mission specification
Multi robot
Multiple robot
Programvaruteknik
Recovery actions
Robotics and automation
Robotik och automation
Robots
Service robots
Software
Software Engineering
Syntactics
Task analysis
Title PROMISE: High-Level Mission Specification for Multiple Robots
URI https://ieeexplore.ieee.org/document/9270329
https://gup.ub.gu.se/publication/298725
https://research.chalmers.se/publication/549138
WOSCitedRecordID wos000637244600002&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LS8NAEF5a8eBJpRXrixzEk2mTfWQbwZO0KLS1VIXelt3NpO0lKX34-53dhgrSizklmwRmwm7mm9lvZgi5Z90sx3VkQiGNCDn-DXBJaR7mSZzojAurpfHNJuRo1J1O03GNPO5zYQDAk8-g7U79Xn5W2q0LlXVSivOTpnVSlzLZ5Wrt4yluww7RT1W9J-aiw5iUaL7a6IRRn5Xj26f8KQnqzUj_9H8CnJHmbz5eMN5bmnNSg6JBnseT9-HbR-8pcFyNcODYP8Fw4VitReDbyudVPC5AYBoMK-ZgMClNuVk3yVe_9_nyGlbNEEKNNn4TGhkDgjmIqEGLnWtjbCKtzXJ0QSAWYJyy6Eww4LnmEiLIEssyLVKGwumUXZCjoizgkgQaQQpEGToeIuJ40aVGyJjHwNxhaIs0nOpquat3oSqtW-Rh9-X2N1xp6tl2qXBotlVrUDTtSipaZHDgwap40VzZue8Ms3YvoAoiyYEplJIrHktQGkGLYiiy0blhwmZXh8W5JifU-b6eWHdDjjarLdySY_u9WaxXd35y_AC_rrxX
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LT8MwDLZgIMEJECDGswfEiW5tHs2KxAltGmIbEw9ptyhJXeCyoT34_ThZNSTEhZ7atJXsKqk_O59tgEveKkpaRzaWyspY0N-AlpQRcZmlmSmEdEbZ0GxCDQat0SgfrsH1KhcGEQP5DBv-NOzlFxO38KGyZs5ofrJ8HTakECxZZmutIip-y47wT1W_JxWyyblSZMAa5IaxkJcTGqj8KgoaDEln538i7MLBT0ZeNFzZmj1Yw_E-3A6fHvv3z-2byLM14p7n_0T9D89rHUehsXxZReQigqZRv-IORk8TO5nPDuC1036568ZVO4TYkJWfx1alSHAOE2bJZpfGWpcp54qSnBBMJVqvLLkTHEVphMIEi8zxwsick3Am54dQG0_GeASRIZiCSUGuh0wEXbSYlSoVKXJ_WFaHfa-6_lxWvNCV1nW4Wn651Q1fnPpt8alp6G2hZ6hZ3lJM1qH3x4NV-aJ37d5Db5iZf4FUkFmJXJOUQotUoTYEWzQnka0pLZeuOP5bnAvY6r70e7p3P3g4gW3mPeFAszuF2ny6wDPYdF_zj9n0PEyUb7PZv54
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=proceeding&rft.title=Proceedings+-+International+Conference+on+Software+Engineering&rft.atitle=PROMISE%3A+High-level+mission+specification+for+multiple+robots&rft.au=Garc%C3%ADa+Gonzalo%2C+Sergio&rft.au=Pelliccione%2C+Patrizio&rft.au=Menghi%2C+Claudio&rft.au=Berger%2C+Thorsten&rft.date=2020-01-01&rft.isbn=1450371221&rft.issn=0270-5257&rft.spage=85&rft_id=info:doi/10.1145%2F3377812.3382143&rft.externalDocID=oai_research_chalmers_se_67c56fe3_93e4_417e_a078_3edabafb35cd
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0270-5257&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0270-5257&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0270-5257&client=summon