{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:GI4VCE6NDT3Z5W2DXEQKSSFZNF","short_pith_number":"pith:GI4VCE6N","schema_version":"1.0","canonical_sha256":"32395113cd1cf79edb43b920a948b9697c5cab422f46713bbc016765bae55830","source":{"kind":"arxiv","id":"2104.05305","version":1},"attestation_state":"computed","paper":{"title":"A Hierarchical State-Machine-Based Framework for Platoon Manoeuvre Descriptions","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.CL","cs.SY","eess.SY"],"primary_cat":"cs.MA","authors_text":"Alberto Sangiovanni-Vincentelli, Alois Knoll, Corvin Deboeser, David Eckhoff, Jordan Ivanchev, Thomas Braud","submitted_at":"2021-04-12T09:25:35Z","abstract_excerpt":"This paper introduces the SEAD framework that simplifies the process of designing and describing autonomous vehicle platooning manoeuvres. Although a large body of research has been formulating platooning manoeuvres, it is still challenging to design, describe, read, and understand them. This difficulty largely arises from missing formalisation. To fill this gap, we analysed existing ways of describing manoeuvres, derived the causes of difficulty, and designed a framework that simplifies the manoeuvre design process. Alongside, a Manoeuvre Design Language was developed to structurally describe"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2104.05305","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.MA","submitted_at":"2021-04-12T09:25:35Z","cross_cats_sorted":["cs.CL","cs.SY","eess.SY"],"title_canon_sha256":"f149b3364371580dcd694fcb0c287453ab141067efa8fb96e697e022342940ae","abstract_canon_sha256":"39dd7785547f1bb9725d898cdd91487d5fb38191fc9e0cadace75a63bf0abe3b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:31:10.921561Z","signature_b64":"DpAyCc8JynVzKreFjwAolGa8cPN+dB72iIRBCsaDJKMto3NcqHIPaCxrO1KewqprQFybZtlToTPlNgx4pYzZBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"32395113cd1cf79edb43b920a948b9697c5cab422f46713bbc016765bae55830","last_reissued_at":"2026-07-05T02:31:10.921135Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:31:10.921135Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Hierarchical State-Machine-Based Framework for Platoon Manoeuvre Descriptions","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.CL","cs.SY","eess.SY"],"primary_cat":"cs.MA","authors_text":"Alberto Sangiovanni-Vincentelli, Alois Knoll, Corvin Deboeser, David Eckhoff, Jordan Ivanchev, Thomas Braud","submitted_at":"2021-04-12T09:25:35Z","abstract_excerpt":"This paper introduces the SEAD framework that simplifies the process of designing and describing autonomous vehicle platooning manoeuvres. Although a large body of research has been formulating platooning manoeuvres, it is still challenging to design, describe, read, and understand them. This difficulty largely arises from missing formalisation. To fill this gap, we analysed existing ways of describing manoeuvres, derived the causes of difficulty, and designed a framework that simplifies the manoeuvre design process. Alongside, a Manoeuvre Design Language was developed to structurally describe"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2104.05305","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2104.05305/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2104.05305","created_at":"2026-07-05T02:31:10.921195+00:00"},{"alias_kind":"arxiv_version","alias_value":"2104.05305v1","created_at":"2026-07-05T02:31:10.921195+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2104.05305","created_at":"2026-07-05T02:31:10.921195+00:00"},{"alias_kind":"pith_short_12","alias_value":"GI4VCE6NDT3Z","created_at":"2026-07-05T02:31:10.921195+00:00"},{"alias_kind":"pith_short_16","alias_value":"GI4VCE6NDT3Z5W2D","created_at":"2026-07-05T02:31:10.921195+00:00"},{"alias_kind":"pith_short_8","alias_value":"GI4VCE6N","created_at":"2026-07-05T02:31:10.921195+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/GI4VCE6NDT3Z5W2DXEQKSSFZNF","json":"https://pith.science/pith/GI4VCE6NDT3Z5W2DXEQKSSFZNF.json","graph_json":"https://pith.science/api/pith-number/GI4VCE6NDT3Z5W2DXEQKSSFZNF/graph.json","events_json":"https://pith.science/api/pith-number/GI4VCE6NDT3Z5W2DXEQKSSFZNF/events.json","paper":"https://pith.science/paper/GI4VCE6N"},"agent_actions":{"view_html":"https://pith.science/pith/GI4VCE6NDT3Z5W2DXEQKSSFZNF","download_json":"https://pith.science/pith/GI4VCE6NDT3Z5W2DXEQKSSFZNF.json","view_paper":"https://pith.science/paper/GI4VCE6N","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2104.05305&json=true","fetch_graph":"https://pith.science/api/pith-number/GI4VCE6NDT3Z5W2DXEQKSSFZNF/graph.json","fetch_events":"https://pith.science/api/pith-number/GI4VCE6NDT3Z5W2DXEQKSSFZNF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/GI4VCE6NDT3Z5W2DXEQKSSFZNF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/GI4VCE6NDT3Z5W2DXEQKSSFZNF/action/storage_attestation","attest_author":"https://pith.science/pith/GI4VCE6NDT3Z5W2DXEQKSSFZNF/action/author_attestation","sign_citation":"https://pith.science/pith/GI4VCE6NDT3Z5W2DXEQKSSFZNF/action/citation_signature","submit_replication":"https://pith.science/pith/GI4VCE6NDT3Z5W2DXEQKSSFZNF/action/replication_record"}},"created_at":"2026-07-05T02:31:10.921195+00:00","updated_at":"2026-07-05T02:31:10.921195+00:00"}