{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:EEXGPIECGOUVCT4P7YJJPVXEHO","short_pith_number":"pith:EEXGPIEC","canonical_record":{"source":{"id":"1505.01180","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-05-05T20:45:09Z","cross_cats_sorted":[],"title_canon_sha256":"4147ff06f9fe1692cc40ca366894476be50c64aa67c3a1d334ea13b4a78039e6","abstract_canon_sha256":"230850d6890bb37e6588ceac468d1a6c2978c63d8fdb10204ccee279ce692a4c"},"schema_version":"1.0"},"canonical_sha256":"212e67a08233a9514f8ffe1297d6e43b9968723f3d9d18f87b3da9d0204650c4","source":{"kind":"arxiv","id":"1505.01180","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1505.01180","created_at":"2026-05-18T01:32:18Z"},{"alias_kind":"arxiv_version","alias_value":"1505.01180v3","created_at":"2026-05-18T01:32:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1505.01180","created_at":"2026-05-18T01:32:18Z"},{"alias_kind":"pith_short_12","alias_value":"EEXGPIECGOUV","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"EEXGPIECGOUVCT4P","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"EEXGPIEC","created_at":"2026-05-18T12:29:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:EEXGPIECGOUVCT4P7YJJPVXEHO","target":"record","payload":{"canonical_record":{"source":{"id":"1505.01180","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-05-05T20:45:09Z","cross_cats_sorted":[],"title_canon_sha256":"4147ff06f9fe1692cc40ca366894476be50c64aa67c3a1d334ea13b4a78039e6","abstract_canon_sha256":"230850d6890bb37e6588ceac468d1a6c2978c63d8fdb10204ccee279ce692a4c"},"schema_version":"1.0"},"canonical_sha256":"212e67a08233a9514f8ffe1297d6e43b9968723f3d9d18f87b3da9d0204650c4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:32:18.563114Z","signature_b64":"HcdS/s6noOKjkZY8yjclnK2iIenvA7FvBQoFimfRsaSYpZ8j8Eis6wGFoEj6B6t15lyg3rSRFqUry0YdIqGvCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"212e67a08233a9514f8ffe1297d6e43b9968723f3d9d18f87b3da9d0204650c4","last_reissued_at":"2026-05-18T01:32:18.562452Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:32:18.562452Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1505.01180","source_version":3,"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-18T01:32:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UjaZF2W9c3sj9A49RaRSf4rxJWLnKllreGBCqY34fOzPKL3Qiacf1BVCQxcZ9TJbnv7STPmrtVvtWkiTIDTmAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T14:37:59.026775Z"},"content_sha256":"01c880f17de320b41a1ec8614104ea08b22d9981354dc96ada20570f4c1ea96f","schema_version":"1.0","event_id":"sha256:01c880f17de320b41a1ec8614104ea08b22d9981354dc96ada20570f4c1ea96f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:EEXGPIECGOUVCT4P7YJJPVXEHO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Counterexample Guided Synthesis of Switched Controllers for Reach-While-Stay Properties","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Hadi Ravanbakhsh, Sriram Sankaranarayanan","submitted_at":"2015-05-05T20:45:09Z","abstract_excerpt":"We introduce a counter-example guided inductive synthesis (CEGIS) framework for synthesizing continuous-time switching controllers that guarantee reach while stay (RWS) properties of the closed loop system. The solution is based on synthesizing specially defined class of control Lyapunov functions (CLFs) for switched systems, that yield switching controllers with a guaranteed minimum dwell time in each mode. Next, we use a CEGIS-based approach to iteratively solve the resulting quantified exists-forall constraints, and find a CLF. We introduce relaxations to guarantee termination, as well as h"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1505.01180","kind":"arxiv","version":3},"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-18T01:32:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rjwMOpRAL8mhibR/OImlGtEHZWpNTqvEYFAWFk5UEKvnk2BU3aOvbUsT37qNcKQVzkkQnrTmi6LM9Ni2L4AnBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T14:37:59.027510Z"},"content_sha256":"71e500d9e8db5e7e779b60f1a8dd6af827ce278ce18e4a6109e504935b7704fc","schema_version":"1.0","event_id":"sha256:71e500d9e8db5e7e779b60f1a8dd6af827ce278ce18e4a6109e504935b7704fc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EEXGPIECGOUVCT4P7YJJPVXEHO/bundle.json","state_url":"https://pith.science/pith/EEXGPIECGOUVCT4P7YJJPVXEHO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EEXGPIECGOUVCT4P7YJJPVXEHO/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-08-21T14:37:59Z","links":{"resolver":"https://pith.science/pith/EEXGPIECGOUVCT4P7YJJPVXEHO","bundle":"https://pith.science/pith/EEXGPIECGOUVCT4P7YJJPVXEHO/bundle.json","state":"https://pith.science/pith/EEXGPIECGOUVCT4P7YJJPVXEHO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EEXGPIECGOUVCT4P7YJJPVXEHO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:EEXGPIECGOUVCT4P7YJJPVXEHO","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":"230850d6890bb37e6588ceac468d1a6c2978c63d8fdb10204ccee279ce692a4c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-05-05T20:45:09Z","title_canon_sha256":"4147ff06f9fe1692cc40ca366894476be50c64aa67c3a1d334ea13b4a78039e6"},"schema_version":"1.0","source":{"id":"1505.01180","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1505.01180","created_at":"2026-05-18T01:32:18Z"},{"alias_kind":"arxiv_version","alias_value":"1505.01180v3","created_at":"2026-05-18T01:32:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1505.01180","created_at":"2026-05-18T01:32:18Z"},{"alias_kind":"pith_short_12","alias_value":"EEXGPIECGOUV","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"EEXGPIECGOUVCT4P","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"EEXGPIEC","created_at":"2026-05-18T12:29:19Z"}],"graph_snapshots":[{"event_id":"sha256:71e500d9e8db5e7e779b60f1a8dd6af827ce278ce18e4a6109e504935b7704fc","target":"graph","created_at":"2026-05-18T01:32:18Z","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 introduce a counter-example guided inductive synthesis (CEGIS) framework for synthesizing continuous-time switching controllers that guarantee reach while stay (RWS) properties of the closed loop system. The solution is based on synthesizing specially defined class of control Lyapunov functions (CLFs) for switched systems, that yield switching controllers with a guaranteed minimum dwell time in each mode. Next, we use a CEGIS-based approach to iteratively solve the resulting quantified exists-forall constraints, and find a CLF. We introduce relaxations to guarantee termination, as well as h","authors_text":"Hadi Ravanbakhsh, Sriram Sankaranarayanan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-05-05T20:45:09Z","title":"Counterexample Guided Synthesis of Switched Controllers for Reach-While-Stay Properties"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1505.01180","kind":"arxiv","version":3},"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:01c880f17de320b41a1ec8614104ea08b22d9981354dc96ada20570f4c1ea96f","target":"record","created_at":"2026-05-18T01:32:18Z","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":"230850d6890bb37e6588ceac468d1a6c2978c63d8fdb10204ccee279ce692a4c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-05-05T20:45:09Z","title_canon_sha256":"4147ff06f9fe1692cc40ca366894476be50c64aa67c3a1d334ea13b4a78039e6"},"schema_version":"1.0","source":{"id":"1505.01180","kind":"arxiv","version":3}},"canonical_sha256":"212e67a08233a9514f8ffe1297d6e43b9968723f3d9d18f87b3da9d0204650c4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"212e67a08233a9514f8ffe1297d6e43b9968723f3d9d18f87b3da9d0204650c4","first_computed_at":"2026-05-18T01:32:18.562452Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:32:18.562452Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HcdS/s6noOKjkZY8yjclnK2iIenvA7FvBQoFimfRsaSYpZ8j8Eis6wGFoEj6B6t15lyg3rSRFqUry0YdIqGvCw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:32:18.563114Z","signed_message":"canonical_sha256_bytes"},"source_id":"1505.01180","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:01c880f17de320b41a1ec8614104ea08b22d9981354dc96ada20570f4c1ea96f","sha256:71e500d9e8db5e7e779b60f1a8dd6af827ce278ce18e4a6109e504935b7704fc"],"state_sha256":"a363453474bc64bbfd60b46f0165ecb12d629c5146f50f725b08dcbcd24ed5fc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZOxOnvflLvuGfW0YW3g/7cig1pDa+sqcGiJOr6ULuhQCwzuEbwP5AaNAakmaTCBKnN2SX9VA3diM2l8rqrgUCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-21T14:37:59.032523Z","bundle_sha256":"deebb2c6e99718acf458bad128a19de2e52d56e71060e70ea12660d7628fe6b6"}}