Set-based prediction of traffic participants considering occlusions and traffic rules

M Koschi, M Althoff - IEEE Transactions on Intelligent Vehicles, 2020 - ieeexplore.ieee.org
Provably safe motion planning for automated road vehicles must ensure that planned
motions do not result in a collision with other traffic participants. This is a major challenge in …

Runtime assurance for safety-critical systems: An introduction to safety filtering approaches for complex control systems

KL Hobbs, ML Mote, MCL Abate… - IEEE Control …, 2023 - ieeexplore.ieee.org
More than three miles above the Arizona desert, an F-16 student pilot experienced a gravity-
induced loss of consciousness, passing out while turning at nearly 9Gs (nine times the force …

SOTER: a runtime assurance framework for programming safe robotics systems

A Desai, S Ghosh, SA Seshia… - 2019 49th Annual …, 2019 - ieeexplore.ieee.org
The recent drive towards achieving greater autonomy and intelligence in robotics has led to
high levels of complexity. Autonomous robots increasingly depend on third-party off-the …

Potential risk assessment for safe driving of autonomous vehicles under occluded vision

D Wang, W Fu, Q Song, J Zhou - Scientific reports, 2022 - nature.com
This study aimed to explore how autonomous vehicles can predict potential risks and
efficiently pass through the dangerous interaction areas in the face of occluded scenes or …

Mobile robotics and 3D printing: addressing challenges in path planning and scalability

M Rastegarpanah, ME Asif, J Butt, H Voos… - Virtual and Physical …, 2024 - Taylor & Francis
ABSTRACT Mobile Additive Manufacturing (MAM) systems are transforming large-scale
fabrication across various industries, particularly in building and construction. This review …

Run-time optimization for learned controllers through quantitative games

G Avni, R Bloem, K Chatterjee, TA Henzinger… - … Aided Verification: 31st …, 2019 - Springer
A controller is a device that interacts with a plant. At each time point, it reads the plant's state
and issues commands with the goal that the plant operates optimally. Constructing optimal …

Path planning of mobile robot in dynamic environment: Fuzzy artificial potential field and extensible neural network

D Wang, S Chen, Y Zhang, L Liu - Artificial Life and Robotics, 2021 - Springer
Path planning in dynamic environment is a great challenge for mobile robot. A large number
of approaches have been used to deal with it. Since the neural network algorithm has the …

Runtime safety assurance for learning-enabled control of autonomous driving vehicles

S Chen, Y Sun, D Li, Q Wang, Q Hao… - … on Robotics and …, 2022 - ieeexplore.ieee.org
Providing safety guarantees for Autonomous Vehicle (AV) systems with machine-learning
based controllers remains a challenging issue. In this work, we propose Simplex-Drive, a …

What lies in the shadows? Safe and computation-aware motion planning for autonomous vehicles using intent-aware dynamic shadow regions

Y Nager, A Censi, E Frazzoli - 2019 International Conference …, 2019 - ieeexplore.ieee.org
One of the challenges of developing autonomous vehicles is planning in an inhabited
environment under sensing uncertainty as well as limited perception and computational …

Real-time collision-free navigation of multiple UAVs based on bounding boxes

P Sánchez, R Casado, A Bermúdez - Electronics, 2020 - mdpi.com
Predictably, future urban airspaces will be crowded with autonomous unmanned aerial
vehicles (UAVs) offering different services to the population. One of the main challenges in …