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.

Tue, 07 Mar 2017
14:00
L5

Efficient DC algorithm for sparse optimization

Akiko Takeda
(Institute of Statistical Mathematics Tokyo)
Abstract

In various research fields such as machine learning, compressed sensing and operations research, optimization problems which seek sparsity of solutions by the cardinality constraint or rank constraint are studied. We formulate such problems as DC (Difference of two Convex functions) optimization problems and apply DC Algorithm (DCA) to them. While a subproblem needs to be solved in each DCA iteration, its closed-form solution can be easily obtained by soft-thresholding operation. Numerical experiments demonstrate the efficiency of the proposed DCA in comparison with existing methods.
This is a joint work with J. Gotoh (Chuo Univ.) and K. Tono (U. Tokyo). 

Review of Particle Physics
Olive, K volume 40 issue 10 100001 (Oct 2016)
Subscribe to