Data-driven Abstractions for Verification of Linear Systems

We introduce a novel approach for the construction of symbolic abstractions - simpler, finite-state models - which mimic the behaviour of a system of interest, and are commonly utilized to verify complex logic specifications. Such abstractions require an exhaustive knowledge of the concrete model, which can be difficult to obtain in real...

Learning to Play Trajectory Games Against Opponents with Unknown Objectives

Many autonomous agents, such as intelligent vehicles, are inherently required to interact with one another. Game theory provides a natural mathematical tool for robot motion planning in such interactive settings. However, tractable algorithms for such problems usually rely on a strong assumption, namely that the objectives of all players in...

Distributed Time-Varying Optimization of Second-Order Multiagent Systems Under Limited Interaction Ranges

This article investigates the distributed time-varying optimization problem for second-order multiagent systems (MASs) under limited interaction ranges. The goal is to seek the minimum of the sum of local time-varying cost functions (CFs), where each CF is only available to the corresponding agent. Limited communication range refers to the...

Parallel autonomy in automated vehicles: Safe motion generation with minimal intervention

Current state-of-the-art vehicle safety systems, such as assistive braking or automatic lane following, are still only able to help in relatively simple driving situations. We introduce a Parallel Autonomy shared-control framework that produces safe trajectories based on human inputs even in much more complex driving scenarios, such as those...

Dynamic Ramping Model Including Intraperiod Ramp-Rate Changes in Unit Commitment

The growing increase of renewable generation worldwide is posing new challenges for a secure, reliable and economic operation of power systems. In order to face the uncertain and intermittent production of renewable sources, operating reserves must be allocated efficiently and accurately. Nowadays, these reserves are mainly assigned to thermal...