{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:HFEJ3HW7FD5YX3WA5RJAPHOCAN","short_pith_number":"pith:HFEJ3HW7","schema_version":"1.0","canonical_sha256":"39489d9edf28fb8beec0ec52079dc20379dc805ed7b955a6489e11c1b74c03de","source":{"kind":"arxiv","id":"1304.0825","version":1},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1304.0825","created_at":"2026-05-18T03:29:06.046566+00:00"},{"alias_kind":"arxiv_version","alias_value":"1304.0825v1","created_at":"2026-05-18T03:29:06.046566+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.0825","created_at":"2026-05-18T03:29:06.046566+00:00"},{"alias_kind":"pith_short_12","alias_value":"HFEJ3HW7FD5Y","created_at":"2026-05-18T12:27:46.883200+00:00"},{"alias_kind":"pith_short_16","alias_value":"HFEJ3HW7FD5YX3WA","created_at":"2026-05-18T12:27:46.883200+00:00"},{"alias_kind":"pith_short_8","alias_value":"HFEJ3HW7","created_at":"2026-05-18T12:27:46.883200+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/HFEJ3HW7FD5YX3WA5RJAPHOCAN","json":"https://pith.science/pith/HFEJ3HW7FD5YX3WA5RJAPHOCAN.json","graph_json":"https://pith.science/api/pith-number/HFEJ3HW7FD5YX3WA5RJAPHOCAN/graph.json","events_json":"https://pith.science/api/pith-number/HFEJ3HW7FD5YX3WA5RJAPHOCAN/events.json","paper":"https://pith.science/paper/HFEJ3HW7"},"agent_actions":{"view_html":"https://pith.science/pith/HFEJ3HW7FD5YX3WA5RJAPHOCAN","download_json":"https://pith.science/pith/HFEJ3HW7FD5YX3WA5RJAPHOCAN.json","view_paper":"https://pith.science/paper/HFEJ3HW7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1304.0825&json=true","fetch_graph":"https://pith.science/api/pith-number/HFEJ3HW7FD5YX3WA5RJAPHOCAN/graph.json","fetch_events":"https://pith.science/api/pith-number/HFEJ3HW7FD5YX3WA5RJAPHOCAN/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/HFEJ3HW7FD5YX3WA5RJAPHOCAN/action/timestamp_anchor","attest_storage":"https://pith.science/pith/HFEJ3HW7FD5YX3WA5RJAPHOCAN/action/storage_attestation","attest_author":"https://pith.science/pith/HFEJ3HW7FD5YX3WA5RJAPHOCAN/action/author_attestation","sign_citation":"https://pith.science/pith/HFEJ3HW7FD5YX3WA5RJAPHOCAN/action/citation_signature","submit_replication":"https://pith.science/pith/HFEJ3HW7FD5YX3WA5RJAPHOCAN/action/replication_record"}},"created_at":"2026-05-18T03:29:06.046566+00:00","updated_at":"2026-05-18T03:29:06.046566+00:00"}