{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:HFEJ3HW7FD5YX3WA5RJAPHOCAN","short_pith_number":"pith:HFEJ3HW7","canonical_record":{"source":{"id":"1304.0825","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2013-04-03T02:49:17Z","cross_cats_sorted":["cs.NA","cs.SC"],"title_canon_sha256":"f19ecd18b4777914b854633d0b978366199026394601181be4d9c9d6511a38d6","abstract_canon_sha256":"e8e232335a8d602ec961c59c1b28a784080162e8aee7a3a03f714a7c227c83d2"},"schema_version":"1.0"},"canonical_sha256":"39489d9edf28fb8beec0ec52079dc20379dc805ed7b955a6489e11c1b74c03de","source":{"kind":"arxiv","id":"1304.0825","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.0825","created_at":"2026-05-18T03:29:06Z"},{"alias_kind":"arxiv_version","alias_value":"1304.0825v1","created_at":"2026-05-18T03:29:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.0825","created_at":"2026-05-18T03:29:06Z"},{"alias_kind":"pith_short_12","alias_value":"HFEJ3HW7FD5Y","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_16","alias_value":"HFEJ3HW7FD5YX3WA","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_8","alias_value":"HFEJ3HW7","created_at":"2026-05-18T12:27:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:HFEJ3HW7FD5YX3WA5RJAPHOCAN","target":"record","payload":{"canonical_record":{"source":{"id":"1304.0825","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2013-04-03T02:49:17Z","cross_cats_sorted":["cs.NA","cs.SC"],"title_canon_sha256":"f19ecd18b4777914b854633d0b978366199026394601181be4d9c9d6511a38d6","abstract_canon_sha256":"e8e232335a8d602ec961c59c1b28a784080162e8aee7a3a03f714a7c227c83d2"},"schema_version":"1.0"},"canonical_sha256":"39489d9edf28fb8beec0ec52079dc20379dc805ed7b955a6489e11c1b74c03de","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:29:06.046934Z","signature_b64":"Je/nyqTZgJIhBrL8L8of8kRa29oE9nsaFTqdxRAokytEtAS6z6ayxBfNtNo/noAKwMCrZR5GSCCZPVL+uGJ6BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"39489d9edf28fb8beec0ec52079dc20379dc805ed7b955a6489e11c1b74c03de","last_reissued_at":"2026-05-18T03:29:06.046504Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:29:06.046504Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1304.0825","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-18T03:29:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mh6xujg4KWRdQTI9QwPJVPU98lHQx9s4+VpPJCPEDXUhVRajOt3AMtQ0dLUbeECAzFFONyV+mcl3dTHPBjgDCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T01:45:19.796289Z"},"content_sha256":"cf1b14b01ccf9effb2a71cfa3a6817dfbb2820cab1a8f8f5ef8787cc11f4c452","schema_version":"1.0","event_id":"sha256:cf1b14b01ccf9effb2a71cfa3a6817dfbb2820cab1a8f8f5ef8787cc11f4c452"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:HFEJ3HW7FD5YX3WA5RJAPHOCAN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Synthesizing Switching Controllers for Hybrid Systems by Continuous Invariant Generation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.NA","cs.SC"],"primary_cat":"cs.SY","authors_text":"Deepak Kapur, Hengjun Zhao, Naijun Zhan","submitted_at":"2013-04-03T02:49:17Z","abstract_excerpt":"We extend a template-based approach for synthesizing switching controllers for semi-algebraic hybrid systems, in which all expressions are polynomials. This is achieved by combining a QE (quantifier elimination)-based method for generating continuous invariants with a qualitative approach for predefining templates. Our synthesis method is relatively complete with regard to a given family of predefined templates. Using qualitative analysis, we discuss heuristics to reduce the numbers of parameters appearing in the templates. To avoid too much human interaction in choosing templates as well as t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.0825","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-18T03:29:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MWoXubV/KQJeu04dZwjCrRKHnWnD4aoAMyqcMC1+BSiM8hK1xMyRL4N7rx+O5t//9Epgc/F+xHc9/BPcs8JgDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T01:45:19.796946Z"},"content_sha256":"ab17b748c1dfe33c1babab767af323c0894c78fe1b999fadbeb0c1a1ad6a3f9d","schema_version":"1.0","event_id":"sha256:ab17b748c1dfe33c1babab767af323c0894c78fe1b999fadbeb0c1a1ad6a3f9d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HFEJ3HW7FD5YX3WA5RJAPHOCAN/bundle.json","state_url":"https://pith.science/pith/HFEJ3HW7FD5YX3WA5RJAPHOCAN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HFEJ3HW7FD5YX3WA5RJAPHOCAN/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-22T01:45:19Z","links":{"resolver":"https://pith.science/pith/HFEJ3HW7FD5YX3WA5RJAPHOCAN","bundle":"https://pith.science/pith/HFEJ3HW7FD5YX3WA5RJAPHOCAN/bundle.json","state":"https://pith.science/pith/HFEJ3HW7FD5YX3WA5RJAPHOCAN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HFEJ3HW7FD5YX3WA5RJAPHOCAN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:HFEJ3HW7FD5YX3WA5RJAPHOCAN","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":"e8e232335a8d602ec961c59c1b28a784080162e8aee7a3a03f714a7c227c83d2","cross_cats_sorted":["cs.NA","cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2013-04-03T02:49:17Z","title_canon_sha256":"f19ecd18b4777914b854633d0b978366199026394601181be4d9c9d6511a38d6"},"schema_version":"1.0","source":{"id":"1304.0825","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.0825","created_at":"2026-05-18T03:29:06Z"},{"alias_kind":"arxiv_version","alias_value":"1304.0825v1","created_at":"2026-05-18T03:29:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.0825","created_at":"2026-05-18T03:29:06Z"},{"alias_kind":"pith_short_12","alias_value":"HFEJ3HW7FD5Y","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_16","alias_value":"HFEJ3HW7FD5YX3WA","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_8","alias_value":"HFEJ3HW7","created_at":"2026-05-18T12:27:46Z"}],"graph_snapshots":[{"event_id":"sha256:ab17b748c1dfe33c1babab767af323c0894c78fe1b999fadbeb0c1a1ad6a3f9d","target":"graph","created_at":"2026-05-18T03:29:06Z","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 extend a template-based approach for synthesizing switching controllers for semi-algebraic hybrid systems, in which all expressions are polynomials. This is achieved by combining a QE (quantifier elimination)-based method for generating continuous invariants with a qualitative approach for predefining templates. Our synthesis method is relatively complete with regard to a given family of predefined templates. Using qualitative analysis, we discuss heuristics to reduce the numbers of parameters appearing in the templates. To avoid too much human interaction in choosing templates as well as t","authors_text":"Deepak Kapur, Hengjun Zhao, Naijun Zhan","cross_cats":["cs.NA","cs.SC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2013-04-03T02:49:17Z","title":"Synthesizing Switching Controllers for Hybrid Systems by Continuous Invariant Generation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.0825","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:cf1b14b01ccf9effb2a71cfa3a6817dfbb2820cab1a8f8f5ef8787cc11f4c452","target":"record","created_at":"2026-05-18T03:29:06Z","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":"e8e232335a8d602ec961c59c1b28a784080162e8aee7a3a03f714a7c227c83d2","cross_cats_sorted":["cs.NA","cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2013-04-03T02:49:17Z","title_canon_sha256":"f19ecd18b4777914b854633d0b978366199026394601181be4d9c9d6511a38d6"},"schema_version":"1.0","source":{"id":"1304.0825","kind":"arxiv","version":1}},"canonical_sha256":"39489d9edf28fb8beec0ec52079dc20379dc805ed7b955a6489e11c1b74c03de","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"39489d9edf28fb8beec0ec52079dc20379dc805ed7b955a6489e11c1b74c03de","first_computed_at":"2026-05-18T03:29:06.046504Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:29:06.046504Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Je/nyqTZgJIhBrL8L8of8kRa29oE9nsaFTqdxRAokytEtAS6z6ayxBfNtNo/noAKwMCrZR5GSCCZPVL+uGJ6BA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:29:06.046934Z","signed_message":"canonical_sha256_bytes"},"source_id":"1304.0825","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cf1b14b01ccf9effb2a71cfa3a6817dfbb2820cab1a8f8f5ef8787cc11f4c452","sha256:ab17b748c1dfe33c1babab767af323c0894c78fe1b999fadbeb0c1a1ad6a3f9d"],"state_sha256":"696d8c7f55877bed4d9115f4d675a5a801ad18810971c8fe8f97da5f73f59548"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rrtVL+vPNm6Os835XMErmFBRY4fa5/jwrwjYz345N1CMaPTqXaDYQbeOvgBv0PVBnkzBczwfi8BNUXXOEcHmBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-22T01:45:19.800328Z","bundle_sha256":"3ec7763365b2e1c666198f2b8ae94a523ee4665741312de97ccd367dc887965a"}}