{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:RR7LVFXBJ44NTQB3EYXP6OSEJM","short_pith_number":"pith:RR7LVFXB","canonical_record":{"source":{"id":"2211.08031","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-11-15T10:31:11Z","cross_cats_sorted":["cs.FL","cs.SY"],"title_canon_sha256":"efe36def2edb9c3b12f991e6a1b9909bafc7f30cd6987afcd79eedbc76998d63","abstract_canon_sha256":"d99c12dbce5bbfd86912549680519529fa37c94719361e21e1685e060191315c"},"schema_version":"1.0"},"canonical_sha256":"8c7eba96e14f38d9c03b262eff3a444b2272d3037c97fcee67440a76c7e52901","source":{"kind":"arxiv","id":"2211.08031","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2211.08031","created_at":"2026-07-05T05:16:09Z"},{"alias_kind":"arxiv_version","alias_value":"2211.08031v1","created_at":"2026-07-05T05:16:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2211.08031","created_at":"2026-07-05T05:16:09Z"},{"alias_kind":"pith_short_12","alias_value":"RR7LVFXBJ44N","created_at":"2026-07-05T05:16:09Z"},{"alias_kind":"pith_short_16","alias_value":"RR7LVFXBJ44NTQB3","created_at":"2026-07-05T05:16:09Z"},{"alias_kind":"pith_short_8","alias_value":"RR7LVFXB","created_at":"2026-07-05T05:16:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:RR7LVFXBJ44NTQB3EYXP6OSEJM","target":"record","payload":{"canonical_record":{"source":{"id":"2211.08031","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-11-15T10:31:11Z","cross_cats_sorted":["cs.FL","cs.SY"],"title_canon_sha256":"efe36def2edb9c3b12f991e6a1b9909bafc7f30cd6987afcd79eedbc76998d63","abstract_canon_sha256":"d99c12dbce5bbfd86912549680519529fa37c94719361e21e1685e060191315c"},"schema_version":"1.0"},"canonical_sha256":"8c7eba96e14f38d9c03b262eff3a444b2272d3037c97fcee67440a76c7e52901","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:16:09.139683Z","signature_b64":"ZvP2FdPtHM+XuE2J61uoTW7JZgh6ZdLb+up+10alUyG/5vFhV3bdKlfu7JpbltEmJ5ncEiJ5co8H+6ASfxUYCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8c7eba96e14f38d9c03b262eff3a444b2272d3037c97fcee67440a76c7e52901","last_reissued_at":"2026-07-05T05:16:09.139224Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:16:09.139224Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2211.08031","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-05T05:16:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"L8tF9RP95O5Nk7VW7NP8AUprroUFf0u1bdcNShED6A9sQtaOaaO+8n6yxsgIYZjkV7tq4pSj5na2JI0r3va0Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T06:18:28.798748Z"},"content_sha256":"2a9ad683b6a2c268a87528b7e7e8b3fac4b7a874d8f1dc4ffb54bbf2a7106e13","schema_version":"1.0","event_id":"sha256:2a9ad683b6a2c268a87528b7e7e8b3fac4b7a874d8f1dc4ffb54bbf2a7106e13"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:RR7LVFXBJ44NTQB3EYXP6OSEJM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL","cs.SY"],"primary_cat":"eess.SY","authors_text":"Chuwei Wang, Dingran Yuan, Shaoyuan Li, Xiang Yin, Xinyi Yu","submitted_at":"2022-11-15T10:31:11Z","abstract_excerpt":"In this paper, we investigate the problem of Model Predictive Control (MPC) of dynamic systems for high-level specifications described by Signal Temporal Logic (STL) formulae. Recent works show that MPC has the great potential in handling logical tasks in reactive environments. However, existing approaches suffer from the heavy computational burden, especially for tasks with large horizons. In this work, we propose a computationally more efficient MPC framework for STL tasks based on time interval decomposition. Specifically, we still use the standard shrink horizon MPC framework with Mixed In"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2211.08031","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/2211.08031/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-05T05:16:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Vs3xSrK9/KnPDO5VzABOMQxza7o4qP9USgmAdQqzc0RE6N4oE+qfCJNGrPBG1rRM/Nna/VgrJVrYizYZWZGrAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T06:18:28.799128Z"},"content_sha256":"0cb68c5b6b55e1db7667e7e0224ac6d3a8a88d2690a508e7d3cadc49d87e1c27","schema_version":"1.0","event_id":"sha256:0cb68c5b6b55e1db7667e7e0224ac6d3a8a88d2690a508e7d3cadc49d87e1c27"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RR7LVFXBJ44NTQB3EYXP6OSEJM/bundle.json","state_url":"https://pith.science/pith/RR7LVFXBJ44NTQB3EYXP6OSEJM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RR7LVFXBJ44NTQB3EYXP6OSEJM/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-07T06:18:28Z","links":{"resolver":"https://pith.science/pith/RR7LVFXBJ44NTQB3EYXP6OSEJM","bundle":"https://pith.science/pith/RR7LVFXBJ44NTQB3EYXP6OSEJM/bundle.json","state":"https://pith.science/pith/RR7LVFXBJ44NTQB3EYXP6OSEJM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RR7LVFXBJ44NTQB3EYXP6OSEJM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:RR7LVFXBJ44NTQB3EYXP6OSEJM","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":"d99c12dbce5bbfd86912549680519529fa37c94719361e21e1685e060191315c","cross_cats_sorted":["cs.FL","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-11-15T10:31:11Z","title_canon_sha256":"efe36def2edb9c3b12f991e6a1b9909bafc7f30cd6987afcd79eedbc76998d63"},"schema_version":"1.0","source":{"id":"2211.08031","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2211.08031","created_at":"2026-07-05T05:16:09Z"},{"alias_kind":"arxiv_version","alias_value":"2211.08031v1","created_at":"2026-07-05T05:16:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2211.08031","created_at":"2026-07-05T05:16:09Z"},{"alias_kind":"pith_short_12","alias_value":"RR7LVFXBJ44N","created_at":"2026-07-05T05:16:09Z"},{"alias_kind":"pith_short_16","alias_value":"RR7LVFXBJ44NTQB3","created_at":"2026-07-05T05:16:09Z"},{"alias_kind":"pith_short_8","alias_value":"RR7LVFXB","created_at":"2026-07-05T05:16:09Z"}],"graph_snapshots":[{"event_id":"sha256:0cb68c5b6b55e1db7667e7e0224ac6d3a8a88d2690a508e7d3cadc49d87e1c27","target":"graph","created_at":"2026-07-05T05:16:09Z","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/2211.08031/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper, we investigate the problem of Model Predictive Control (MPC) of dynamic systems for high-level specifications described by Signal Temporal Logic (STL) formulae. Recent works show that MPC has the great potential in handling logical tasks in reactive environments. However, existing approaches suffer from the heavy computational burden, especially for tasks with large horizons. In this work, we propose a computationally more efficient MPC framework for STL tasks based on time interval decomposition. Specifically, we still use the standard shrink horizon MPC framework with Mixed In","authors_text":"Chuwei Wang, Dingran Yuan, Shaoyuan Li, Xiang Yin, Xinyi Yu","cross_cats":["cs.FL","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-11-15T10:31:11Z","title":"Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2211.08031","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:2a9ad683b6a2c268a87528b7e7e8b3fac4b7a874d8f1dc4ffb54bbf2a7106e13","target":"record","created_at":"2026-07-05T05:16:09Z","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":"d99c12dbce5bbfd86912549680519529fa37c94719361e21e1685e060191315c","cross_cats_sorted":["cs.FL","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-11-15T10:31:11Z","title_canon_sha256":"efe36def2edb9c3b12f991e6a1b9909bafc7f30cd6987afcd79eedbc76998d63"},"schema_version":"1.0","source":{"id":"2211.08031","kind":"arxiv","version":1}},"canonical_sha256":"8c7eba96e14f38d9c03b262eff3a444b2272d3037c97fcee67440a76c7e52901","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8c7eba96e14f38d9c03b262eff3a444b2272d3037c97fcee67440a76c7e52901","first_computed_at":"2026-07-05T05:16:09.139224Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:16:09.139224Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZvP2FdPtHM+XuE2J61uoTW7JZgh6ZdLb+up+10alUyG/5vFhV3bdKlfu7JpbltEmJ5ncEiJ5co8H+6ASfxUYCA==","signature_status":"signed_v1","signed_at":"2026-07-05T05:16:09.139683Z","signed_message":"canonical_sha256_bytes"},"source_id":"2211.08031","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2a9ad683b6a2c268a87528b7e7e8b3fac4b7a874d8f1dc4ffb54bbf2a7106e13","sha256:0cb68c5b6b55e1db7667e7e0224ac6d3a8a88d2690a508e7d3cadc49d87e1c27"],"state_sha256":"61075e78036cf81079898aa67f6dd7a20a9306fa24ea2dd730ca6cc5c548e59c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UI3HZMZ9TD43lHR8aj5VGLNB4B6XvQIXXeDoQFziPPvx9ENEICFKW+HiNfHYOjW11tjCrYXB3CULE6XCaeKRAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T06:18:28.801084Z","bundle_sha256":"34c4f4675482c18ac7a807a7ed01e8d8b46ea15723c2e05d55518990141e520c"}}