32 citations · 189 across the 41 of their papers we have counts for
3 papers · 1 filter
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions
Thom Badings, Licio Romao, Alessandro Abate +4
Controllers for dynamical systems that operate in safety-critical settings must account for stochastic disturbances. Such disturbances are often modeled as process noise in a dynam…
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise
Thom S. Badings, Alessandro Abate, Nils Jansen +3
Controllers for autonomous systems that operate in safety-critical settings must account for stochastic disturbances. Such disturbances are often modelled as process noise, and com…
Maintenance of Smart Buildings using Fault Trees
Nathalie Cauchi, Khaza Anuarul Hoque, Marielle Stoelinga +1
Timely maintenance is an important means of increasing system dependability and life span. Fault Maintenance trees (FMTs) are an innovative framework incorporating both maintenance…