{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:7DHXQSHVB5ADRXAWRHAEALGUTE","short_pith_number":"pith:7DHXQSHV","canonical_record":{"source":{"id":"2104.02547","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2021-04-06T14:38:42Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"be42dfde0a0fdc46537ad444d3bb8c5ff05ea6634a756cca2a34a353a712441c","abstract_canon_sha256":"4746d524224599734523b97abc78c0931c54c90d6073a39c329be18c81f51f45"},"schema_version":"1.0"},"canonical_sha256":"f8cf7848f50f4038dc1689c0402cd49933fc5ca33cdc4b307028dc40ff4e057d","source":{"kind":"arxiv","id":"2104.02547","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2104.02547","created_at":"2026-07-05T04:09:34Z"},{"alias_kind":"arxiv_version","alias_value":"2104.02547v1","created_at":"2026-07-05T04:09:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2104.02547","created_at":"2026-07-05T04:09:34Z"},{"alias_kind":"pith_short_12","alias_value":"7DHXQSHVB5AD","created_at":"2026-07-05T04:09:34Z"},{"alias_kind":"pith_short_16","alias_value":"7DHXQSHVB5ADRXAW","created_at":"2026-07-05T04:09:34Z"},{"alias_kind":"pith_short_8","alias_value":"7DHXQSHV","created_at":"2026-07-05T04:09:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:7DHXQSHVB5ADRXAWRHAEALGUTE","target":"record","payload":{"canonical_record":{"source":{"id":"2104.02547","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2021-04-06T14:38:42Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"be42dfde0a0fdc46537ad444d3bb8c5ff05ea6634a756cca2a34a353a712441c","abstract_canon_sha256":"4746d524224599734523b97abc78c0931c54c90d6073a39c329be18c81f51f45"},"schema_version":"1.0"},"canonical_sha256":"f8cf7848f50f4038dc1689c0402cd49933fc5ca33cdc4b307028dc40ff4e057d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:09:34.974834Z","signature_b64":"YiA18sU6x395HLqUjPj+dZ10xtA1DGtwxNuVF09RbIhrk8Aj8NOebF1E3UbiU+1k2qEY0jpkFVjXhp01YLZmCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f8cf7848f50f4038dc1689c0402cd49933fc5ca33cdc4b307028dc40ff4e057d","last_reissued_at":"2026-07-05T04:09:34.974385Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:09:34.974385Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2104.02547","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-07-05T04:09:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hW/7GZTs6HQ196/N+envFnuqoXm9X+CzH0oma7e/aeaK1Yi3E01X7IJFgN5jz45PlxPW7XYDr9sB+Ctuc8FgCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T15:01:01.128875Z"},"content_sha256":"6e64c6711396d721cb99198dc6c387eb352207f908e5d28a61b3307d7ff4b5b6","schema_version":"1.0","event_id":"sha256:6e64c6711396d721cb99198dc6c387eb352207f908e5d28a61b3307d7ff4b5b6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:7DHXQSHVB5ADRXAWRHAEALGUTE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Temporal-Logic-Based Intermittent, Optimal, and Safe Continuous-Time Learning for Trajectory Tracking","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Aris Kanellopoulos, Chuangchuang Sun, Filippos Fotiadis, Kyriakos G. Vamvoudakis, Ufuk Topcu, Warren E. Dixon, Zhe Xu","submitted_at":"2021-04-06T14:38:42Z","abstract_excerpt":"In this paper, we develop safe reinforcement-learning-based controllers for systems tasked with accomplishing complex missions that can be expressed as linear temporal logic specifications, similar to those required by search-and-rescue missions. We decompose the original mission into a sequence of tracking sub-problems under safety constraints. We impose the safety conditions by utilizing barrier functions to map the constrained optimal tracking problem in the physical space to an unconstrained one in the transformed space. Furthermore, we develop policies that intermittently update the contr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2104.02547","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.02547/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"},"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-07-05T04:09:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mT+mXQC7VJg3ZHjm98H4naCcfusBVUwVg8BjzGc9fF2sphb3TWyy3v0n8c3d6VjNHlRDDK2S+JkrGst2bQm1Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T15:01:01.130401Z"},"content_sha256":"662634132c386c0f81bb3f96f6725134252b5c19034f0a548b413d5a5162c3c4","schema_version":"1.0","event_id":"sha256:662634132c386c0f81bb3f96f6725134252b5c19034f0a548b413d5a5162c3c4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7DHXQSHVB5ADRXAWRHAEALGUTE/bundle.json","state_url":"https://pith.science/pith/7DHXQSHVB5ADRXAWRHAEALGUTE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7DHXQSHVB5ADRXAWRHAEALGUTE/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-07-05T15:01:01Z","links":{"resolver":"https://pith.science/pith/7DHXQSHVB5ADRXAWRHAEALGUTE","bundle":"https://pith.science/pith/7DHXQSHVB5ADRXAWRHAEALGUTE/bundle.json","state":"https://pith.science/pith/7DHXQSHVB5ADRXAWRHAEALGUTE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7DHXQSHVB5ADRXAWRHAEALGUTE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:7DHXQSHVB5ADRXAWRHAEALGUTE","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":"4746d524224599734523b97abc78c0931c54c90d6073a39c329be18c81f51f45","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2021-04-06T14:38:42Z","title_canon_sha256":"be42dfde0a0fdc46537ad444d3bb8c5ff05ea6634a756cca2a34a353a712441c"},"schema_version":"1.0","source":{"id":"2104.02547","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2104.02547","created_at":"2026-07-05T04:09:34Z"},{"alias_kind":"arxiv_version","alias_value":"2104.02547v1","created_at":"2026-07-05T04:09:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2104.02547","created_at":"2026-07-05T04:09:34Z"},{"alias_kind":"pith_short_12","alias_value":"7DHXQSHVB5AD","created_at":"2026-07-05T04:09:34Z"},{"alias_kind":"pith_short_16","alias_value":"7DHXQSHVB5ADRXAW","created_at":"2026-07-05T04:09:34Z"},{"alias_kind":"pith_short_8","alias_value":"7DHXQSHV","created_at":"2026-07-05T04:09:34Z"}],"graph_snapshots":[{"event_id":"sha256:662634132c386c0f81bb3f96f6725134252b5c19034f0a548b413d5a5162c3c4","target":"graph","created_at":"2026-07-05T04:09:34Z","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/2104.02547/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper, we develop safe reinforcement-learning-based controllers for systems tasked with accomplishing complex missions that can be expressed as linear temporal logic specifications, similar to those required by search-and-rescue missions. We decompose the original mission into a sequence of tracking sub-problems under safety constraints. We impose the safety conditions by utilizing barrier functions to map the constrained optimal tracking problem in the physical space to an unconstrained one in the transformed space. Furthermore, we develop policies that intermittently update the contr","authors_text":"Aris Kanellopoulos, Chuangchuang Sun, Filippos Fotiadis, Kyriakos G. Vamvoudakis, Ufuk Topcu, Warren E. Dixon, Zhe Xu","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2021-04-06T14:38:42Z","title":"Temporal-Logic-Based Intermittent, Optimal, and Safe Continuous-Time Learning for Trajectory Tracking"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2104.02547","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:6e64c6711396d721cb99198dc6c387eb352207f908e5d28a61b3307d7ff4b5b6","target":"record","created_at":"2026-07-05T04:09:34Z","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":"4746d524224599734523b97abc78c0931c54c90d6073a39c329be18c81f51f45","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2021-04-06T14:38:42Z","title_canon_sha256":"be42dfde0a0fdc46537ad444d3bb8c5ff05ea6634a756cca2a34a353a712441c"},"schema_version":"1.0","source":{"id":"2104.02547","kind":"arxiv","version":1}},"canonical_sha256":"f8cf7848f50f4038dc1689c0402cd49933fc5ca33cdc4b307028dc40ff4e057d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f8cf7848f50f4038dc1689c0402cd49933fc5ca33cdc4b307028dc40ff4e057d","first_computed_at":"2026-07-05T04:09:34.974385Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:09:34.974385Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YiA18sU6x395HLqUjPj+dZ10xtA1DGtwxNuVF09RbIhrk8Aj8NOebF1E3UbiU+1k2qEY0jpkFVjXhp01YLZmCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T04:09:34.974834Z","signed_message":"canonical_sha256_bytes"},"source_id":"2104.02547","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6e64c6711396d721cb99198dc6c387eb352207f908e5d28a61b3307d7ff4b5b6","sha256:662634132c386c0f81bb3f96f6725134252b5c19034f0a548b413d5a5162c3c4"],"state_sha256":"cec6b4d219c4bc48f640bbf4119119ada384ce126422fc308e01c7d167c2bf1a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HDv8m0LXxYLigHPB4FoIwybT0RrshuZuDEZbvm1ZBuNieIt2zXWkr+PFZseYw2bclXCSPntQzOcezy5pietOAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-05T15:01:01.134220Z","bundle_sha256":"28cd0b27e6836642d0f11fb671e755287e387310918af31de5a20f43d5be9d34"}}