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...

A Literature Review on Train Motion Model Calibration

The dynamics of a moving train are usually described by means of a motion model based on Newton's second law. This model uses as input track geometry data and train characteristics like mass, the parameters that model the running resistance, the maximum tractive effort and power, and the brake rates to be applied. It can reproduce and predict...

Probabilistic Risk Metric for Highway Driving Leveraging Multi-Modal Trajectory Predictions

Road traffic safety has attracted increasing research attention, in particular in the current transition from human-driven vehicles to autonomous vehicles. Surrogate measures of safety are widely used to assess traffic safety but they typically ignore motion uncertainties and are inflexible in dealing with two-dimensional motion. Meanwhile,...

Robust Locomotion Exploiting Multiple Balance Strategies: An Observer-Based Cascaded Model Predictive Control Approach

Robust locomotion is a challenging task for humanoid robots, especially when considering dynamic disturbances. This article proposes a disturbance observer-based cascaded model predictive control (MPC) approach for bipedal locomotion, with the capability of exploiting ankle, stepping, hip and height variation strategies. Specifically, based...