{"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"}