{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:4MKPTARTJV3MW7HONCPUUMPAQO","short_pith_number":"pith:4MKPTART","canonical_record":{"source":{"id":"1703.07494","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-03-22T02:26:22Z","cross_cats_sorted":[],"title_canon_sha256":"56bd78ee8dffe5f5023e75b481cb2547ff1acc9665aa59040693fafafe53c819","abstract_canon_sha256":"9e7eaa19c52483e8f7696ab107e640d72e3aee6b373beaf431a23517bc4a1dc5"},"schema_version":"1.0"},"canonical_sha256":"e314f982334d76cb7cee689f4a31e08399afc5df7070256b319c5d518ec8963b","source":{"kind":"arxiv","id":"1703.07494","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.07494","created_at":"2026-05-18T00:48:06Z"},{"alias_kind":"arxiv_version","alias_value":"1703.07494v1","created_at":"2026-05-18T00:48:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.07494","created_at":"2026-05-18T00:48:06Z"},{"alias_kind":"pith_short_12","alias_value":"4MKPTARTJV3M","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_16","alias_value":"4MKPTARTJV3MW7HO","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_8","alias_value":"4MKPTART","created_at":"2026-05-18T12:31:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:4MKPTARTJV3MW7HONCPUUMPAQO","target":"record","payload":{"canonical_record":{"source":{"id":"1703.07494","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-03-22T02:26:22Z","cross_cats_sorted":[],"title_canon_sha256":"56bd78ee8dffe5f5023e75b481cb2547ff1acc9665aa59040693fafafe53c819","abstract_canon_sha256":"9e7eaa19c52483e8f7696ab107e640d72e3aee6b373beaf431a23517bc4a1dc5"},"schema_version":"1.0"},"canonical_sha256":"e314f982334d76cb7cee689f4a31e08399afc5df7070256b319c5d518ec8963b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:48:06.885648Z","signature_b64":"yuJwQ+fBBvrLwhosWCF2TjuNgnaV5dVK7y8urbP9SE/Sy1fCd0AnerMfIpaA5ac8qfTPFoel10R841QkyHvyAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e314f982334d76cb7cee689f4a31e08399afc5df7070256b319c5d518ec8963b","last_reissued_at":"2026-05-18T00:48:06.884936Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:48:06.884936Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1703.07494","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-18T00:48:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/xE5vA1YuY3g4xEK9iP7WX79ZLi+NyjqdfYzY1MQvDHxxIvucCmp5n8/lROXloazImXT76Jrw+73jr50hCpICw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T21:35:39.004389Z"},"content_sha256":"96de4b8bbe505ed0726c132dceb1738c88f5ca30fc9be3884cb3381c448c62b1","schema_version":"1.0","event_id":"sha256:96de4b8bbe505ed0726c132dceb1738c88f5ca30fc9be3884cb3381c448c62b1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:4MKPTARTJV3MW7HONCPUUMPAQO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Synthesizing the Optimal Luenberger-type Observer for Nonlinear Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Jinsun Liu, Ram Vasudevan, Shankar Mohan","submitted_at":"2017-03-22T02:26:22Z","abstract_excerpt":"Observer design typically requires the observability of the underlying system, which may be hard to verify for nonlinear systems, while guaranteeing asymptotic convergence of errors, which may be insufficient in order to satisfy performance conditions in finite time. This paper develops a method to design Luenberger-type observers for nonlinear systems which guarantee the largest possible domain of attraction for the state estimation error regardless of the initialization of the system. The observer design procedure is posed as a two step problem. In the the first step, the error dynamics are "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.07494","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-18T00:48:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SpHK7m/d5H4nEQc/ooucy+4j3WQWaGGn0Mkletj0KMuFjPht4SjnN/uF3rocEBeeofUizfRf/VBa+vL6UT9aAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T21:35:39.004838Z"},"content_sha256":"6d129023d9cc5185143293e7f32b611a5205276cab3d2785f06fac349c0f0ede","schema_version":"1.0","event_id":"sha256:6d129023d9cc5185143293e7f32b611a5205276cab3d2785f06fac349c0f0ede"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4MKPTARTJV3MW7HONCPUUMPAQO/bundle.json","state_url":"https://pith.science/pith/4MKPTARTJV3MW7HONCPUUMPAQO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4MKPTARTJV3MW7HONCPUUMPAQO/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-26T21:35:39Z","links":{"resolver":"https://pith.science/pith/4MKPTARTJV3MW7HONCPUUMPAQO","bundle":"https://pith.science/pith/4MKPTARTJV3MW7HONCPUUMPAQO/bundle.json","state":"https://pith.science/pith/4MKPTARTJV3MW7HONCPUUMPAQO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4MKPTARTJV3MW7HONCPUUMPAQO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:4MKPTARTJV3MW7HONCPUUMPAQO","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":"9e7eaa19c52483e8f7696ab107e640d72e3aee6b373beaf431a23517bc4a1dc5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-03-22T02:26:22Z","title_canon_sha256":"56bd78ee8dffe5f5023e75b481cb2547ff1acc9665aa59040693fafafe53c819"},"schema_version":"1.0","source":{"id":"1703.07494","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.07494","created_at":"2026-05-18T00:48:06Z"},{"alias_kind":"arxiv_version","alias_value":"1703.07494v1","created_at":"2026-05-18T00:48:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.07494","created_at":"2026-05-18T00:48:06Z"},{"alias_kind":"pith_short_12","alias_value":"4MKPTARTJV3M","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_16","alias_value":"4MKPTARTJV3MW7HO","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_8","alias_value":"4MKPTART","created_at":"2026-05-18T12:31:00Z"}],"graph_snapshots":[{"event_id":"sha256:6d129023d9cc5185143293e7f32b611a5205276cab3d2785f06fac349c0f0ede","target":"graph","created_at":"2026-05-18T00:48: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":"Observer design typically requires the observability of the underlying system, which may be hard to verify for nonlinear systems, while guaranteeing asymptotic convergence of errors, which may be insufficient in order to satisfy performance conditions in finite time. This paper develops a method to design Luenberger-type observers for nonlinear systems which guarantee the largest possible domain of attraction for the state estimation error regardless of the initialization of the system. The observer design procedure is posed as a two step problem. In the the first step, the error dynamics are ","authors_text":"Jinsun Liu, Ram Vasudevan, Shankar Mohan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-03-22T02:26:22Z","title":"Synthesizing the Optimal Luenberger-type Observer for Nonlinear Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.07494","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:96de4b8bbe505ed0726c132dceb1738c88f5ca30fc9be3884cb3381c448c62b1","target":"record","created_at":"2026-05-18T00:48: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":"9e7eaa19c52483e8f7696ab107e640d72e3aee6b373beaf431a23517bc4a1dc5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-03-22T02:26:22Z","title_canon_sha256":"56bd78ee8dffe5f5023e75b481cb2547ff1acc9665aa59040693fafafe53c819"},"schema_version":"1.0","source":{"id":"1703.07494","kind":"arxiv","version":1}},"canonical_sha256":"e314f982334d76cb7cee689f4a31e08399afc5df7070256b319c5d518ec8963b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e314f982334d76cb7cee689f4a31e08399afc5df7070256b319c5d518ec8963b","first_computed_at":"2026-05-18T00:48:06.884936Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:48:06.884936Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yuJwQ+fBBvrLwhosWCF2TjuNgnaV5dVK7y8urbP9SE/Sy1fCd0AnerMfIpaA5ac8qfTPFoel10R841QkyHvyAg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:48:06.885648Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.07494","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:96de4b8bbe505ed0726c132dceb1738c88f5ca30fc9be3884cb3381c448c62b1","sha256:6d129023d9cc5185143293e7f32b611a5205276cab3d2785f06fac349c0f0ede"],"state_sha256":"384cf0b6fecc7f2c3a09b43e63ccb00bf12c3d80daf79796a8bcb3251bc5c88e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Z4wD9vniJLf5UcNObmkihPX1X1oMcybQ+XwKjNIwY5sXTr9OuzNwUu46jsgPp8U1txa6iGhqtt/fgIi6aznRDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T21:35:39.007248Z","bundle_sha256":"767888477dc1625e490568dc622273e7bfd3e5cf33e5b0fa7ef28257d1cbaf25"}}