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

Hierarchical Model Predictive Control for on-Line High-Speed Railway Delay Management and Train Control in a Dynamic Operations Environment

In practice, the operation of high-speed trains is often affected by adverse weather conditions or equipment failures, which result in delays and even cancellations of train services. In this article, a novel two-layer hierarchical model predictive control (MPC) model is proposed for on-line high-speed railway delay management and train...

On-Line Black-Box Aerodynamic Performance Optimization for a Morphing Wing With Distributed Sensing and Control

Inspired by nature, smart morphing technologies enable the aircraft of tomorrow to sense their environment and adapt the shape of their wings in flight to minimize fuel consumption and emissions. A primary challenge on the road to this feature is how to use the knowledge gathered from sensory data to establish an optimal shape adaptively and...

An Extended Linear Quadratic Model Predictive Control Approach for Multi-Destination Urban Traffic Networks

This paper extends an existing linear quadratic model predictive control (LQMPC) approach to multi-destination traffic networks, where the correct origin-destination (OD) relations are preserved. In the literature, the LQMPC approach has been presented for efficient routing and intersection signal control. The optimization problem in the...