{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:RR7LVFXBJ44NTQB3EYXP6OSEJM","short_pith_number":"pith:RR7LVFXB","schema_version":"1.0","canonical_sha256":"8c7eba96e14f38d9c03b262eff3a444b2272d3037c97fcee67440a76c7e52901","source":{"kind":"arxiv","id":"2211.08031","version":1},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2211.08031","created_at":"2026-07-05T05:16:09.139298+00:00"},{"alias_kind":"arxiv_version","alias_value":"2211.08031v1","created_at":"2026-07-05T05:16:09.139298+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2211.08031","created_at":"2026-07-05T05:16:09.139298+00:00"},{"alias_kind":"pith_short_12","alias_value":"RR7LVFXBJ44N","created_at":"2026-07-05T05:16:09.139298+00:00"},{"alias_kind":"pith_short_16","alias_value":"RR7LVFXBJ44NTQB3","created_at":"2026-07-05T05:16:09.139298+00:00"},{"alias_kind":"pith_short_8","alias_value":"RR7LVFXB","created_at":"2026-07-05T05:16:09.139298+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2605.12651","citing_title":"Runtime Monitoring of Perception-Based Autonomous Systems via Embedding Temporal Logic","ref_index":107,"is_internal_anchor":false},{"citing_arxiv_id":"2605.12651","citing_title":"Runtime Monitoring of Perception-Based Autonomous Systems via Embedding Temporal Logic","ref_index":107,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/RR7LVFXBJ44NTQB3EYXP6OSEJM","json":"https://pith.science/pith/RR7LVFXBJ44NTQB3EYXP6OSEJM.json","graph_json":"https://pith.science/api/pith-number/RR7LVFXBJ44NTQB3EYXP6OSEJM/graph.json","events_json":"https://pith.science/api/pith-number/RR7LVFXBJ44NTQB3EYXP6OSEJM/events.json","paper":"https://pith.science/paper/RR7LVFXB"},"agent_actions":{"view_html":"https://pith.science/pith/RR7LVFXBJ44NTQB3EYXP6OSEJM","download_json":"https://pith.science/pith/RR7LVFXBJ44NTQB3EYXP6OSEJM.json","view_paper":"https://pith.science/paper/RR7LVFXB","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2211.08031&json=true","fetch_graph":"https://pith.science/api/pith-number/RR7LVFXBJ44NTQB3EYXP6OSEJM/graph.json","fetch_events":"https://pith.science/api/pith-number/RR7LVFXBJ44NTQB3EYXP6OSEJM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RR7LVFXBJ44NTQB3EYXP6OSEJM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RR7LVFXBJ44NTQB3EYXP6OSEJM/action/storage_attestation","attest_author":"https://pith.science/pith/RR7LVFXBJ44NTQB3EYXP6OSEJM/action/author_attestation","sign_citation":"https://pith.science/pith/RR7LVFXBJ44NTQB3EYXP6OSEJM/action/citation_signature","submit_replication":"https://pith.science/pith/RR7LVFXBJ44NTQB3EYXP6OSEJM/action/replication_record"}},"created_at":"2026-07-05T05:16:09.139298+00:00","updated_at":"2026-07-05T05:16:09.139298+00:00"}