Motion planning with temporal-logic specifications: Progress and challenges
Integrating task and motion planning is becoming increasingly important due to the
recognition that a growing number of robotics applications in navigation, search-and-rescue …
recognition that a growing number of robotics applications in navigation, search-and-rescue …
A survey on domain-specific languages in robotics
A Nordmann, N Hochgeschwender… - International conference on …, 2014 - Springer
The design, simulation and programming of robotics systems is challenging as expertise
from multiple domains needs to be integrated conceptually and technically. Domain-specific …
from multiple domains needs to be integrated conceptually and technically. Domain-specific …
Specification patterns for robotic missions
Mobile and general-purpose robots increasingly support everyday life, requiring
dependable robotics control software. Creating such software mainly amounts to …
dependable robotics control software. Creating such software mainly amounts to …
Control of multi-agent systems with finite time control barrier certificates and temporal logic
M Srinivasan, S Coogan… - 2018 IEEE Conference on …, 2018 - ieeexplore.ieee.org
In this paper, a method to synthesize controllers using finite time convergence control barrier
functions guided by linear temporal logic specifications for continuous time multi-agent …
functions guided by linear temporal logic specifications for continuous time multi-agent …
Control strategies for COVID-19 epidemic with vaccination, shield immunity and quarantine: A metric temporal logic approach
Ever since the outbreak of the COVID-19 epidemic, various public health control strategies
have been proposed and tested against the coronavirus SARS-CoV-2. We study three …
have been proposed and tested against the coronavirus SARS-CoV-2. We study three …
Specification-compliant driving corridors for motion planning of automated vehicles
It is crucial for automated vehicles to explicitly comply with specifications, including traffic
rules, to ensure their safe and effective participation in road traffic. Such compliance is also …
rules, to ensure their safe and effective participation in road traffic. Such compliance is also …
High-level mission specification for multiple robots
Mobile robots are increasingly used in our everyday life to autonomously realize missions. A
variety of languages has been proposed to support roboticists in the systematic …
variety of languages has been proposed to support roboticists in the systematic …
Timed automata approach for motion planning using metric interval temporal logic
In this paper, we consider the robot motion (or task) planning problem under some given
bounded time high level specifications. We use metric interval temporal logic (MITL), a …
bounded time high level specifications. We use metric interval temporal logic (MITL), a …
Languages for specifying missions of robotic applications
S Dragule, SG Gonzalo, T Berger… - Software Engineering for …, 2021 - Springer
Robot application development is gaining increasing attention both from the research and
industry communities. Robots are complex cyber-physical and safety-critical systems with …
industry communities. Robots are complex cyber-physical and safety-critical systems with …
Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications
Sampling-based methods have advanced the state of the art in robotic motion planning and
control across complex, high-dimensional domains. With few exceptions, such approaches …
control across complex, high-dimensional domains. With few exceptions, such approaches …