activity
20122024
most citedFormal Synthesis of Lyapunov Neural Networks

129 citations · 752 across the 80 of their papers we have counts for

collaborators
Showing 2013Show all

5 papers · 1 filter

math.OC2013★ 59 cited

On the Optimal Solutions of the Infinite-Horizon Linear Sensor Scheduling Problem

Lin Zhao, Wei Zhang, Jianghai Hu +2

This paper studies the infinite-horizon sensor scheduling problem for linear Gaussian processes with linear measurement functions. Several important properties of the optimal infin…

math.PR2013★ 12 cited

On the effect of perturbation of conditional probabilities in total variation

Alessandro Abate, Frank Redig, Ilya Tkachev

A celebrated result by A. Ionescu Tulcea provides a construction of a probability measure on a product space given a sequence of regular conditional probabilities. We study how the…

q-fin.RM2013

Computation of ruin probabilities for general discrete-time Markov models

Ilya Tkachev, Alessandro Abate

We study the ruin problem over a risk process described by a discrete-time Markov model. In contrast to previous studies that focused on the asymptotic behaviour of ruin probabilit…

eess.SY2013

Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions

Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate

This work discusses a two-step procedure, based on formal abstractions, to generate a finite-space stochastic dynamical model as an aggregation of the continuous temperature dynami…

math.OC2013

Symbolic control of stochastic systems via approximately bisimilar finite abstractions

Majid Zamani, Peyman Mohajerin Esfahani, Rupak Majumdar +2

Symbolic approaches to the control design over complex systems employ the construction of finite-state models that are related to the original control systems, then use techniques…