{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:RCPJE36FOFA2B775XUM4MNOAO2","short_pith_number":"pith:RCPJE36F","schema_version":"1.0","canonical_sha256":"889e926fc57141a0fffdbd19c635c0768c3e4da1ef791496c4735f11360ecf14","source":{"kind":"arxiv","id":"1506.01233","version":1},"attestation_state":"computed","paper":{"title":"Lipschitz Robustness of Timed I/O Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Jan Otop, Roopsha Samanta, Thomas A. Henzinger","submitted_at":"2015-06-03T12:48:02Z","abstract_excerpt":"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 inputs\" and formalize their robustness using the analytic notion of Lipschitz continuity. Thus, a timed I/O system is K-(Lipschitz) robust if the perturbation in its output is at most K times the perturbation in its input. We quantify input and output perturbation using \"similarity functions\" over timed words such as the timed version of the Manhattan distance and the Skorokhod distance. We consider two models of timed "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1506.01233","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-06-03T12:48:02Z","cross_cats_sorted":[],"title_canon_sha256":"f49aeac26951de9b8a99d5cbc6d88ce0c786102c98b3b6713751f4572b3efbfb","abstract_canon_sha256":"10d3114533dd558c273efc5a1632ddbb6e6ccbf01c0118f6771130052a1e09b5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:58:24.752235Z","signature_b64":"O10o+wcE4sbbRqkNCp+8HkF6fMNJt6FiYBw583xlmmqzb9rkpxi1CRxznQghw8aJvEbdkOtsBnQv/6WdV764Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"889e926fc57141a0fffdbd19c635c0768c3e4da1ef791496c4735f11360ecf14","last_reissued_at":"2026-05-18T01:58:24.751761Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:58:24.751761Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Lipschitz Robustness of Timed I/O Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Jan Otop, Roopsha Samanta, Thomas A. Henzinger","submitted_at":"2015-06-03T12:48:02Z","abstract_excerpt":"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 inputs\" and formalize their robustness using the analytic notion of Lipschitz continuity. Thus, a timed I/O system is K-(Lipschitz) robust if the perturbation in its output is at most K times the perturbation in its input. We quantify input and output perturbation using \"similarity functions\" over timed words such as the timed version of the Manhattan distance and the Skorokhod distance. We consider two models of timed "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.01233","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1506.01233","created_at":"2026-05-18T01:58:24.751833+00:00"},{"alias_kind":"arxiv_version","alias_value":"1506.01233v1","created_at":"2026-05-18T01:58:24.751833+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.01233","created_at":"2026-05-18T01:58:24.751833+00:00"},{"alias_kind":"pith_short_12","alias_value":"RCPJE36FOFA2","created_at":"2026-05-18T12:29:39.896362+00:00"},{"alias_kind":"pith_short_16","alias_value":"RCPJE36FOFA2B775","created_at":"2026-05-18T12:29:39.896362+00:00"},{"alias_kind":"pith_short_8","alias_value":"RCPJE36F","created_at":"2026-05-18T12:29:39.896362+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/RCPJE36FOFA2B775XUM4MNOAO2","json":"https://pith.science/pith/RCPJE36FOFA2B775XUM4MNOAO2.json","graph_json":"https://pith.science/api/pith-number/RCPJE36FOFA2B775XUM4MNOAO2/graph.json","events_json":"https://pith.science/api/pith-number/RCPJE36FOFA2B775XUM4MNOAO2/events.json","paper":"https://pith.science/paper/RCPJE36F"},"agent_actions":{"view_html":"https://pith.science/pith/RCPJE36FOFA2B775XUM4MNOAO2","download_json":"https://pith.science/pith/RCPJE36FOFA2B775XUM4MNOAO2.json","view_paper":"https://pith.science/paper/RCPJE36F","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1506.01233&json=true","fetch_graph":"https://pith.science/api/pith-number/RCPJE36FOFA2B775XUM4MNOAO2/graph.json","fetch_events":"https://pith.science/api/pith-number/RCPJE36FOFA2B775XUM4MNOAO2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RCPJE36FOFA2B775XUM4MNOAO2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RCPJE36FOFA2B775XUM4MNOAO2/action/storage_attestation","attest_author":"https://pith.science/pith/RCPJE36FOFA2B775XUM4MNOAO2/action/author_attestation","sign_citation":"https://pith.science/pith/RCPJE36FOFA2B775XUM4MNOAO2/action/citation_signature","submit_replication":"https://pith.science/pith/RCPJE36FOFA2B775XUM4MNOAO2/action/replication_record"}},"created_at":"2026-05-18T01:58:24.751833+00:00","updated_at":"2026-05-18T01:58:24.751833+00:00"}