{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:DIZYO4AUXSVJLIGDTSYSD2L76C","short_pith_number":"pith:DIZYO4AU","canonical_record":{"source":{"id":"1510.07483","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2015-10-26T14:04:37Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"9d89f59e4d80c1c5b0807ec0c6e7dd9b836b441181fd4ce6ae128164d6112fe6","abstract_canon_sha256":"a239e4f9b2987f7b0df1f950b39d97b2b2f57d9502d9e4a0ffd4050ee905cfe3"},"schema_version":"1.0"},"canonical_sha256":"1a33877014bcaa95a0c39cb121e97ff0ab69e218e94533d80c9798573fa82653","source":{"kind":"arxiv","id":"1510.07483","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1510.07483","created_at":"2026-05-18T01:25:56Z"},{"alias_kind":"arxiv_version","alias_value":"1510.07483v1","created_at":"2026-05-18T01:25:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.07483","created_at":"2026-05-18T01:25:56Z"},{"alias_kind":"pith_short_12","alias_value":"DIZYO4AUXSVJ","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_16","alias_value":"DIZYO4AUXSVJLIGD","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_8","alias_value":"DIZYO4AU","created_at":"2026-05-18T12:29:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:DIZYO4AUXSVJLIGDTSYSD2L76C","target":"record","payload":{"canonical_record":{"source":{"id":"1510.07483","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2015-10-26T14:04:37Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"9d89f59e4d80c1c5b0807ec0c6e7dd9b836b441181fd4ce6ae128164d6112fe6","abstract_canon_sha256":"a239e4f9b2987f7b0df1f950b39d97b2b2f57d9502d9e4a0ffd4050ee905cfe3"},"schema_version":"1.0"},"canonical_sha256":"1a33877014bcaa95a0c39cb121e97ff0ab69e218e94533d80c9798573fa82653","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:25:56.915063Z","signature_b64":"YznPdMvzs4aT898sXA71OZC9z7I7utGqvzV1wld4W6W75Lw/0GhGJJVjT438GZPdi2wbnrGkfDd7BqA871/FBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1a33877014bcaa95a0c39cb121e97ff0ab69e218e94533d80c9798573fa82653","last_reissued_at":"2026-05-18T01:25:56.914284Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:25:56.914284Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1510.07483","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-18T01:25:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"owOyBCNMaZ6k0J+g3kluiwP+7QXKLGpsZYccFioJMwTVBW9851C7ZoW8IivzfzcDdodicTMlwNL5d9xasRdoBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T21:36:16.287695Z"},"content_sha256":"c614f08cb75b9b657b47a74e306a13c5b05c66ad9969dd4edf5364cc7e36eadc","schema_version":"1.0","event_id":"sha256:c614f08cb75b9b657b47a74e306a13c5b05c66ad9969dd4edf5364cc7e36eadc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:DIZYO4AUXSVJLIGDTSYSD2L76C","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Computing the domain of attraction of switching systems subject to non-convex constraints","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.OC"],"primary_cat":"math.DS","authors_text":"Nikolaos Athanasopoulos, Rapha\\\"el M. Jungers","submitted_at":"2015-10-26T14:04:37Z","abstract_excerpt":"We characterize and compute the maximal admissible positively invariant set for asymptotically stable constrained switching linear systems. Motivated by practical problems found, e.g., in obstacle avoidance, power electronics and nonlinear switching systems, in our setting the constraint set is formed by a finite number of polynomial inequalities. First, we observe that the so-called Veronese lifting allows to represent the constraint set as a polyhedral set. Next, by exploiting the fact that the lifted system dynamics remains linear, we establish a method based on reachability computations to"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.07483","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-18T01:25:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xc4hH9L8qzknemx8w/xG/zEUOsruPTMbWPUTncW/PYurs+3bmT3bE0Tx4jIoplC7nde8kBc8/KNZJT0JrpmBBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T21:36:16.288035Z"},"content_sha256":"ccbec951c7028d3fa60ce66866108ffd092f0768d1c68b06366a9b5b9ad8496b","schema_version":"1.0","event_id":"sha256:ccbec951c7028d3fa60ce66866108ffd092f0768d1c68b06366a9b5b9ad8496b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DIZYO4AUXSVJLIGDTSYSD2L76C/bundle.json","state_url":"https://pith.science/pith/DIZYO4AUXSVJLIGDTSYSD2L76C/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DIZYO4AUXSVJLIGDTSYSD2L76C/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-27T21:36:16Z","links":{"resolver":"https://pith.science/pith/DIZYO4AUXSVJLIGDTSYSD2L76C","bundle":"https://pith.science/pith/DIZYO4AUXSVJLIGDTSYSD2L76C/bundle.json","state":"https://pith.science/pith/DIZYO4AUXSVJLIGDTSYSD2L76C/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DIZYO4AUXSVJLIGDTSYSD2L76C/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:DIZYO4AUXSVJLIGDTSYSD2L76C","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":"a239e4f9b2987f7b0df1f950b39d97b2b2f57d9502d9e4a0ffd4050ee905cfe3","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2015-10-26T14:04:37Z","title_canon_sha256":"9d89f59e4d80c1c5b0807ec0c6e7dd9b836b441181fd4ce6ae128164d6112fe6"},"schema_version":"1.0","source":{"id":"1510.07483","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1510.07483","created_at":"2026-05-18T01:25:56Z"},{"alias_kind":"arxiv_version","alias_value":"1510.07483v1","created_at":"2026-05-18T01:25:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.07483","created_at":"2026-05-18T01:25:56Z"},{"alias_kind":"pith_short_12","alias_value":"DIZYO4AUXSVJ","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_16","alias_value":"DIZYO4AUXSVJLIGD","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_8","alias_value":"DIZYO4AU","created_at":"2026-05-18T12:29:17Z"}],"graph_snapshots":[{"event_id":"sha256:ccbec951c7028d3fa60ce66866108ffd092f0768d1c68b06366a9b5b9ad8496b","target":"graph","created_at":"2026-05-18T01:25:56Z","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 characterize and compute the maximal admissible positively invariant set for asymptotically stable constrained switching linear systems. Motivated by practical problems found, e.g., in obstacle avoidance, power electronics and nonlinear switching systems, in our setting the constraint set is formed by a finite number of polynomial inequalities. First, we observe that the so-called Veronese lifting allows to represent the constraint set as a polyhedral set. Next, by exploiting the fact that the lifted system dynamics remains linear, we establish a method based on reachability computations to","authors_text":"Nikolaos Athanasopoulos, Rapha\\\"el M. Jungers","cross_cats":["math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2015-10-26T14:04:37Z","title":"Computing the domain of attraction of switching systems subject to non-convex constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.07483","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:c614f08cb75b9b657b47a74e306a13c5b05c66ad9969dd4edf5364cc7e36eadc","target":"record","created_at":"2026-05-18T01:25:56Z","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":"a239e4f9b2987f7b0df1f950b39d97b2b2f57d9502d9e4a0ffd4050ee905cfe3","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2015-10-26T14:04:37Z","title_canon_sha256":"9d89f59e4d80c1c5b0807ec0c6e7dd9b836b441181fd4ce6ae128164d6112fe6"},"schema_version":"1.0","source":{"id":"1510.07483","kind":"arxiv","version":1}},"canonical_sha256":"1a33877014bcaa95a0c39cb121e97ff0ab69e218e94533d80c9798573fa82653","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1a33877014bcaa95a0c39cb121e97ff0ab69e218e94533d80c9798573fa82653","first_computed_at":"2026-05-18T01:25:56.914284Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:25:56.914284Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YznPdMvzs4aT898sXA71OZC9z7I7utGqvzV1wld4W6W75Lw/0GhGJJVjT438GZPdi2wbnrGkfDd7BqA871/FBg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:25:56.915063Z","signed_message":"canonical_sha256_bytes"},"source_id":"1510.07483","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c614f08cb75b9b657b47a74e306a13c5b05c66ad9969dd4edf5364cc7e36eadc","sha256:ccbec951c7028d3fa60ce66866108ffd092f0768d1c68b06366a9b5b9ad8496b"],"state_sha256":"21a2cbb5daac5efc8fe8cfb76656db16149d26ee8a0a62f151237b5eac3fc087"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VjyHSM54K27kK3XllWbVaoxRkAyuqKlZcJSSgqCKvhI1+g+z7foE8ZgDtDHPDlRL3K9TK/7/+WaSypOGGrc/AA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T21:36:16.290503Z","bundle_sha256":"2d14cdf47e9fd50b631186813bd9d42167747001e53b2e3928097faabd9992b6"}}