Synthesis of human-in-the-loop control protocols for autonomous systems
L Feng, C Wiltsche, L Humphrey… - IEEE Transactions on …, 2016 - ieeexplore.ieee.org
We propose an approach to synthesize control protocols for autonomous systems that
account for uncertainties and imperfections in interactions with human operators. As an …
account for uncertainties and imperfections in interactions with human operators. As an …
Trust-based multi-robot symbolic motion planning with a human-in-the-loop
Symbolic motion planning for robots is the process of specifying and planning robot tasks in
a discrete space, then carrying them out in a continuous space in a manner that preserves …
a discrete space, then carrying them out in a continuous space in a manner that preserves …
Controller synthesis for autonomous systems interacting with human operators
We propose an approach to synthesize control protocols for autonomous systems that
account for uncertainties and imperfections in interactions with human operators. As an …
account for uncertainties and imperfections in interactions with human operators. As an …
Predictive runtime monitoring for mobile robots using logic-based bayesian intent inference
H Yoon, S Sankaranarayanan - 2021 IEEE International …, 2021 - ieeexplore.ieee.org
We propose a predictive runtime monitoring framework that forecasts the distribution of
future positions of mobile robots in order to detect and avoid impending property violations …
future positions of mobile robots in order to detect and avoid impending property violations …
APEX: Autonomous vehicle plan verification and execution
Autonomous vehicles (AVs) have already driven millions of miles on public roads, but even
the simplest scenarios have not been certified for safety. Current methodologies for the …
the simplest scenarios have not been certified for safety. Current methodologies for the …
Autonomous, cooperative uav operations using cots consumer drones and custom ground control station
E Skjervold - MILCOM 2018-2018 IEEE Military …, 2018 - ieeexplore.ieee.org
The benefits of using UA Vs for inexpensive aerial surveillance and survey have been
widely accepted, and UAVs are routinely assisting humans performing ISR operations …
widely accepted, and UAVs are routinely assisting humans performing ISR operations …
A novel approach to modeling and verifying real-time systems for high reliability
This paper proposes a novel approach to modeling and verifying real-time systems for high
reliability. To do so, we first extend projection temporal logic to timed projection temporal …
reliability. To do so, we first extend projection temporal logic to timed projection temporal …
Formal Methods for Autonomous Systems
Formal methods refer to rigorous, mathematical approaches to system development and
have played a key role in establishing the correctness of safety-critical systems. The main …
have played a key role in establishing the correctness of safety-critical systems. The main …
TML: a language to specify aerial robotic missions for the framework Aerostack
M Molina, RA Suarez-Fernandez… - International Journal of …, 2017 - emerald.com
Purpose The purpose of this paper is to describe the specification language TML for
adaptive mission plans that the authors designed and implemented for the open-source …
adaptive mission plans that the authors designed and implemented for the open-source …
Trust-based human-robot interaction for multi-robot symbolic motion planning
DA Spencer, Y Wang… - 2016 IEEE/RSJ …, 2016 - ieeexplore.ieee.org
Symbolic motion planning for robots is the process of specifying and planning robot tasks in
a discrete space, then carrying them out in a continuous space in a manner that preserves …
a discrete space, then carrying them out in a continuous space in a manner that preserves …