Safe Human-UAS Collaboration Abstraction
This paper studies the problem of safe humanuncrewed aerial system (UAS) collaboration in a shared work environment. By considering human and UAS as co-workers, we use Petri Nets to abstractly model evolution of shared tasks assigned to human and UAS co-workers. Particularly, the Petri Nets places represent work stations; therefore, the Petri Nets transitions can formally specify displacements between the work stations. The first objective is to incorporate uncertainty regarding the intentions of human co-workers into motion planning for UAS, when UAS co-workers closely interact with human co-workers. To this end, the proposed Petri Nets model uses conflict constructs to represent situations at which UAS deals with incomplete knowledge about human co-worker intention. The second objective is then to plan the motion of the UAS in a resilient and safe manner, in the presence of non-cooperative human co-workers. In order to achieve this objective, UAS equipped with onboard perception and decision-making capabilities are able to, through real-time processing of in-situ observation, predict human intention, quantify human distraction, and apply a non-stationary Markov Decision model to safely plan UAS motion in the presence of uncertainty.
Code (0)
등록된 구현이 없습니다.
Tasks
Decision MakingMotion PlanningSimilar Papers 제목 키워드 기반
GUARDIAN: Safeguarding LLM Multi-Agent Collaborations with Temporal Graph Modeling
The emergence of large language models (LLMs) enables the development of intelligent agents capable of engaging in complex and multi-turn dialogues. However, multi-agent collaboration face critical safety challenges, suc…
DecoderHallucinationVision-Based Safe Human-Robot Collaboration with Uncertainty Guarantees
We propose a framework for vision-based human pose estimation and motion prediction that gives conformal prediction guarantees for certifiably safe human-robot collaboration. Our framework combines aleatoric uncertainty …
Pose EstimationProactive Human-Robot Co-Assembly: Leveraging Human Intention Prediction and Robust Safe Control
Human-robot collaboration (HRC) is one key component to achieving flexible manufacturing to meet the different needs of customers. However, it is difficult to build intelligent robots that can proactively assist humans i…
Neural Network Verification with PyRAT
As AI systems are becoming more and more popular and used in various critical domains (health, transport, energy, ...), the need to provide guarantees and trust of their safety is undeniable. To this end, we present PyRA…
The Digital Divide in Process Safety: Quantitative Risk Analysis of Human-AI Collaboration
Digital technologies have dramatically accelerated the digital transformation in process industries, boosted new industrial applications, upgraded the production system, and enhanced operational efficiency. In contrast, …