{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:7DBUIKP6WCUSE6XFACX5FKK6NQ","short_pith_number":"pith:7DBUIKP6","schema_version":"1.0","canonical_sha256":"f8c34429feb0a9227ae500afd2a95e6c15f7c453affbf27cfd5ac07e0c69239a","source":{"kind":"arxiv","id":"1101.5842","version":1},"attestation_state":"computed","paper":{"title":"Synthesis of Memory-Efficient Real-Time Controllers for Safety Objectives (Full Version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.GT"],"primary_cat":"cs.LO","authors_text":"Krishnendu Chatterjee, Vinayak S. Prabhu","submitted_at":"2011-01-31T02:51:14Z","abstract_excerpt":"We study synthesis of controllers for real-time systems, where the objective is to stay in a given safe set. The problem is solved by obtaining winning strategies in concurrent two-player \\emph{timed automaton games} with safety objectives. To prevent a player from winning by blocking time, we restrict each player to strategies that ensure that the player cannot be responsible for causing a zeno run. We construct winning strategies for the controller which require access only to (1) the system clocks (thus, controllers which require their own internal infinitely precise clocks are not necessar"},"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":"1101.5842","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-01-31T02:51:14Z","cross_cats_sorted":["cs.GT"],"title_canon_sha256":"de50bb485cbf67fbef6023030ab4e607ea4808e3b74c9e53914ee3f1f81165ce","abstract_canon_sha256":"99c05f509899b1d84b7e162c7ddcfa5ad929ed09ec0dfffbeff64ec870f1c035"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:30:24.692115Z","signature_b64":"pihNrrt+UnFdvmjJ7sj6SQgNyp9dWEZV/KfRMzmjVeKC5MdObx60Jt38RsOCuvKuIaleLqfDBLVHWnv3CKIBAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f8c34429feb0a9227ae500afd2a95e6c15f7c453affbf27cfd5ac07e0c69239a","last_reissued_at":"2026-05-18T04:30:24.691525Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:30:24.691525Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Synthesis of Memory-Efficient Real-Time Controllers for Safety Objectives (Full Version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.GT"],"primary_cat":"cs.LO","authors_text":"Krishnendu Chatterjee, Vinayak S. Prabhu","submitted_at":"2011-01-31T02:51:14Z","abstract_excerpt":"We study synthesis of controllers for real-time systems, where the objective is to stay in a given safe set. The problem is solved by obtaining winning strategies in concurrent two-player \\emph{timed automaton games} with safety objectives. To prevent a player from winning by blocking time, we restrict each player to strategies that ensure that the player cannot be responsible for causing a zeno run. We construct winning strategies for the controller which require access only to (1) the system clocks (thus, controllers which require their own internal infinitely precise clocks are not necessar"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1101.5842","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":"1101.5842","created_at":"2026-05-18T04:30:24.691598+00:00"},{"alias_kind":"arxiv_version","alias_value":"1101.5842v1","created_at":"2026-05-18T04:30:24.691598+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1101.5842","created_at":"2026-05-18T04:30:24.691598+00:00"},{"alias_kind":"pith_short_12","alias_value":"7DBUIKP6WCUS","created_at":"2026-05-18T12:26:22.705136+00:00"},{"alias_kind":"pith_short_16","alias_value":"7DBUIKP6WCUSE6XF","created_at":"2026-05-18T12:26:22.705136+00:00"},{"alias_kind":"pith_short_8","alias_value":"7DBUIKP6","created_at":"2026-05-18T12:26:22.705136+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/7DBUIKP6WCUSE6XFACX5FKK6NQ","json":"https://pith.science/pith/7DBUIKP6WCUSE6XFACX5FKK6NQ.json","graph_json":"https://pith.science/api/pith-number/7DBUIKP6WCUSE6XFACX5FKK6NQ/graph.json","events_json":"https://pith.science/api/pith-number/7DBUIKP6WCUSE6XFACX5FKK6NQ/events.json","paper":"https://pith.science/paper/7DBUIKP6"},"agent_actions":{"view_html":"https://pith.science/pith/7DBUIKP6WCUSE6XFACX5FKK6NQ","download_json":"https://pith.science/pith/7DBUIKP6WCUSE6XFACX5FKK6NQ.json","view_paper":"https://pith.science/paper/7DBUIKP6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1101.5842&json=true","fetch_graph":"https://pith.science/api/pith-number/7DBUIKP6WCUSE6XFACX5FKK6NQ/graph.json","fetch_events":"https://pith.science/api/pith-number/7DBUIKP6WCUSE6XFACX5FKK6NQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7DBUIKP6WCUSE6XFACX5FKK6NQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7DBUIKP6WCUSE6XFACX5FKK6NQ/action/storage_attestation","attest_author":"https://pith.science/pith/7DBUIKP6WCUSE6XFACX5FKK6NQ/action/author_attestation","sign_citation":"https://pith.science/pith/7DBUIKP6WCUSE6XFACX5FKK6NQ/action/citation_signature","submit_replication":"https://pith.science/pith/7DBUIKP6WCUSE6XFACX5FKK6NQ/action/replication_record"}},"created_at":"2026-05-18T04:30:24.691598+00:00","updated_at":"2026-05-18T04:30:24.691598+00:00"}