SearcharxivSearch

arXiv subjects

Mrdjan Jankovic

Publications and source records attributed to Mrdjan Jankovic.

14 recordsLinked to original sources

Proprioceptive feedback paradigm for safe and resilient motion control

Proprioception is a human sense that provides feedback from muscles and joints about body position and motion. This key capability keeps us upright, moving, and responding quickly to slips or stumbles. In this paper we discuss a proprioception-like feature (machine proprioceptive feedback - MPF) for motion control systems. An unexpected response of one actuator, or one agent in a multi-agent system, is compensated by other actuators/agents through fast feedback loops that react only to the unexpected portion. The paper appropriates the predictor-corrector mechanism of decentralized, multi-agent controllers as "proprioceptive feedback" for centrally controlled ones. It analyzes a nature and degree of impairment that can be managed and offers two options, full- MPF and split-MPF, with different wiring architectures as well as different stability and safety properties. Multi-vehicle interchange lane-swap traffic simulations confirm the analytical results.

eess.SY

Negotiating Highway Interchange Traffic with a Decentralized Instability-Driven CBF-based Algorithm

In this paper we consider an interchange lane-swap scenario, a limited stretch of highway with two parallel lanes where most vehicles want to change lanes. We show that a particular decentralized Control Barrier Function based algorithm executes lane swaps efficiently, with minimal speed change, within the specified (short) road segment at high traffic densities (3,500 vehicles per hour per lane). Our main point is that controller tuning, the speed of inter-agent instability, plays a major role in the performance of the vehicle group. This is illustrated by comparing two different tunings of the controller and a third one where the lane swap is enforced by virtual guard rails. Like fighter jet dynamic instability improving maneuverability, the inter-agent instability improves agility of a group of vehicles. We emphasize that the controllers considered are decentralized: agents do not know if others want to change lanes or not.

eess.SY

Decentralized Merging Control of Connected and Automated Vehicles to Enhance Safety and Energy Efficiency using Control Barrier Functions

This paper presents a decentralized Control Barrier Function (CBF) based approach for highway merging of Connected and Automated Vehicles (CAVs). In this control algorithm, each "host" vehicle negotiates with other agents in a control zone of the highway network, and enacts its own action, to perform safe and energy-efficient merge maneuvers. It uses predictor-corrector loops within the robust CBF setting for negotiation and to reconcile disagreements that may arise. There is no explicit order of vehicles and no priority. A notable feature is absence of gridlocks due to instability of the inter-agent system. Results from Monte Carlo simulations show significant improvement in the system-wide energy efficiency and traffic flow compared to a first-in-first-out approach, as well as enhanced robustness of the proposed decentralized controller compared to its centralized counterpart.

eess.SY

Energy-efficient Merging of Connected and Automated Vehicles using Control Barrier Functions

Highway merges present difficulties for human drivers and automated vehicles due to incomplete situational awareness and a need for a structured (precedence, order) environment, respectively. In this paper, an unstructured merge algorithm is presented for connected and automated vehicles. There is neither precedence nor established passing order through the merge point. The algorithm relies on Control Barrier Functions for safety (collision avoidance) and for coordination that arises from exponential instability of stall-equilibria in the inter-agent space. A Monte Carlo simulation comparison to a first-in-first-out approach shows improvement in traffic flow and a significant energy efficiency benefit.

eess.SY

The Impact of Reference-Command Preview on Human-in-the-Loop Control Behavior

This article presents results from an experiment in which 44 human subjects interact with a dynamic system to perform 40 trials of a command-following task. The reference command is unpredictable and different on each trial, but all subjects have the same sequence of reference commands for the 40 trials. The subjects are divided into 4 groups of 11 subjects. One group performs the command-following task without preview of the reference command, and the other 3 groups are given preview of the reference command for different time lengths into the future (0.5 s, 1 s, 1.5 s). A subsystem identification algorithm is used to obtain best-fit models of each subject's control behavior on each trial. The time- and frequency-domain performance, as well as the identified models of the control behavior for the 4 groups are examined to investigate the effects of reference-command preview. The results suggest that preview tends to improve performance by allowing the subjects to compensate for sensory time delay and approximate the inverse dynamics in feedforward. However, too much preview may decrease performance by degrading the ability to use the correct phase lead in feedforward.

eess.SY

Future-Focused Control Barrier Functions for Autonomous Vehicle Control

In this paper, we introduce a class of future-focused control barrier functions (ff-CBF) aimed at improving traditionally myopic CBF based control design and study their efficacy in the context of an unsignaled four-way intersection crossing problem for collections of both communicating and non-communicating autonomous vehicles. Our novel ff-CBF encodes that vehicles take control actions that avoid collisions predicted under a zero-acceleration policy over an arbitrarily long future time interval. In this sense the ff-CBF defines a virtual barrier, a loosening of which we propose in the form of a relaxed future-focused CBF (rff-CBF) that allows a relaxation of the virtual ff-CBF barrier far from the physical barrier between vehicles. We study the performance of ff-CBF and rff-CBF based controllers on communicating vehicles via a series of simulated trials of the intersection scenario, and in particular highlight how the rff-CBF based controller empirically outperforms a benchmark controller from the literature by improving intersection throughput while preserving safety and feasibility. Finally, we demonstrate our proposed ff-CBF control law on an intersection scenario in the laboratory environment with a collection of 5 non-communicating AION ground rovers.

math.OC

Robust AI Driving Strategy for Autonomous Vehicles

There has been significant progress in sensing, perception, and localization for automated driving, However, due to the wide spectrum of traffic/road structure scenarios and the long tail distribution of human driver behavior, it has remained an open challenge for an intelligent vehicle to always know how to make and execute the best decision on road given available sensing / perception / localization information. In this chapter, we talk about how artificial intelligence and more specifically, reinforcement learning, can take advantage of operational knowledge and safety reflex to make strategical and tactical decisions. We discuss some challenging problems related to the robustness of reinforcement learning solutions and their implications to the practical design of driving strategies for autonomous vehicles. We focus on automated driving on highway and the integration of reinforcement learning, vehicle motion control, and control barrier function, leading to a robust AI driving strategy that can learn and adapt safely.

cs.RO

Multi-agent systems with CBF-based controllers -- collision avoidance and liveness from instability

Assuring system stability is typically a major control design objective. In this paper, we present a system where instability provides a crucial benefit. We consider multi-agent collision avoidance using Control Barrier Functions (CBF) and study trade-offs between safety and liveness -- the ability to reach a destination without large detours or gridlock. We compare two standard decentralized policies, with only the local (host) control available, to co-optimization policies (PCCA and CCS) where everyone's (virtual) control action is available. The co-optimization policies compute control for everyone even though they lack information about others' intentions. For comparison, we use a Centralized, full information policy as the benchmark. One contribution of this paper is proving feasibility for the Centralized, PCCA, and CCS policies. Monte Carlo simulations show that decentralized, host-only control policies and CCS lack liveness while the PCCA policy performs as well as the Centralized. Next, we explain the observed results by considering two agents negotiating the passing order through an intersection. We show that the structure and stability of the resulting equilibria correlates with the observed propensity to gridlock -- the policies with unstable equilibria avoid gridlocks while those with stable ones do not.

eess.SY

Prescribed-Time Safety Design for a Chain of Integrators

Safety in dynamical systems is commonly pursued using control barrier functions (CBFs) which enforce safety-constraints over the entire duration of a system's evolution. We propose a prescribed-time safety (PTSf) design which enforces safety only for a finite time of interest to the user. While traditional CBF designs would keep the system away from the barrier longer than necessary, our PTSf design lets the system reach the barrier by the prescribed time and obey the operator's intent thereafter. To emphasize the capability of our design for safety constraints with high relative degrees, we focus our exposition on a chain of integrators where the safety condition is defined for the state furthest from the control input. In contrast to existing CBF-based methods for high-relative degree constraints, our approach involves choosing explicitly specified gains (instead of class $\mathcal{K}$ functions), and, with the aid of backstepping, operates in the entirety of the original safe set with no additional restriction on the initial conditions. With Quadratic Programming (QP) being employed in the design, in addition to backstepping and CBFs with a PTSf property, we refer to our design as a QP-backstepping PT-CBF design. For illustration, we include a simulation for the double-integrator system.

eess.SY

Control Barrier Functions With Unmodeled Dynamics Using Integral Quadratic Constraints

This paper presents a control design method that achieves safety for systems with unmodeled dynamics at the plant input. The proposed method combines control barrier functions (CBFs) and integral quadratic constraints (IQCs). Simplified, low-order models are often used in the design of the controller. Parasitic, unmodeled dynamics (e.g. actuator dynamics, time delays, etc) can lead to safety violations. The proposed method bounds the input-output behavior of these unmodeled dynamics in the time-domain using an alpha-IQC. The alpha-IQC is then incorporated into the CBF constraint to ensure safety. The approach is demonstrated with a simple example.

eess.SY

Backup Control Barrier Functions: Formulation and Comparative Study

The backup control barrier function (CBF) was recently proposed as a tractable formulation that guarantees the feasibility of the CBF quadratic programming (QP) via an implicitly defined control invariant set. The control invariant set is based on a fixed backup policy and evaluated online by forward integrating the dynamics under the backup policy. This paper is intended as a tutorial of the backup CBF approach and a comparative study to some benchmarks. First, the backup CBF approach is presented step by step with the underlying math explained in detail. Second, we prove that the backup CBF always has a relative degree 1 under mild assumptions. Third, the backup CBF approach is compared with benchmarks such as Hamilton Jacobi PDE and Sum-of-Squares on the computation of control invariant sets, which shows that one can obtain a control invariant set close to the maximum control invariant set under a good backup policy for many practical problems.

eess.SY

Collision Avoidance and Liveness of Multi-agent Systems with CBF-based Controllers

In this paper we consider multi-agent navigation with collision avoidance using Control Barrier Functions (CBF). In the case of non-communicating agents, we consider trade-offs between level of safety guarantee and liveness - the ability to reach destination in short time without large detours or gridlock. We compare several CBF-based driving policies against the benchmark established by the Centralized controller that requires communication. One of the policies (CCS2) being compared is new and straddles the space between policies with only local control available and a more complex Predictor-Corrector for Collision Avoidance (PCCA) policy that adjusts local copies of everyone's control actions based on observed behavior. The paper establishes feasibility for the Centralized, PCCA and CCS2 policies. Monte Carlo simulations show that decentralized, host-only control policies lack liveness compared to the ones that use all the control inputs in calculations and that the PCCA policy performs equally well as the Centralized, even though it is decentralized.

eess.SY

Online decentralized decision making with inequality constraints: an ADMM approach

We discuss an online decentralized decision making problem where the agents are coupled with affine inequality constraints. Alternating Direction Method of Multipliers (ADMM) is used as the computation engine and we discuss the convergence of the algorithm in an online setting. To be specific, when decisions have to be made sequentially with a fixed time step, there might not be enough time for the ADMM to converge before the scenario changes and the decision needs to be updated. In this case, a suboptimal solution is employed and we analyze the optimality gap given the convergence condition. Moreover, in many cases, the decision making problem changes gradually over time. We propose a warm-start scheme to accelerate the convergence of ADMM and analyze the benefit of the warm-start. The proposed method is demonstrated in a decentralized multiagent control barrier function problem with simulation.

eess.SY

Collision Free Navigation with Interacting, Non-Communicating Obstacles

In this paper we consider the problem of navigation and motion control in an area densely populated with other agents. We propose an algorithm that, without explicit communication and based on the information it has, computes the best control action for all the agents and implements its own. Notably, the host agent (the agent executing the algorithm) computes the differences between the other agents' computed and observed control actions and treats them as known disturbances that are fed back into a robust control barrier function (RCBF) based quadratic program. A feedback loop is created because the computed control action for another agent depends on the previously used disturbance estimate. In the case of two interacting agents, stability of the feedback loop is proven and a performance guarantee in terms of constraint adherence is established. This holds whether the other agent executes the same algorithm or not.

eess.SY