A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Filters
A Generated Property Specification Language for Resilient Multirobot Missions
[chapter]
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
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
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]
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
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]
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]
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
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
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]
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]
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
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
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]
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