research
∙
03/30/2023
Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version]
We introduce an adaptive refinement procedure for smart, and scalable ab...
share
research
∙
03/31/2022
Optimal Resource Scheduling and Allocation under Allowable Over-Scheduling
This paper studies optimal scheduling and resource allocation under allo...
research
∙
09/09/2020
Stability of Planar Switched Systems under Delayed Event Detection
In this paper, we analyse the impact of delayed event detection on the s...
research
∙
03/20/2019
Optimal Intermittent Measurements for Tumor Tracking in X-ray Guided Radiotherapy
In radiation therapy, tumor tracking is a challenging task that allows a...
research
∙
02/11/2019
Equivalent Polyadic Decompositions of Matrix Multiplication Tensors
Invariance transformations of polyadic decompositions of matrix multipli...
research
∙
10/24/2018
On random primitive sets, directable NDFAs and the generation of slowly synchronizing DFAs
We tackle the problem of the randomized generation of slowly synchronizi...
research
∙
05/17/2018
On randomized generation of slowly synchronizing automata
Motivated by the randomized generation of slowly synchronizing automata,...
research
∙
05/17/2018
The Synchronizing Probability Function for Primitive Sets of Matrices
Motivated by recent results relating synchronizing automata and primitiv...
research
∙
12/07/2017
