{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:4DUPEZU65OVRR3CTO6K5JEJ5QC","short_pith_number":"pith:4DUPEZU6","canonical_record":{"source":{"id":"1612.04975","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-12-15T08:48:32Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"bdd4d177aa590b39a02bdfaad0c8b1849fde7494b3a5d64d32749def774e5da3","abstract_canon_sha256":"6c826b7e175e4e057010089550c38ee64d54b9a9219baa189deb4cdbce190808"},"schema_version":"1.0"},"canonical_sha256":"e0e8f2669eebab18ec537795d4913d809fc3781f33abb9fb8f542f08d99e81a7","source":{"kind":"arxiv","id":"1612.04975","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.04975","created_at":"2026-05-18T00:54:53Z"},{"alias_kind":"arxiv_version","alias_value":"1612.04975v1","created_at":"2026-05-18T00:54:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.04975","created_at":"2026-05-18T00:54:53Z"},{"alias_kind":"pith_short_12","alias_value":"4DUPEZU65OVR","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_16","alias_value":"4DUPEZU65OVRR3CT","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_8","alias_value":"4DUPEZU6","created_at":"2026-05-18T12:29:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:4DUPEZU65OVRR3CTO6K5JEJ5QC","target":"record","payload":{"canonical_record":{"source":{"id":"1612.04975","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-12-15T08:48:32Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"bdd4d177aa590b39a02bdfaad0c8b1849fde7494b3a5d64d32749def774e5da3","abstract_canon_sha256":"6c826b7e175e4e057010089550c38ee64d54b9a9219baa189deb4cdbce190808"},"schema_version":"1.0"},"canonical_sha256":"e0e8f2669eebab18ec537795d4913d809fc3781f33abb9fb8f542f08d99e81a7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:54:53.743727Z","signature_b64":"Pp1sERxj0N3+7YQo+DM0bo1wjdao+ZIZ72B6BwtgkV65Ir4WZuw0YDEAMQG7dd6ELHaFsJqufaASpxxeG0M2Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e0e8f2669eebab18ec537795d4913d809fc3781f33abb9fb8f542f08d99e81a7","last_reissued_at":"2026-05-18T00:54:53.743348Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:54:53.743348Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1612.04975","source_version":1,"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-18T00:54:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9Qtj7pfYx9QRi5UtirbHADFpB7tY4udC9ZtvOWQSge6YqIS0lTy16isf0bPelvByOmgsuhfYqq9AIEaht9D7CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T11:30:11.796728Z"},"content_sha256":"eacd7bfa816d6e44833d688f78e74ffe9c33052d57b6f163467f929f81e751fe","schema_version":"1.0","event_id":"sha256:eacd7bfa816d6e44833d688f78e74ffe9c33052d57b6f163467f929f81e751fe"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:4DUPEZU65OVRR3CTO6K5JEJ5QC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards an Approximate Conformance Relation for Hybrid I/O Automata","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"cs.LO","authors_text":"Halmstad University, Mohammad Reza Mousavi (Centre for Research on Embedded Systems, Morteza Mohaqeqi (Department of Information Technology Uppsala University, School of IT, Sweden)","submitted_at":"2016-12-15T08:48:32Z","abstract_excerpt":"Several notions of conformance have been proposed for checking the behavior of cyber-physical systems against their hybrid systems models. In this paper, we explore the initial idea of a notion of approximate conformance that allows for comparison of both observable discrete actions and (sampled) continuous trajectories.  As such, this notion will consolidate two earlier notions, namely the notion of Hybrid Input-Output Conformance (HIOCO) by M. van Osch and the notion of Hybrid Conformance by H. Abbas and G.E. Fainekos. We prove that our proposed notion of conformance satisfies a semi-transit"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.04975","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"},"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-18T00:54:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Pdmb41W9tZPjKt/0LYbsLPBXwuEfJBcSlr9fR3ecuDM3BfVolhtYjo+BxrEhPAqlpHNGFKeWotdJIrW6aMW6Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T11:30:11.797373Z"},"content_sha256":"183b5665b9d6ffb7eecb5e75a52fde79d7181a7221d0a38a7abb731a62bb79d4","schema_version":"1.0","event_id":"sha256:183b5665b9d6ffb7eecb5e75a52fde79d7181a7221d0a38a7abb731a62bb79d4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4DUPEZU65OVRR3CTO6K5JEJ5QC/bundle.json","state_url":"https://pith.science/pith/4DUPEZU65OVRR3CTO6K5JEJ5QC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4DUPEZU65OVRR3CTO6K5JEJ5QC/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-05-27T11:30:11Z","links":{"resolver":"https://pith.science/pith/4DUPEZU65OVRR3CTO6K5JEJ5QC","bundle":"https://pith.science/pith/4DUPEZU65OVRR3CTO6K5JEJ5QC/bundle.json","state":"https://pith.science/pith/4DUPEZU65OVRR3CTO6K5JEJ5QC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4DUPEZU65OVRR3CTO6K5JEJ5QC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:4DUPEZU65OVRR3CTO6K5JEJ5QC","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":"6c826b7e175e4e057010089550c38ee64d54b9a9219baa189deb4cdbce190808","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-12-15T08:48:32Z","title_canon_sha256":"bdd4d177aa590b39a02bdfaad0c8b1849fde7494b3a5d64d32749def774e5da3"},"schema_version":"1.0","source":{"id":"1612.04975","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.04975","created_at":"2026-05-18T00:54:53Z"},{"alias_kind":"arxiv_version","alias_value":"1612.04975v1","created_at":"2026-05-18T00:54:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.04975","created_at":"2026-05-18T00:54:53Z"},{"alias_kind":"pith_short_12","alias_value":"4DUPEZU65OVR","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_16","alias_value":"4DUPEZU65OVRR3CT","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_8","alias_value":"4DUPEZU6","created_at":"2026-05-18T12:29:58Z"}],"graph_snapshots":[{"event_id":"sha256:183b5665b9d6ffb7eecb5e75a52fde79d7181a7221d0a38a7abb731a62bb79d4","target":"graph","created_at":"2026-05-18T00:54:53Z","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":"Several notions of conformance have been proposed for checking the behavior of cyber-physical systems against their hybrid systems models. In this paper, we explore the initial idea of a notion of approximate conformance that allows for comparison of both observable discrete actions and (sampled) continuous trajectories.  As such, this notion will consolidate two earlier notions, namely the notion of Hybrid Input-Output Conformance (HIOCO) by M. van Osch and the notion of Hybrid Conformance by H. Abbas and G.E. Fainekos. We prove that our proposed notion of conformance satisfies a semi-transit","authors_text":"Halmstad University, Mohammad Reza Mousavi (Centre for Research on Embedded Systems, Morteza Mohaqeqi (Department of Information Technology Uppsala University, School of IT, Sweden)","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-12-15T08:48:32Z","title":"Towards an Approximate Conformance Relation for Hybrid I/O Automata"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.04975","kind":"arxiv","version":1},"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:eacd7bfa816d6e44833d688f78e74ffe9c33052d57b6f163467f929f81e751fe","target":"record","created_at":"2026-05-18T00:54:53Z","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":"6c826b7e175e4e057010089550c38ee64d54b9a9219baa189deb4cdbce190808","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-12-15T08:48:32Z","title_canon_sha256":"bdd4d177aa590b39a02bdfaad0c8b1849fde7494b3a5d64d32749def774e5da3"},"schema_version":"1.0","source":{"id":"1612.04975","kind":"arxiv","version":1}},"canonical_sha256":"e0e8f2669eebab18ec537795d4913d809fc3781f33abb9fb8f542f08d99e81a7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e0e8f2669eebab18ec537795d4913d809fc3781f33abb9fb8f542f08d99e81a7","first_computed_at":"2026-05-18T00:54:53.743348Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:54:53.743348Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Pp1sERxj0N3+7YQo+DM0bo1wjdao+ZIZ72B6BwtgkV65Ir4WZuw0YDEAMQG7dd6ELHaFsJqufaASpxxeG0M2Cw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:54:53.743727Z","signed_message":"canonical_sha256_bytes"},"source_id":"1612.04975","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:eacd7bfa816d6e44833d688f78e74ffe9c33052d57b6f163467f929f81e751fe","sha256:183b5665b9d6ffb7eecb5e75a52fde79d7181a7221d0a38a7abb731a62bb79d4"],"state_sha256":"47dcca5910accb95af7af5ef0000bf6c2461fd0f0819695195b20abe6078613f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5knBjcG+PDfrfIy7juBQGIacjyF/hsymYUweDFNAFtXbmLkQK4cf/31oOqcAhFIx5eUH+hgXnLrcFae/GsPJAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T11:30:11.800185Z","bundle_sha256":"0a30d0c01cecbff1660c158f2d48dff148f9dfe8735086cfe1f2dc7e33493608"}}