In this note we show that robustness with respect to additive disturbances implies robustness with respect to state measurement errors and additive disturbances for a class of dis...
B. J. P. Roset, W. P. M. H. Heemels, Mircea Lazar,...
The Advanced IRCM Assessment Model (AIRSAM) simulates an infrared (IR) guided missile engaging an aircraft equipped with infrared countermeasures (IRCM). Analysts currently use AI...
Existing approaches for modelling the Internet delay space predict end-to-end delays between two arbitrary hosts as static values. Further, they do not capture the characteristics...
Sebastian Kaune, Konstantin Pussep, Christof Leng,...
— Structured Peer to Peer (P2P) overlay networks are becoming increasingly popular. Multi-hop systems achieve a successful lookup in O(log N) hops, whereas one-hop systems approa...
Mario Kolberg, Florence Kolberg, Alan Brown, John ...
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
Nicoletta De Francesco, Giuseppe Lettieri, Luca Ma...