{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:72RMJD733WROVPM342AG2CFALZ","short_pith_number":"pith:72RMJD73","schema_version":"1.0","canonical_sha256":"fea2c48ffbdda2eabd9be6806d08a05e5ac7106d01a260d41c5cc2d5c5225a9f","source":{"kind":"arxiv","id":"1201.5614","version":1},"attestation_state":"computed","paper":{"title":"Symbolic models for nonlinear control systems affected by disturbances","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto","submitted_at":"2012-01-26T19:35:03Z","abstract_excerpt":"In the last few years there has been a growing interest in the use of symbolic models for the formal verification and control design of purely continuous or hybrid systems. Symbolic models are abstract descriptions of continuous systems where one symbol corresponds to an \"aggregate\" of continuous states. In this paper we face the problem of deriving symbolic models for nonlinear control systems affected by disturbances. The main contribution of this paper is in proposing symbolic models that can be effectively constructed and that approximate nonlinear control systems affected by disturbances "},"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":"1201.5614","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-01-26T19:35:03Z","cross_cats_sorted":[],"title_canon_sha256":"8920a8a22df8a81540e65e7cc8e384b2349b40bbab95021d1893127a72ab4d0d","abstract_canon_sha256":"39a977b460c00fffa78d39cceeafae6045de0127d71280be82b98e8bdf66c1a3"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:56:52.916828Z","signature_b64":"UDtsaxD9kGORzMm6D7WGHkmn23b909WK+64RQPbM62uqFaHymg1IWj66kKVm2vdWkvoNg8oJhTMolnKZuQEABg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fea2c48ffbdda2eabd9be6806d08a05e5ac7106d01a260d41c5cc2d5c5225a9f","last_reissued_at":"2026-05-18T00:56:52.916268Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:56:52.916268Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Symbolic models for nonlinear control systems affected by disturbances","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto","submitted_at":"2012-01-26T19:35:03Z","abstract_excerpt":"In the last few years there has been a growing interest in the use of symbolic models for the formal verification and control design of purely continuous or hybrid systems. Symbolic models are abstract descriptions of continuous systems where one symbol corresponds to an \"aggregate\" of continuous states. In this paper we face the problem of deriving symbolic models for nonlinear control systems affected by disturbances. The main contribution of this paper is in proposing symbolic models that can be effectively constructed and that approximate nonlinear control systems affected by disturbances "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1201.5614","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":"1201.5614","created_at":"2026-05-18T00:56:52.916383+00:00"},{"alias_kind":"arxiv_version","alias_value":"1201.5614v1","created_at":"2026-05-18T00:56:52.916383+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1201.5614","created_at":"2026-05-18T00:56:52.916383+00:00"},{"alias_kind":"pith_short_12","alias_value":"72RMJD733WRO","created_at":"2026-05-18T12:26:56.085431+00:00"},{"alias_kind":"pith_short_16","alias_value":"72RMJD733WROVPM3","created_at":"2026-05-18T12:26:56.085431+00:00"},{"alias_kind":"pith_short_8","alias_value":"72RMJD73","created_at":"2026-05-18T12:26:56.085431+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/72RMJD733WROVPM342AG2CFALZ","json":"https://pith.science/pith/72RMJD733WROVPM342AG2CFALZ.json","graph_json":"https://pith.science/api/pith-number/72RMJD733WROVPM342AG2CFALZ/graph.json","events_json":"https://pith.science/api/pith-number/72RMJD733WROVPM342AG2CFALZ/events.json","paper":"https://pith.science/paper/72RMJD73"},"agent_actions":{"view_html":"https://pith.science/pith/72RMJD733WROVPM342AG2CFALZ","download_json":"https://pith.science/pith/72RMJD733WROVPM342AG2CFALZ.json","view_paper":"https://pith.science/paper/72RMJD73","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1201.5614&json=true","fetch_graph":"https://pith.science/api/pith-number/72RMJD733WROVPM342AG2CFALZ/graph.json","fetch_events":"https://pith.science/api/pith-number/72RMJD733WROVPM342AG2CFALZ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/72RMJD733WROVPM342AG2CFALZ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/72RMJD733WROVPM342AG2CFALZ/action/storage_attestation","attest_author":"https://pith.science/pith/72RMJD733WROVPM342AG2CFALZ/action/author_attestation","sign_citation":"https://pith.science/pith/72RMJD733WROVPM342AG2CFALZ/action/citation_signature","submit_replication":"https://pith.science/pith/72RMJD733WROVPM342AG2CFALZ/action/replication_record"}},"created_at":"2026-05-18T00:56:52.916383+00:00","updated_at":"2026-05-18T00:56:52.916383+00:00"}