{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:FCYOPAKUXLFXXJ6MVAYA75G3ID","short_pith_number":"pith:FCYOPAKU","schema_version":"1.0","canonical_sha256":"28b0e78154bacb7ba7cca8300ff4db40f9defbbf1c5075658502b34300e01a90","source":{"kind":"arxiv","id":"1307.3722","version":1},"attestation_state":"computed","paper":{"title":"Numerical LTL Synthesis for Cyber-Physical Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","cs.SY"],"primary_cat":"cs.SE","authors_text":"Chih-Hong Cheng, Edward A. Lee","submitted_at":"2013-07-14T10:49:14Z","abstract_excerpt":"Cyber-physical systems (CPS) are systems that interact with the physical world via sensors and actuators. In such a system, the reading of a sensor represents measures of a physical quantity, and sensor values are often reals ranged over bounded intervals. The implementation of control laws is based on nonlinear numerical computations over the received sensor values. Synthesizing controllers fulfilling features within CPS brings a huge challenge to the research community in formal methods, as most of the works in automatic controller synthesis (LTL synthesis) are restricted to specifications h"},"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":"1307.3722","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-07-14T10:49:14Z","cross_cats_sorted":["cs.LO","cs.SY"],"title_canon_sha256":"a105a9c74e6b2f175a9b8d6647d74a48328cb3529f6404ce6d14c6fcff3c9532","abstract_canon_sha256":"86c567c1bff62d36d0e12b303e14e7005937898cd201ee9146b17f40bc1da57d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:18:28.087126Z","signature_b64":"x1Y8dhNtekpPQoROic0J3Dzn4Il1R4fKbfk7gHZEZaeI6bZsGR2pqgp/2ceXWDa/vH776GZg8Y9oLQ+Gzbm0Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"28b0e78154bacb7ba7cca8300ff4db40f9defbbf1c5075658502b34300e01a90","last_reissued_at":"2026-05-18T03:18:28.086604Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:18:28.086604Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Numerical LTL Synthesis for Cyber-Physical Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","cs.SY"],"primary_cat":"cs.SE","authors_text":"Chih-Hong Cheng, Edward A. Lee","submitted_at":"2013-07-14T10:49:14Z","abstract_excerpt":"Cyber-physical systems (CPS) are systems that interact with the physical world via sensors and actuators. In such a system, the reading of a sensor represents measures of a physical quantity, and sensor values are often reals ranged over bounded intervals. The implementation of control laws is based on nonlinear numerical computations over the received sensor values. Synthesizing controllers fulfilling features within CPS brings a huge challenge to the research community in formal methods, as most of the works in automatic controller synthesis (LTL synthesis) are restricted to specifications h"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.3722","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":"1307.3722","created_at":"2026-05-18T03:18:28.086700+00:00"},{"alias_kind":"arxiv_version","alias_value":"1307.3722v1","created_at":"2026-05-18T03:18:28.086700+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.3722","created_at":"2026-05-18T03:18:28.086700+00:00"},{"alias_kind":"pith_short_12","alias_value":"FCYOPAKUXLFX","created_at":"2026-05-18T12:27:45.050594+00:00"},{"alias_kind":"pith_short_16","alias_value":"FCYOPAKUXLFXXJ6M","created_at":"2026-05-18T12:27:45.050594+00:00"},{"alias_kind":"pith_short_8","alias_value":"FCYOPAKU","created_at":"2026-05-18T12:27:45.050594+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/FCYOPAKUXLFXXJ6MVAYA75G3ID","json":"https://pith.science/pith/FCYOPAKUXLFXXJ6MVAYA75G3ID.json","graph_json":"https://pith.science/api/pith-number/FCYOPAKUXLFXXJ6MVAYA75G3ID/graph.json","events_json":"https://pith.science/api/pith-number/FCYOPAKUXLFXXJ6MVAYA75G3ID/events.json","paper":"https://pith.science/paper/FCYOPAKU"},"agent_actions":{"view_html":"https://pith.science/pith/FCYOPAKUXLFXXJ6MVAYA75G3ID","download_json":"https://pith.science/pith/FCYOPAKUXLFXXJ6MVAYA75G3ID.json","view_paper":"https://pith.science/paper/FCYOPAKU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1307.3722&json=true","fetch_graph":"https://pith.science/api/pith-number/FCYOPAKUXLFXXJ6MVAYA75G3ID/graph.json","fetch_events":"https://pith.science/api/pith-number/FCYOPAKUXLFXXJ6MVAYA75G3ID/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FCYOPAKUXLFXXJ6MVAYA75G3ID/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FCYOPAKUXLFXXJ6MVAYA75G3ID/action/storage_attestation","attest_author":"https://pith.science/pith/FCYOPAKUXLFXXJ6MVAYA75G3ID/action/author_attestation","sign_citation":"https://pith.science/pith/FCYOPAKUXLFXXJ6MVAYA75G3ID/action/citation_signature","submit_replication":"https://pith.science/pith/FCYOPAKUXLFXXJ6MVAYA75G3ID/action/replication_record"}},"created_at":"2026-05-18T03:18:28.086700+00:00","updated_at":"2026-05-18T03:18:28.086700+00:00"}