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)
Modeling of railway networks using timed automata
Adzkiya, D Abate, A Applied Mathematical Sciences volume 10 2429-2436 (2016)
Thu, 09 Feb 2017
11:00
C5

The topological closure of algebraic and o-minimal flows in compact tori

Kobi Peterzil
(Haifa)
Abstract

(joint work with Sergei Starchenko)

Let p:C^n ->A be the covering map of a complex abelian variety and let X be an algebraic variety of C^n, or more generally a definable set in an o-minimal expansion of the real field. Ullmo and Yafaev investigated the topological closure of p(X) in A in the above two  settings and conjectured that the frontier of p(X) can be described, when X is algebraic as finitely many cosets of real sub tori of A, They proved the conjecture when dim X=1. They make a similar conjecture for X definable in an o-minimal structure.

In recent work we show that the above conjecture fails as stated, and prove a modified version,  describing the frontier of p(X) as finitely many families of cosets of subtori. We prove a similar result when X is a definable set in an o-minimal structure and p:R^n-> T is the covering map of a real torus.  The proofs use model theory of o-minimal structures as well as algebraically closed valued fields.

Subscribe to