Lipschitz Robustness of Timed I/O Systems

Thomas A. Henzinger, Jan Otop, Roopsha Samanta

We present the first study of robustness of systems that are both timed as well as reactive (I/O). We study the behavior of such timed I/O systems in the presence of "uncertain inp…