Lipschitz Robustness of Timed I/O Systems

DOI10.1007/978-3-662-49122-5_12zbMath1475.68154arXiv1506.01233OpenAlexW2261278184MaRDI QIDQ2796054

Roopsha Samanta, Jan Otop, Thomas A. Henzinger

Publication date: 23 March 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1506.01233

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Networks and circuits as models of computation; circuit complexity (68Q06)

Related Items (1)

Model measuring for discrete and hybrid systems

This page was built for publication: Lipschitz Robustness of Timed I/O Systems