37 Hits in 3.5 sec

A Generated Property Specification Language for Resilient Multirobot Missions [chapter]

Swaib Dragule, Bart Meyers, Patrizio Pelliccione
2017 Lecture Notes in Computer Science  
We show how this specification language can be automatically generated from a domain-specific FLYAQ mission language by using the generative ProMoBox approach.  ...  We present an extensible specification language that allows users to declaratively specify domain-specific constraints as properties of missions, thus complementing the existing FLYAQ mission language.  ...  .: ProMoBox: A Framework for Generating Domain-Specific Property Languages. In: International Conference on Software Language Engineering (SLE). vol. , pp. -.  ... 
doi:10.1007/978-3-319-65948-0_4 fatcat:z4pmwf4tzzftpkxl6ou2paawzq

Active Exploitation of Redundancies in Reconfigurable Multirobot Systems

Thomas M. Roehr
2022 IEEE Transactions on robotics  
The model allows us to exploit redundancies when optimizing a multirobot system's probability of survival with respect to a desired mission.  ...  We use a simulated multirobot planetary exploration mission to evaluate this approach and highlight an exemplary performance landscape.  ...  ACKNOWLEDGMENT The author would like to thank all contributors who helped to realize the multirobot team in the project TransTerrA.  ... 
doi:10.1109/tro.2021.3118284 fatcat:5mdccmuf2bc3lpjr6p2lq23iqu

RoboMAX: Robotic Mission Adaptation eXemplars

Mehrnoosh Askarpour, Christos Tsigkanos, Claudio Menghi, Radu Calinescu, Patrizio Pelliccione, Sergio Garcia, Ricardo Caldas, Tim J von Oertzen, Manuel Wimmer, Luca Berardinelli, Matteo Rossi, Marcello M. Bersani (+1 others)
2021 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)  
To support the research needed to address them, we provide an extensible repository of robotic mission adaptation exemplars.  ...  An online form enables external parties to supply new exemplars for curation and inclusion into the repository.  ...  ACKNOWLEDGEMENT We acknowledge the following contributions for the exemplar definitions: Kompaï robotics for the food logistics, PAL Robotics, Clinica Humana, and Badalona Hospital.  ... 
doi:10.1109/seams51251.2021.00040 fatcat:7sxxpjp24vcuhmprxwfac5gmcm

Beyond Robustness: A Taxonomy of Approaches towards Resilient Multi-Robot Systems [article]

Amanda Prorok, Matthew Malencia, Luca Carlone, Gaurav S. Sukhatme, Brian M. Sadler, Vijay Kumar
2021 arXiv   pre-print
One of our key contributions is a formal taxonomy of approaches, which also helps us discuss the defining factors and stressors for a resilient system.  ...  By enumerating the consequences of a system that is not resilient (fragile), we argue that resilience must become a central engineering design consideration.  ...  A general framework for sensor selection based on resilient submodular maximization is investigated in [144] . Open Problem 4 (Resilience and reasoning over failures).  ... 
arXiv:2109.12343v1 fatcat:vxt62eluljfelcifzdlosv34cq

Guest editorial: special issue on multi-robot and multi-agent systems

Nora Ayanian, Paolo Robuffo Giordano, Robert Fitch, Antonio Franchi, Lorenzo Sabattini
2020 Autonomous Robots  
Far more is on the immediate horizon: vehicular networks for transportation, security and surveillance, food supply, environmental monitoring and ecological impact assessment, services for manufacturing  ...  In the same way that computers have revolutionized the way we deal with information, robotics will enable a similar revolution in the way we operate in the real world.  ...  " by Salar Moarref and Hadas Kress-Gazit, who propose a formal specification language to describe both team and individual behaviours and associated methods for automatically constructing control algorithms  ... 
doi:10.1007/s10514-020-09908-x fatcat:ty4zagmoa5bolojtkwg3gekenm

Active Exploitation of Redundancies in Reconfigurable Multi-Robot Systems [article]

Thomas M. Roehr
2021 arXiv   pre-print
The model allows to exploit redundancies when optimizing a multi-robot system's probability of survival with respect to a desired mission.  ...  We use a simulated multi-robot planetary exploration mission to evaluate this approach and highlight an exemplary performance landscape.  ...  can be scheduled for a specific time.  ... 
arXiv:2106.12079v1 fatcat:e5mlj5uwozfk3i2j4pzrcj6vti

Distributed Mission Planning of Complex Tasks for Heterogeneous Multi-Robot Teams [article]

Barbara Arbanas Ferreira, Tamara Petrović, Stjepan Bogdan
2021 arXiv   pre-print
In this paper, we propose a distributed multi-stage optimization method for planning complex missions for heterogeneous multi-robot teams.  ...  We propose a distributed metaheuristic based on evolutionary computation to allocate tasks and generate schedules for the set of chosen decompositions.  ...  Each chromosome is associated with a phenotype that evaluates the genetic material and, in our case, generates schedules for task sequences based on the temporal properties of the tasks (task duration,  ... 
arXiv:2109.10106v1 fatcat:naikx3o72rgwxnvlz2cbdo3qyi

A Domain-Specific Language for the Development of Heterogeneous Multi-robot Systems

Daneil Steen Losvik, Adrian Rutle
2019 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)  
The thesis also explores how a user interface can be used to define multiple different missions for a team of heterogeneous robots without the need for redeployment on each robot.  ...  Multiple robots can achieve more complex tasks that are impossible to achieve for a single robot alone.  ...  Rogardt Heldal for his teachings on research in software engineering. Finally, I would like to thank my family for their support throughout my study.  ... 
doi:10.1109/models-c.2019.00085 dblp:conf/models/LosvikR19 fatcat:oykslb3l3bgarbzspirp42dcqm

Self-optimization of resilient topologies for fallible multi-robots

Marco Minelli, Jacopo Panerati, Marcel Kaufmann, Cinara Ghedini, Giovanni Beltrame, Lorenzo Sabattini
2020 Robotics and Autonomous Systems  
The growing interest of the research community for swarms and multi-robot systems has led to the introduction of many swarm-specifics tools, including simulators [15], programming languages [16, 17, 18  ...  Here, we address the problem of simultaneously maximizing the (i) resilience to faults and (ii) area coverage of dynamic multirobot topologies.  ...  Resilience was defined in [1] as a property "about systems that can bend without breaking. Resilient systems are self- 5 aware and self-regulating, and can recover from large-scale disruptions".  ... 
doi:10.1016/j.robot.2019.103384 fatcat:n3pr62adxzdank4nen52atyuku

OPEN PROPOSAL: MISSION ATLANTIC Objectives, Impact Pathways, WorkPlan, Deliverables & Consortium [article]

Patrizio Mariani, Michael St John, Ivo Grigorov
2020 Zenodo  
MISSION ATLANTIC develops and systematically applies Atlantic Integrated Ecosystem Assessments (IEAs).  ...  To support IEAs we map, model and assess Atlantic Ocean ecosystems including resilience and responses to cumulative pressures.  ...  MISSION ATLANTIC will move beyond the state-of-the-art by generating 3D maps of the abiotic and biotic properties of the entire Atlantic, as well as their present and future pressures, providing insight  ... 
doi:10.5281/zenodo.4916511 fatcat:2ciwz6626fagpkzuyekj4rdvve

A Sequential Composition Framework for Coordinating Multi-Robot Behaviors [article]

Pietro Pierpaoli, Anqi Li, Mohit Srinivasan, Xiaoyi Cai, Samuel Coogan, Magnus Egerstedt
2020 arXiv   pre-print
A number of coordinated behaviors have been proposed for achieving specific tasks for multi-robot systems.  ...  Specifically, when the inter-agent communication depends on inter-robot distances, these constraints translate into particular configurations that must be reached in finite time in order for the system  ...  as a multirobot benchmark scenario.  ... 
arXiv:1907.07718v2 fatcat:qjv34kmf5rbn5f5nfsdjrtm7ra

Swarm Intelligence and Cyber-Physical Systems: Concepts, Challenges and Future Trends

Melanie Schranz, Gianni A. Di Caro, Thomas Schmickl, Wilfried Elmenreich, Farshad Arvin, Ahmet Şekercioğlu, Micha Sende
2020 Swarm and Evolutionary Computation  
This is a PDF file of an article that has undergone enhancements after acceptance, such as the addition of a cover page and metadata, and formatting for readability, but it is not yet the definitive version  ...  For instance, from a recent survey on multirobot systems [113] , the properties that are invoked for an algorithm of distributed control are locality of sensing and communications, scalability, safety  ...  Space Missions Space missions are very attractive for swarms of CPSs.  ... 
doi:10.1016/j.swevo.2020.100762 fatcat:4fqw7vnjv5dtdck5xep5qdegxi

Schedule and Program

2020 2020 IEEE Aerospace Conference  
Generic Mission Architectures: Showcasing the Artemis Mission - Cle me ns Rumpf 12.0218 Operational T echniques for Dealing with Long Eclipses during the MMS Extended Mission -Eric Palme r 6.05  ...  Measurement -Kenneth Ma 2.0701 Design and Verification of the Feet Design Used on InSights "Heat Flow Property Package Instrument" - Siebo Reershemius 2.0903 Q4 -a CubeSat Mission to Demonstrate  ... 
doi:10.1109/aero47225.2020.9172334 fatcat:qosbpgtqnvckdhkjzvtxzqgw3i

A Review of the Principles of Designing Smart Cyber-Physical Systems for Run-Time Adaptation: Learned Lessons and Open Issues

Joze Tavcar, Imre Horvath
2018 IEEE Transactions on Systems, Man & Cybernetics. Systems  
Specific and common design principles are presented and critically assessed for each advancement level of CPSs.  ...  The principles synthesized by the authors provide only a partial fulfillment of the generic need.  ...  In a second step, scenarios and a specification book for implementation of the smart factory was prepared [37] .  ... 
doi:10.1109/tsmc.2018.2814539 fatcat:pehp2c7fr5bjdpfb6u6pkswsri

Industry 5.0 is Coming: A Survey on Intelligent NextG Wireless Networks as Technological Enablers [article]

Shah Zeb, Aamir Mahmood, Sunder Ali Khowaja, Kapal Dev, Syed Ali Hassan, Nawab Muhammad Faseeh Qureshi, Mikael Gidlund, Paolo Bellavista
2022 arXiv   pre-print
Industry 5.0 vision, a step toward the next industrial revolution and enhancement to Industry 4.0, envisioned the new goals of resilient, sustainable, and human-centric approaches in diverse emerging applications  ...  In this regard, the convergence of the emerging computational intelligence (CI) paradigm and next-generation wireless networks (NGWNs) can fulfill the stringent communication and computation requirements  ...  They generally use natural language processing (NLP) and perceptual image processing algorithms on voice, text, and image data to learn from human beings and imitate the language and human behavior pattern  ... 
arXiv:2205.09084v1 fatcat:uq6rfxhvp5acfc3jtem7dmdcwy
« Previous Showing results 1 — 15 out of 37 results