{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:47DQ7ZG4EAZLPQJOTCXKD4ECZA","short_pith_number":"pith:47DQ7ZG4","canonical_record":{"source":{"id":"1803.00622","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-03-01T21:04:14Z","cross_cats_sorted":[],"title_canon_sha256":"3529da3df2b0b8744253106e26a7dd9a19a227b1dc2eb17dde2aa941148e72e5","abstract_canon_sha256":"22ad7acffa5e649bafe455255e1a35df5a3c418ba151e11707dfd3164539ddb5"},"schema_version":"1.0"},"canonical_sha256":"e7c70fe4dc2032b7c12e98aea1f082c817c3d2d1be95abde0a464de677667eb2","source":{"kind":"arxiv","id":"1803.00622","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.00622","created_at":"2026-05-18T00:22:08Z"},{"alias_kind":"arxiv_version","alias_value":"1803.00622v1","created_at":"2026-05-18T00:22:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.00622","created_at":"2026-05-18T00:22:08Z"},{"alias_kind":"pith_short_12","alias_value":"47DQ7ZG4EAZL","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_16","alias_value":"47DQ7ZG4EAZLPQJO","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_8","alias_value":"47DQ7ZG4","created_at":"2026-05-18T12:32:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:47DQ7ZG4EAZLPQJOTCXKD4ECZA","target":"record","payload":{"canonical_record":{"source":{"id":"1803.00622","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-03-01T21:04:14Z","cross_cats_sorted":[],"title_canon_sha256":"3529da3df2b0b8744253106e26a7dd9a19a227b1dc2eb17dde2aa941148e72e5","abstract_canon_sha256":"22ad7acffa5e649bafe455255e1a35df5a3c418ba151e11707dfd3164539ddb5"},"schema_version":"1.0"},"canonical_sha256":"e7c70fe4dc2032b7c12e98aea1f082c817c3d2d1be95abde0a464de677667eb2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:22:08.356183Z","signature_b64":"1/C4QeI0B6YfpF/fZWT8LmpOVTMONf8lo7ilyCQkzfy79vrn+uQ89MS1N0I9ZfUBbP11TKfI70hTH1lc7MdTCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e7c70fe4dc2032b7c12e98aea1f082c817c3d2d1be95abde0a464de677667eb2","last_reissued_at":"2026-05-18T00:22:08.355572Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:22:08.355572Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1803.00622","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:22:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"F/RIAgg2YtboLQIkCdYohkFa7VcB88xVbxJxC9qM7/Iv5xeYHvCDKHYMNYb3imJ+drUpRWZuIKVu2elFS/jrBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T18:47:09.802281Z"},"content_sha256":"6bda08ac2e268d0664fe459d553041c17250eae81f0ad0420412e7e3cea0c94b","schema_version":"1.0","event_id":"sha256:6bda08ac2e268d0664fe459d553041c17250eae81f0ad0420412e7e3cea0c94b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:47DQ7ZG4EAZLPQJOTCXKD4ECZA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Brandon Hencey, Mohamadreza Ahmadi, Murat Cubuktepe, Ufuk Topcu","submitted_at":"2018-03-01T21:04:14Z","abstract_excerpt":"We consider the stability and the input-output analysis problems of a class of large-scale hybrid systems composed of continuous dynamics coupled with discrete dynamics defined over finite alphabets, e.g., deterministic finite state machines (DFSMs). This class of hybrid systems can be used to model physical systems controlled by software. For such classes of systems, we use a method based on dissipativity theory for compositional analysis that allows us to study stability, passivity and input-output norms. We show that the certificates of the method based on dissipativity theory can be comput"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.00622","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:22:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ec1plMmt2BgNzBX5f4GnnTaqUmOWspVFIYA3+RYYra+ohUSCr5Mkcb09k4/qFYuzhK0byorqShXKfLslOSDDCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T18:47:09.803032Z"},"content_sha256":"9763d4042dc54e0d872c04a69eec7879a7cafd4a1b5477e26b85b61ea941cc3b","schema_version":"1.0","event_id":"sha256:9763d4042dc54e0d872c04a69eec7879a7cafd4a1b5477e26b85b61ea941cc3b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/47DQ7ZG4EAZLPQJOTCXKD4ECZA/bundle.json","state_url":"https://pith.science/pith/47DQ7ZG4EAZLPQJOTCXKD4ECZA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/47DQ7ZG4EAZLPQJOTCXKD4ECZA/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-07T18:47:09Z","links":{"resolver":"https://pith.science/pith/47DQ7ZG4EAZLPQJOTCXKD4ECZA","bundle":"https://pith.science/pith/47DQ7ZG4EAZLPQJOTCXKD4ECZA/bundle.json","state":"https://pith.science/pith/47DQ7ZG4EAZLPQJOTCXKD4ECZA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/47DQ7ZG4EAZLPQJOTCXKD4ECZA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:47DQ7ZG4EAZLPQJOTCXKD4ECZA","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":"22ad7acffa5e649bafe455255e1a35df5a3c418ba151e11707dfd3164539ddb5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-03-01T21:04:14Z","title_canon_sha256":"3529da3df2b0b8744253106e26a7dd9a19a227b1dc2eb17dde2aa941148e72e5"},"schema_version":"1.0","source":{"id":"1803.00622","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.00622","created_at":"2026-05-18T00:22:08Z"},{"alias_kind":"arxiv_version","alias_value":"1803.00622v1","created_at":"2026-05-18T00:22:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.00622","created_at":"2026-05-18T00:22:08Z"},{"alias_kind":"pith_short_12","alias_value":"47DQ7ZG4EAZL","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_16","alias_value":"47DQ7ZG4EAZLPQJO","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_8","alias_value":"47DQ7ZG4","created_at":"2026-05-18T12:32:05Z"}],"graph_snapshots":[{"event_id":"sha256:9763d4042dc54e0d872c04a69eec7879a7cafd4a1b5477e26b85b61ea941cc3b","target":"graph","created_at":"2026-05-18T00:22:08Z","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":"We consider the stability and the input-output analysis problems of a class of large-scale hybrid systems composed of continuous dynamics coupled with discrete dynamics defined over finite alphabets, e.g., deterministic finite state machines (DFSMs). This class of hybrid systems can be used to model physical systems controlled by software. For such classes of systems, we use a method based on dissipativity theory for compositional analysis that allows us to study stability, passivity and input-output norms. We show that the certificates of the method based on dissipativity theory can be comput","authors_text":"Brandon Hencey, Mohamadreza Ahmadi, Murat Cubuktepe, Ufuk Topcu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-03-01T21:04:14Z","title":"Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.00622","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:6bda08ac2e268d0664fe459d553041c17250eae81f0ad0420412e7e3cea0c94b","target":"record","created_at":"2026-05-18T00:22:08Z","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":"22ad7acffa5e649bafe455255e1a35df5a3c418ba151e11707dfd3164539ddb5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-03-01T21:04:14Z","title_canon_sha256":"3529da3df2b0b8744253106e26a7dd9a19a227b1dc2eb17dde2aa941148e72e5"},"schema_version":"1.0","source":{"id":"1803.00622","kind":"arxiv","version":1}},"canonical_sha256":"e7c70fe4dc2032b7c12e98aea1f082c817c3d2d1be95abde0a464de677667eb2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e7c70fe4dc2032b7c12e98aea1f082c817c3d2d1be95abde0a464de677667eb2","first_computed_at":"2026-05-18T00:22:08.355572Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:22:08.355572Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1/C4QeI0B6YfpF/fZWT8LmpOVTMONf8lo7ilyCQkzfy79vrn+uQ89MS1N0I9ZfUBbP11TKfI70hTH1lc7MdTCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:22:08.356183Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.00622","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6bda08ac2e268d0664fe459d553041c17250eae81f0ad0420412e7e3cea0c94b","sha256:9763d4042dc54e0d872c04a69eec7879a7cafd4a1b5477e26b85b61ea941cc3b"],"state_sha256":"d3a0ed5a5484f47b369aca03f185bc3fde96e90a44adce8984a1f56791107d44"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w8IVsjuXH4XctgObxQNNekZRSviFgISpFTax2ylOAUh9tbS7YYshm7ThEDqtnRgzA0quDspQnsN9FTlxTgJEAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T18:47:09.807162Z","bundle_sha256":"4a1eff0862d1e5890dfa842f75bc31cbbda5bf69fb6d1ff9d9b68c573393d308"}}