{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:U5KRK5RUAZMXNDMPUNUUGEVKJY","short_pith_number":"pith:U5KRK5RU","canonical_record":{"source":{"id":"1609.01152","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2016-09-05T13:37:03Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"89f8dfa79b35cc9958230cac60da8891a6b8626377e2ed4dd1a91e39a16c3737","abstract_canon_sha256":"64e77a8211535e6d4bf9142d60c601e26396bec0f7cfbb2cc8e86314dd26065a"},"schema_version":"1.0"},"canonical_sha256":"a7551576340659768d8fa3694312aa4e08bb88c5f3d8736661ac7ee0b1be6dff","source":{"kind":"arxiv","id":"1609.01152","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.01152","created_at":"2026-05-17T23:49:53Z"},{"alias_kind":"arxiv_version","alias_value":"1609.01152v2","created_at":"2026-05-17T23:49:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.01152","created_at":"2026-05-17T23:49:53Z"},{"alias_kind":"pith_short_12","alias_value":"U5KRK5RUAZMX","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_16","alias_value":"U5KRK5RUAZMXNDMP","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_8","alias_value":"U5KRK5RU","created_at":"2026-05-18T12:30:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:U5KRK5RUAZMXNDMPUNUUGEVKJY","target":"record","payload":{"canonical_record":{"source":{"id":"1609.01152","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2016-09-05T13:37:03Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"89f8dfa79b35cc9958230cac60da8891a6b8626377e2ed4dd1a91e39a16c3737","abstract_canon_sha256":"64e77a8211535e6d4bf9142d60c601e26396bec0f7cfbb2cc8e86314dd26065a"},"schema_version":"1.0"},"canonical_sha256":"a7551576340659768d8fa3694312aa4e08bb88c5f3d8736661ac7ee0b1be6dff","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:49:53.352633Z","signature_b64":"gIjdfFyyhoQePN2tqOPMmEvhq63yYDZ/GNzfkpwbcD/0nPXLvWLRo9iY+kvyOja7l+cDn6RwrcWbKM4wWHmUBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a7551576340659768d8fa3694312aa4e08bb88c5f3d8736661ac7ee0b1be6dff","last_reissued_at":"2026-05-17T23:49:53.352226Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:49:53.352226Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1609.01152","source_version":2,"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-17T23:49:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q3jyu3eseRb3su39o2bjJ4u2+f8S+FUMlisiQbu54TE2fuOzhC03wNoF4Mq12ZrgtdL6bPXUM9dcU+QjNVcsCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T14:07:52.259101Z"},"content_sha256":"87dc0fe05023eeed08645ce498ef1939508a74af63045783f924dbe139e5f849","schema_version":"1.0","event_id":"sha256:87dc0fe05023eeed08645ce498ef1939508a74af63045783f924dbe139e5f849"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:U5KRK5RUAZMXNDMPUNUUGEVKJY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Well-Posedness and Output Regulation for Implicit Time-Varying Evolution Variational Inequalities","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"math.DS","authors_text":"Aneel Tanwani, Bernard Brogliato, Christophe Prieur","submitted_at":"2016-09-05T13:37:03Z","abstract_excerpt":"A class of evolution variational inequalities (EVIs), which comprises ordinary differential equations (ODEs) coupled with variational inequalities (VIs) associated with time-varying set-valued mappings, is proposed in this paper. We first study the conditions for existence and uniqueness of solutions. The central idea behind the proof is to rewrite the system dynamics as a differential inclusion which can be decomposed into a single-valued Lipschitz map, and a time-dependent maximal monotone operator. Regularity assumptions on the set-valued mapping determine the regularity of the resulting so"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.01152","kind":"arxiv","version":2},"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-17T23:49:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8j27M1+mye6+PyLIx5122L8QgRTw8E5u6lG6C3HDcMJsXKwbr7ITfp/SRBDbVA8cs7X5uNWaxQwMSVWivNe5Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T14:07:52.259467Z"},"content_sha256":"5c0ff7c480654c6a521045f5a6c1a24d586fddf3d6394ac6d8bba5311a62a977","schema_version":"1.0","event_id":"sha256:5c0ff7c480654c6a521045f5a6c1a24d586fddf3d6394ac6d8bba5311a62a977"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/U5KRK5RUAZMXNDMPUNUUGEVKJY/bundle.json","state_url":"https://pith.science/pith/U5KRK5RUAZMXNDMPUNUUGEVKJY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/U5KRK5RUAZMXNDMPUNUUGEVKJY/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-27T14:07:52Z","links":{"resolver":"https://pith.science/pith/U5KRK5RUAZMXNDMPUNUUGEVKJY","bundle":"https://pith.science/pith/U5KRK5RUAZMXNDMPUNUUGEVKJY/bundle.json","state":"https://pith.science/pith/U5KRK5RUAZMXNDMPUNUUGEVKJY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/U5KRK5RUAZMXNDMPUNUUGEVKJY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:U5KRK5RUAZMXNDMPUNUUGEVKJY","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":"64e77a8211535e6d4bf9142d60c601e26396bec0f7cfbb2cc8e86314dd26065a","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2016-09-05T13:37:03Z","title_canon_sha256":"89f8dfa79b35cc9958230cac60da8891a6b8626377e2ed4dd1a91e39a16c3737"},"schema_version":"1.0","source":{"id":"1609.01152","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.01152","created_at":"2026-05-17T23:49:53Z"},{"alias_kind":"arxiv_version","alias_value":"1609.01152v2","created_at":"2026-05-17T23:49:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.01152","created_at":"2026-05-17T23:49:53Z"},{"alias_kind":"pith_short_12","alias_value":"U5KRK5RUAZMX","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_16","alias_value":"U5KRK5RUAZMXNDMP","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_8","alias_value":"U5KRK5RU","created_at":"2026-05-18T12:30:46Z"}],"graph_snapshots":[{"event_id":"sha256:5c0ff7c480654c6a521045f5a6c1a24d586fddf3d6394ac6d8bba5311a62a977","target":"graph","created_at":"2026-05-17T23:49:53Z","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":"A class of evolution variational inequalities (EVIs), which comprises ordinary differential equations (ODEs) coupled with variational inequalities (VIs) associated with time-varying set-valued mappings, is proposed in this paper. We first study the conditions for existence and uniqueness of solutions. The central idea behind the proof is to rewrite the system dynamics as a differential inclusion which can be decomposed into a single-valued Lipschitz map, and a time-dependent maximal monotone operator. Regularity assumptions on the set-valued mapping determine the regularity of the resulting so","authors_text":"Aneel Tanwani, Bernard Brogliato, Christophe Prieur","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2016-09-05T13:37:03Z","title":"Well-Posedness and Output Regulation for Implicit Time-Varying Evolution Variational Inequalities"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.01152","kind":"arxiv","version":2},"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:87dc0fe05023eeed08645ce498ef1939508a74af63045783f924dbe139e5f849","target":"record","created_at":"2026-05-17T23:49:53Z","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":"64e77a8211535e6d4bf9142d60c601e26396bec0f7cfbb2cc8e86314dd26065a","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2016-09-05T13:37:03Z","title_canon_sha256":"89f8dfa79b35cc9958230cac60da8891a6b8626377e2ed4dd1a91e39a16c3737"},"schema_version":"1.0","source":{"id":"1609.01152","kind":"arxiv","version":2}},"canonical_sha256":"a7551576340659768d8fa3694312aa4e08bb88c5f3d8736661ac7ee0b1be6dff","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a7551576340659768d8fa3694312aa4e08bb88c5f3d8736661ac7ee0b1be6dff","first_computed_at":"2026-05-17T23:49:53.352226Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:49:53.352226Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gIjdfFyyhoQePN2tqOPMmEvhq63yYDZ/GNzfkpwbcD/0nPXLvWLRo9iY+kvyOja7l+cDn6RwrcWbKM4wWHmUBg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:49:53.352633Z","signed_message":"canonical_sha256_bytes"},"source_id":"1609.01152","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:87dc0fe05023eeed08645ce498ef1939508a74af63045783f924dbe139e5f849","sha256:5c0ff7c480654c6a521045f5a6c1a24d586fddf3d6394ac6d8bba5311a62a977"],"state_sha256":"164e403ba2b585c27f52c3b1a07b8cecf4c59df4faee1f90ef1bb033a5edbc1b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AKo90iHX2g8dO56MTCBevYg1SMpIDE7VbL/abhnSvH3l1RzztAe3HqUHAlsWGiLz+qEmlDcyC7HcAX53tUpYDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T14:07:52.261418Z","bundle_sha256":"6eb168a7b00fd46d6a2ddc419fe942c384502f1b8fc2c9ac883db8bced0cde84"}}