{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:5YY6GCEFMBW3K7VGU7VNUS6MGR","short_pith_number":"pith:5YY6GCEF","schema_version":"1.0","canonical_sha256":"ee31e30885606db57ea6a7eada4bcc346969fc59bc0b46f5de6dd86e594dace3","source":{"kind":"arxiv","id":"2606.30829","version":1},"attestation_state":"computed","paper":{"title":"Joint Chance Constrained Safe-Optimal Control","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"math.OC","authors_text":"Jared Miller, John Lygeros, Marta Fochesato, Niklas Schmid, Tobias Sutter, Tristan Zeller","submitted_at":"2026-06-29T19:00:01Z","abstract_excerpt":"We consider the finite-time optimal control of stochastic systems subject to a probabilistic constraint on the trajectories' safety. Such formulations are known as joint chance constrained optimal control problems. The common practice is to jointly minimise the expected cost of all trajectories, safe and unsafe. This leads to policies which invite constraint violations to exploit low-cost unsafe trajectories. When constraints represent states of critical failure, such behaviour is undesirable. We demonstrate that this behaviour can be overcome by only minimizing the expected cost of safe traje"},"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":"2606.30829","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2026-06-29T19:00:01Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"14aea4c8e9b6c2d5c9f76c75b9dc88e86b5eec9ee6d01e9697f7dbe6fdc10692","abstract_canon_sha256":"7d87dca04cd06c40900c2b4809dba26ac9343006a7307cbe63ef4c77accd3127"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-01T00:17:18.644411Z","signature_b64":"0ZQE+Jgx+Q1XgVqApjGnMdYET8nzZO6vfDQzezfvuDqLixrDPDmb9xHo7udgeMC3crUg4xeilEuRkLhFYKxDCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ee31e30885606db57ea6a7eada4bcc346969fc59bc0b46f5de6dd86e594dace3","last_reissued_at":"2026-07-01T00:17:18.643936Z","signature_status":"signed_v1","first_computed_at":"2026-07-01T00:17:18.643936Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Joint Chance Constrained Safe-Optimal Control","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"math.OC","authors_text":"Jared Miller, John Lygeros, Marta Fochesato, Niklas Schmid, Tobias Sutter, Tristan Zeller","submitted_at":"2026-06-29T19:00:01Z","abstract_excerpt":"We consider the finite-time optimal control of stochastic systems subject to a probabilistic constraint on the trajectories' safety. Such formulations are known as joint chance constrained optimal control problems. The common practice is to jointly minimise the expected cost of all trajectories, safe and unsafe. This leads to policies which invite constraint violations to exploit low-cost unsafe trajectories. When constraints represent states of critical failure, such behaviour is undesirable. We demonstrate that this behaviour can be overcome by only minimizing the expected cost of safe traje"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.30829","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/2606.30829/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":"2606.30829","created_at":"2026-07-01T00:17:18.644008+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.30829v1","created_at":"2026-07-01T00:17:18.644008+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.30829","created_at":"2026-07-01T00:17:18.644008+00:00"},{"alias_kind":"pith_short_12","alias_value":"5YY6GCEFMBW3","created_at":"2026-07-01T00:17:18.644008+00:00"},{"alias_kind":"pith_short_16","alias_value":"5YY6GCEFMBW3K7VG","created_at":"2026-07-01T00:17:18.644008+00:00"},{"alias_kind":"pith_short_8","alias_value":"5YY6GCEF","created_at":"2026-07-01T00:17:18.644008+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/5YY6GCEFMBW3K7VGU7VNUS6MGR","json":"https://pith.science/pith/5YY6GCEFMBW3K7VGU7VNUS6MGR.json","graph_json":"https://pith.science/api/pith-number/5YY6GCEFMBW3K7VGU7VNUS6MGR/graph.json","events_json":"https://pith.science/api/pith-number/5YY6GCEFMBW3K7VGU7VNUS6MGR/events.json","paper":"https://pith.science/paper/5YY6GCEF"},"agent_actions":{"view_html":"https://pith.science/pith/5YY6GCEFMBW3K7VGU7VNUS6MGR","download_json":"https://pith.science/pith/5YY6GCEFMBW3K7VGU7VNUS6MGR.json","view_paper":"https://pith.science/paper/5YY6GCEF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.30829&json=true","fetch_graph":"https://pith.science/api/pith-number/5YY6GCEFMBW3K7VGU7VNUS6MGR/graph.json","fetch_events":"https://pith.science/api/pith-number/5YY6GCEFMBW3K7VGU7VNUS6MGR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/5YY6GCEFMBW3K7VGU7VNUS6MGR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/5YY6GCEFMBW3K7VGU7VNUS6MGR/action/storage_attestation","attest_author":"https://pith.science/pith/5YY6GCEFMBW3K7VGU7VNUS6MGR/action/author_attestation","sign_citation":"https://pith.science/pith/5YY6GCEFMBW3K7VGU7VNUS6MGR/action/citation_signature","submit_replication":"https://pith.science/pith/5YY6GCEFMBW3K7VGU7VNUS6MGR/action/replication_record"}},"created_at":"2026-07-01T00:17:18.644008+00:00","updated_at":"2026-07-01T00:17:18.644008+00:00"}