{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:DV25R4NBXF2F34WU5ZWQUDCQZJ","short_pith_number":"pith:DV25R4NB","canonical_record":{"source":{"id":"1011.5835","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2010-11-26T16:35:08Z","cross_cats_sorted":[],"title_canon_sha256":"a59a7a8008f0e0b6c92f24d172dd2849b27c539f5878376c6067c6503e4fe8f3","abstract_canon_sha256":"9694e1af301b9911225867272e52f14ca63be588e24459eab7740cffdd37a30e"},"schema_version":"1.0"},"canonical_sha256":"1d75d8f1a1b9745df2d4ee6d0a0c50ca790f24bede0385c2d9368203c338c1de","source":{"kind":"arxiv","id":"1011.5835","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1011.5835","created_at":"2026-05-18T04:06:43Z"},{"alias_kind":"arxiv_version","alias_value":"1011.5835v2","created_at":"2026-05-18T04:06:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1011.5835","created_at":"2026-05-18T04:06:43Z"},{"alias_kind":"pith_short_12","alias_value":"DV25R4NBXF2F","created_at":"2026-05-18T12:26:06Z"},{"alias_kind":"pith_short_16","alias_value":"DV25R4NBXF2F34WU","created_at":"2026-05-18T12:26:06Z"},{"alias_kind":"pith_short_8","alias_value":"DV25R4NB","created_at":"2026-05-18T12:26:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:DV25R4NBXF2F34WU5ZWQUDCQZJ","target":"record","payload":{"canonical_record":{"source":{"id":"1011.5835","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2010-11-26T16:35:08Z","cross_cats_sorted":[],"title_canon_sha256":"a59a7a8008f0e0b6c92f24d172dd2849b27c539f5878376c6067c6503e4fe8f3","abstract_canon_sha256":"9694e1af301b9911225867272e52f14ca63be588e24459eab7740cffdd37a30e"},"schema_version":"1.0"},"canonical_sha256":"1d75d8f1a1b9745df2d4ee6d0a0c50ca790f24bede0385c2d9368203c338c1de","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:06:43.621690Z","signature_b64":"wju1frbfQIOEzD/crfjKvk9tCE3ouoZzSFrK7amMNa5CiUWdP9Fp9u+RMY+TKISu/s2ijXqrvEJXaEBYUw5nAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1d75d8f1a1b9745df2d4ee6d0a0c50ca790f24bede0385c2d9368203c338c1de","last_reissued_at":"2026-05-18T04:06:43.621195Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:06:43.621195Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1011.5835","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T04:06:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HRrNjPlxJgsr9sSD7X4V1ykaDQzLcrZjQE3Vsv3N7n2zHzGpwLehZUrHShoTpJtJ5xXEeFUSNTJgoGlrz0dCCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T10:56:42.291698Z"},"content_sha256":"068a6ff2fea39f2c4aa63767314dadb678e7277fc3b7407995961eae8b87515e","schema_version":"1.0","event_id":"sha256:068a6ff2fea39f2c4aa63767314dadb678e7277fc3b7407995961eae8b87515e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:DV25R4NBXF2F34WU5ZWQUDCQZJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Symbolic Models for Nonlinear Time-Varying Time-Delay Systems via Alternating Approximate Bisimulation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Giordano Pola, Maria Domenica Di Benedetto, Pierdomenico Pepe","submitted_at":"2010-11-26T16:35:08Z","abstract_excerpt":"Time-delay systems are an important class of dynamical systems that provide a solid mathematical framework to deal with many application domains of interest. In this paper we focus on nonlinear control systems with unknown and time-varying delay signals and we propose one approach to the control design of such systems, which is based on the construction of symbolic models. Symbolic models are abstract descriptions of dynamical systems where one symbolic state and one symbolic input correspond to an aggregate of states and an aggregate of inputs. We first introduce the notion of incremental inp"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1011.5835","kind":"arxiv","version":2},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T04:06:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FjfUaOe1Nk01tkwU+ql6wadx1rVMdNlFVnyGwH0HraTPSHeAHgx87MblY1ReFzKudzspr8kz1KY+3+/hbKBPDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T10:56:42.292042Z"},"content_sha256":"e0f2bd1205ff3a859903a3293315777006422c6df5138a3bf9128e532e04499e","schema_version":"1.0","event_id":"sha256:e0f2bd1205ff3a859903a3293315777006422c6df5138a3bf9128e532e04499e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DV25R4NBXF2F34WU5ZWQUDCQZJ/bundle.json","state_url":"https://pith.science/pith/DV25R4NBXF2F34WU5ZWQUDCQZJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DV25R4NBXF2F34WU5ZWQUDCQZJ/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-09T10:56:42Z","links":{"resolver":"https://pith.science/pith/DV25R4NBXF2F34WU5ZWQUDCQZJ","bundle":"https://pith.science/pith/DV25R4NBXF2F34WU5ZWQUDCQZJ/bundle.json","state":"https://pith.science/pith/DV25R4NBXF2F34WU5ZWQUDCQZJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DV25R4NBXF2F34WU5ZWQUDCQZJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:DV25R4NBXF2F34WU5ZWQUDCQZJ","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"9694e1af301b9911225867272e52f14ca63be588e24459eab7740cffdd37a30e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2010-11-26T16:35:08Z","title_canon_sha256":"a59a7a8008f0e0b6c92f24d172dd2849b27c539f5878376c6067c6503e4fe8f3"},"schema_version":"1.0","source":{"id":"1011.5835","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1011.5835","created_at":"2026-05-18T04:06:43Z"},{"alias_kind":"arxiv_version","alias_value":"1011.5835v2","created_at":"2026-05-18T04:06:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1011.5835","created_at":"2026-05-18T04:06:43Z"},{"alias_kind":"pith_short_12","alias_value":"DV25R4NBXF2F","created_at":"2026-05-18T12:26:06Z"},{"alias_kind":"pith_short_16","alias_value":"DV25R4NBXF2F34WU","created_at":"2026-05-18T12:26:06Z"},{"alias_kind":"pith_short_8","alias_value":"DV25R4NB","created_at":"2026-05-18T12:26:06Z"}],"graph_snapshots":[{"event_id":"sha256:e0f2bd1205ff3a859903a3293315777006422c6df5138a3bf9128e532e04499e","target":"graph","created_at":"2026-05-18T04:06:43Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Time-delay systems are an important class of dynamical systems that provide a solid mathematical framework to deal with many application domains of interest. In this paper we focus on nonlinear control systems with unknown and time-varying delay signals and we propose one approach to the control design of such systems, which is based on the construction of symbolic models. Symbolic models are abstract descriptions of dynamical systems where one symbolic state and one symbolic input correspond to an aggregate of states and an aggregate of inputs. We first introduce the notion of incremental inp","authors_text":"Giordano Pola, Maria Domenica Di Benedetto, Pierdomenico Pepe","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2010-11-26T16:35:08Z","title":"Symbolic Models for Nonlinear Time-Varying Time-Delay Systems via Alternating Approximate Bisimulation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1011.5835","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:068a6ff2fea39f2c4aa63767314dadb678e7277fc3b7407995961eae8b87515e","target":"record","created_at":"2026-05-18T04:06:43Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"9694e1af301b9911225867272e52f14ca63be588e24459eab7740cffdd37a30e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2010-11-26T16:35:08Z","title_canon_sha256":"a59a7a8008f0e0b6c92f24d172dd2849b27c539f5878376c6067c6503e4fe8f3"},"schema_version":"1.0","source":{"id":"1011.5835","kind":"arxiv","version":2}},"canonical_sha256":"1d75d8f1a1b9745df2d4ee6d0a0c50ca790f24bede0385c2d9368203c338c1de","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1d75d8f1a1b9745df2d4ee6d0a0c50ca790f24bede0385c2d9368203c338c1de","first_computed_at":"2026-05-18T04:06:43.621195Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:06:43.621195Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wju1frbfQIOEzD/crfjKvk9tCE3ouoZzSFrK7amMNa5CiUWdP9Fp9u+RMY+TKISu/s2ijXqrvEJXaEBYUw5nAw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:06:43.621690Z","signed_message":"canonical_sha256_bytes"},"source_id":"1011.5835","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:068a6ff2fea39f2c4aa63767314dadb678e7277fc3b7407995961eae8b87515e","sha256:e0f2bd1205ff3a859903a3293315777006422c6df5138a3bf9128e532e04499e"],"state_sha256":"76ed66cff886f021c675aea96ea70d4ea731f3acf39dd76b9c7a8e7f58bafb1b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kPTAQ5yVT3OWNGEu1EBSChZcmPW2uy6nTuq9fyot57IGVk+mpvuwUSlRLBgnuoClfAIX2jxfM8w3WDdvuxClBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T10:56:42.294339Z","bundle_sha256":"12d4f67440a817c3aa00c0b32144b7d0f431278a6a4fd8412605fb9a07653f68"}}