{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:GLXTQF4I4OP4LM3G6K6WFLNH4W","short_pith_number":"pith:GLXTQF4I","schema_version":"1.0","canonical_sha256":"32ef381788e39fc5b366f2bd62ada7e5becac852d20e42ab9096a679384a5511","source":{"kind":"arxiv","id":"1806.09849","version":1},"attestation_state":"computed","paper":{"title":"SENSE: Abstraction-Based Synthesis of Networked Control Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO"],"primary_cat":"cs.SY","authors_text":"Germany), Mahmoud Khaled (Technical University of Munich, Majid Zamani (Technical University of Munich, Matthias Rungger (Technical University of Munich, Munich","submitted_at":"2018-06-26T08:53:44Z","abstract_excerpt":"While many studies and tools target the basic stabilizability problem of networked control systems (NCS), nowadays modern systems require more sophisticated objectives such as those expressed as formulae in linear temporal logic or as automata on infinite strings. One general technique to achieve this is based on so-called symbolic models, where complex systems are approximated by finite abstractions, and then, correct-by-construction controllers are automatically synthesized for them. We present tool SENSE for the construction of finite abstractions for NCS and the automated synthesis of cont"},"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":"1806.09849","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-06-26T08:53:44Z","cross_cats_sorted":["cs.RO"],"title_canon_sha256":"4578d8a3776f9165c54c004c6e8057f825e11e80e0eeeaee2d11d724d58ea2ce","abstract_canon_sha256":"7712244bab64e967499e3c0e27389698db33dd1740f0e807a62642b48168eb1c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:12:23.139809Z","signature_b64":"WOnA3yQOPrG9VsXmoDrESASOqXgHuvzRITZ+fJgMvQfHZ0XBWlIKLE1sfuj3I1XQdc6OwQTzhtdo/EFQSFg+BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"32ef381788e39fc5b366f2bd62ada7e5becac852d20e42ab9096a679384a5511","last_reissued_at":"2026-05-18T00:12:23.139129Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:12:23.139129Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"SENSE: Abstraction-Based Synthesis of Networked Control Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO"],"primary_cat":"cs.SY","authors_text":"Germany), Mahmoud Khaled (Technical University of Munich, Majid Zamani (Technical University of Munich, Matthias Rungger (Technical University of Munich, Munich","submitted_at":"2018-06-26T08:53:44Z","abstract_excerpt":"While many studies and tools target the basic stabilizability problem of networked control systems (NCS), nowadays modern systems require more sophisticated objectives such as those expressed as formulae in linear temporal logic or as automata on infinite strings. One general technique to achieve this is based on so-called symbolic models, where complex systems are approximated by finite abstractions, and then, correct-by-construction controllers are automatically synthesized for them. We present tool SENSE for the construction of finite abstractions for NCS and the automated synthesis of cont"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.09849","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":"1806.09849","created_at":"2026-05-18T00:12:23.139215+00:00"},{"alias_kind":"arxiv_version","alias_value":"1806.09849v1","created_at":"2026-05-18T00:12:23.139215+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.09849","created_at":"2026-05-18T00:12:23.139215+00:00"},{"alias_kind":"pith_short_12","alias_value":"GLXTQF4I4OP4","created_at":"2026-05-18T12:32:25.280505+00:00"},{"alias_kind":"pith_short_16","alias_value":"GLXTQF4I4OP4LM3G","created_at":"2026-05-18T12:32:25.280505+00:00"},{"alias_kind":"pith_short_8","alias_value":"GLXTQF4I","created_at":"2026-05-18T12:32:25.280505+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/GLXTQF4I4OP4LM3G6K6WFLNH4W","json":"https://pith.science/pith/GLXTQF4I4OP4LM3G6K6WFLNH4W.json","graph_json":"https://pith.science/api/pith-number/GLXTQF4I4OP4LM3G6K6WFLNH4W/graph.json","events_json":"https://pith.science/api/pith-number/GLXTQF4I4OP4LM3G6K6WFLNH4W/events.json","paper":"https://pith.science/paper/GLXTQF4I"},"agent_actions":{"view_html":"https://pith.science/pith/GLXTQF4I4OP4LM3G6K6WFLNH4W","download_json":"https://pith.science/pith/GLXTQF4I4OP4LM3G6K6WFLNH4W.json","view_paper":"https://pith.science/paper/GLXTQF4I","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1806.09849&json=true","fetch_graph":"https://pith.science/api/pith-number/GLXTQF4I4OP4LM3G6K6WFLNH4W/graph.json","fetch_events":"https://pith.science/api/pith-number/GLXTQF4I4OP4LM3G6K6WFLNH4W/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/GLXTQF4I4OP4LM3G6K6WFLNH4W/action/timestamp_anchor","attest_storage":"https://pith.science/pith/GLXTQF4I4OP4LM3G6K6WFLNH4W/action/storage_attestation","attest_author":"https://pith.science/pith/GLXTQF4I4OP4LM3G6K6WFLNH4W/action/author_attestation","sign_citation":"https://pith.science/pith/GLXTQF4I4OP4LM3G6K6WFLNH4W/action/citation_signature","submit_replication":"https://pith.science/pith/GLXTQF4I4OP4LM3G6K6WFLNH4W/action/replication_record"}},"created_at":"2026-05-18T00:12:23.139215+00:00","updated_at":"2026-05-18T00:12:23.139215+00:00"}