129 citations · 752 across the 80 of their papers we have counts for
5 papers · 1 filter
Observer-based correct-by-design controller synthesis
Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate
Current state-of-the-art correct-by-design controllers are designed for full-state measurable systems. This work first extends the applicability of correct-by-design controllers to…
Data-driven and Model-based Verification: a Bayesian Identification Approach
Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate
This work develops a measurement-driven and model-based formal verification approach, applicable to systems with partly unknown dynamics. We provide a principled method, grounded o…
Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate, Rupak Majumdar
We study the problem of finite-horizon probabilistic invariance for discrete-time Markov processes over general (uncountable) state spaces. We compute discrete-time, finite-state M…
Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (extended version)
Dario Cattaruzza, Alessandro Abate, Peter Schrammel +1
Linear Time Invariant (LTI) systems are ubiquitous in control applications. Unbounded-time reachability analysis that can cope with industrial-scale models with thousands of variab…
Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
The goal of this work is to formally abstract a Markov process evolving in discrete time over a general state space as a finite-state Markov chain, with the objective of precisely…