{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:SPQCH4NQT7BHA5PWXTWWYE6FF4","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":"31bdc231302e87206e47a8f9b80ad024207c16fd34b1adcf405e5ea8b78b5c86","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-10-14T11:27:58Z","title_canon_sha256":"1801ae0b678db95e795cae50319f2693a9898e15f8949583e055f09b573f18b6"},"schema_version":"1.0","source":{"id":"2410.10391","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.10391","created_at":"2026-07-05T09:20:15Z"},{"alias_kind":"arxiv_version","alias_value":"2410.10391v1","created_at":"2026-07-05T09:20:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.10391","created_at":"2026-07-05T09:20:15Z"},{"alias_kind":"pith_short_12","alias_value":"SPQCH4NQT7BH","created_at":"2026-07-05T09:20:15Z"},{"alias_kind":"pith_short_16","alias_value":"SPQCH4NQT7BHA5PW","created_at":"2026-07-05T09:20:15Z"},{"alias_kind":"pith_short_8","alias_value":"SPQCH4NQ","created_at":"2026-07-05T09:20:15Z"}],"graph_snapshots":[{"event_id":"sha256:f6dade4cb6f98a81a46b9dda58edf207dae353bcdd024e9e26d873ffda4b2e09","target":"graph","created_at":"2026-07-05T09:20:15Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2410.10391/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Formal verification of robotic tasks requires a simple yet conformant model of the used robot. We present the first work on generating reachset conformant models for robotic contact tasks considering hybrid (mixed continuous and discrete) dynamics. Reachset conformance requires that the set of reachable outputs of the abstract model encloses all previous measurements to transfer safety properties. Aiming for industrial applications, we describe the system using a simple hybrid automaton with linear dynamics. We inject non-determinism into the continuous dynamics and the discrete transitions, a","authors_text":"Chencheng Tang, Matthias Althoff","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-10-14T11:27:58Z","title":"Efficiently Obtaining Reachset Conformance for the Formal Analysis of Robotic Contact Tasks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.10391","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:b0915bfd3ca59d33732ff2e5eaa0ddd16973564bc5e75148ca53917648c1968f","target":"record","created_at":"2026-07-05T09:20:15Z","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":"31bdc231302e87206e47a8f9b80ad024207c16fd34b1adcf405e5ea8b78b5c86","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-10-14T11:27:58Z","title_canon_sha256":"1801ae0b678db95e795cae50319f2693a9898e15f8949583e055f09b573f18b6"},"schema_version":"1.0","source":{"id":"2410.10391","kind":"arxiv","version":1}},"canonical_sha256":"93e023f1b09fc27075f6bced6c13c52f36fcbecc8976f55144591aacd86b2bed","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"93e023f1b09fc27075f6bced6c13c52f36fcbecc8976f55144591aacd86b2bed","first_computed_at":"2026-07-05T09:20:15.491694Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:20:15.491694Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NMzH1+9wF1xTG6Cz3PCntlqw/AqJBea/KWT91rqRLler0wKucKB7eWIo8BZiUekhBmiEOMkDcc0ZSmWIwt/zBw==","signature_status":"signed_v1","signed_at":"2026-07-05T09:20:15.492101Z","signed_message":"canonical_sha256_bytes"},"source_id":"2410.10391","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b0915bfd3ca59d33732ff2e5eaa0ddd16973564bc5e75148ca53917648c1968f","sha256:f6dade4cb6f98a81a46b9dda58edf207dae353bcdd024e9e26d873ffda4b2e09"],"state_sha256":"23982c81b0a6b03872ee02a39df38165009dfd6991c9574f6203871703ccee42"}