Data-driven and Model-based Verification via Bayesian Identification and Reachability Analysis
 Abate, A Haesaert, S Van den Hof, P Automatica (02 Mar 2017)
Safety verification of output feedback controllers for nonlinear systems
 Abate, A Lesser, K 15th European Control Conference - ECC16 (01 Jan 2017)
Synthesis of formal controllers for HVAC systems
 Abate, A Holub, O Zamani, M ECC16 (Jun 2016)
Experiment design for formal verification via stochastic optimal control
 Abate, A Haesaert, S Van den Hof, P 15th European Control Conference - ECC16 427-432 (01 Jan 2017)
Multi-objective optimal control with safety as a priority
 Abate, A Lesser, K 8th ACM/IEEE International Conference on Cyber-Physical Systems - ICCPS17 (01 Apr 2017)
Mon, 16 Jan 2017

16:00 - 17:00
L4

A survey of discrete analogues in harmonic analysis

Kevin Hughes
(University of Bristol)
Abstract

In this talk we will motivate and discuss several problems and results in harmonic analysis that involve some arithmetic or discrete structure. We will focus on pioneering work of Bourgain on discrete restriction theorems and pointwise ergodic theorems for arithmetic sets, their modern developments and future directions for the field.

Dynamic Bayesian networks for formal verification of structured stochastic processes
 Esmaeil Zadeh Soudjani, S Abate, A Majumdar, R Acta Informatica volume 54 issue 2 217-242 (03 Dec 2016)
Subscribe to