Intention-aware control based on belief-space specifications and stochastic expansion
This paper develops a correct-by-design controller for an autonomous vehicle interacting
with opponent vehicles with unknown intentions. We define an intention-aware control …
with opponent vehicles with unknown intentions. We define an intention-aware control …
Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications
This paper addresses the control synthesis of heterogeneous stochastic linear multi-agent
systems with real-time allocation of signal temporal logic (STL) specifications. Based on …
systems with real-time allocation of signal temporal logic (STL) specifications. Based on …
Risk-Aware Autonomous Driving for Linear Temporal Logic Specifications
Decision-making for autonomous driving incorporating different types of risks is a
challenging topic. This paper proposes a novel risk metric to facilitate the driving task …
challenging topic. This paper proposes a novel risk metric to facilitate the driving task …
Specification-guided temporal logic control for stochastic systems: a multi-layered approach
Designing controllers to satisfy temporal requirements has proven to be challenging for
dynamical systems that are affected by uncertainty. This is mainly due to the states evolving …
dynamical systems that are affected by uncertainty. This is mainly due to the states evolving …