{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:PMMRXGBPZCL2VGQMF5MFVZVM7H","short_pith_number":"pith:PMMRXGBP","schema_version":"1.0","canonical_sha256":"7b191b982fc897aa9a0c2f585ae6acf9c1eed0d30d884c8aa503205851d05981","source":{"kind":"arxiv","id":"2411.16479","version":1},"attestation_state":"computed","paper":{"title":"Safety-Critical Controller Synthesis with Reduced-Order Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO","cs.SY"],"primary_cat":"eess.SY","authors_text":"Aaron D. Ames, Max H. Cohen, Noel Csomay-Shanklin, Tamas G. Molnar, William D. Compton","submitted_at":"2024-11-25T15:21:02Z","abstract_excerpt":"Reduced-order models (ROMs) provide lower dimensional representations of complex systems, capturing their salient features while simplifying control design. Building on previous work, this paper presents an overarching framework for the integration of ROMs and control barrier functions, enabling the use of simplified models to construct safety-critical controllers while providing safety guarantees for complex full-order models. To achieve this, we formalize the connection between full and ROMs by defining projection mappings that relate the states and inputs of these models and leverage simula"},"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":"2411.16479","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2024-11-25T15:21:02Z","cross_cats_sorted":["cs.RO","cs.SY"],"title_canon_sha256":"1300851194cc9ac7bd3a7f6b23a38b93d3c1169ed2450c71e17a151d5b84d10c","abstract_canon_sha256":"36c29c528b4c1b7e3963fc07d42b0ae5a91809ce0739a5648a8a0b6d1bc2eda5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:40:10.054493Z","signature_b64":"T5yRVcA/xo7vWfPOrNSlYkYkKNkHQJHXTfXnpc4zqx6N+OKmnWX8hKET+hCA+md4ZaDW0bTDL/Craw5vzGMkAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7b191b982fc897aa9a0c2f585ae6acf9c1eed0d30d884c8aa503205851d05981","last_reissued_at":"2026-07-05T09:40:10.054050Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:40:10.054050Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Safety-Critical Controller Synthesis with Reduced-Order Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO","cs.SY"],"primary_cat":"eess.SY","authors_text":"Aaron D. Ames, Max H. Cohen, Noel Csomay-Shanklin, Tamas G. Molnar, William D. Compton","submitted_at":"2024-11-25T15:21:02Z","abstract_excerpt":"Reduced-order models (ROMs) provide lower dimensional representations of complex systems, capturing their salient features while simplifying control design. Building on previous work, this paper presents an overarching framework for the integration of ROMs and control barrier functions, enabling the use of simplified models to construct safety-critical controllers while providing safety guarantees for complex full-order models. To achieve this, we formalize the connection between full and ROMs by defining projection mappings that relate the states and inputs of these models and leverage simula"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.16479","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/2411.16479/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":"2411.16479","created_at":"2026-07-05T09:40:10.054110+00:00"},{"alias_kind":"arxiv_version","alias_value":"2411.16479v1","created_at":"2026-07-05T09:40:10.054110+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.16479","created_at":"2026-07-05T09:40:10.054110+00:00"},{"alias_kind":"pith_short_12","alias_value":"PMMRXGBPZCL2","created_at":"2026-07-05T09:40:10.054110+00:00"},{"alias_kind":"pith_short_16","alias_value":"PMMRXGBPZCL2VGQM","created_at":"2026-07-05T09:40:10.054110+00:00"},{"alias_kind":"pith_short_8","alias_value":"PMMRXGBP","created_at":"2026-07-05T09:40:10.054110+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2510.01147","citing_title":"Safety-Critical Control via Recurrent Tracking Functions","ref_index":10,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/PMMRXGBPZCL2VGQMF5MFVZVM7H","json":"https://pith.science/pith/PMMRXGBPZCL2VGQMF5MFVZVM7H.json","graph_json":"https://pith.science/api/pith-number/PMMRXGBPZCL2VGQMF5MFVZVM7H/graph.json","events_json":"https://pith.science/api/pith-number/PMMRXGBPZCL2VGQMF5MFVZVM7H/events.json","paper":"https://pith.science/paper/PMMRXGBP"},"agent_actions":{"view_html":"https://pith.science/pith/PMMRXGBPZCL2VGQMF5MFVZVM7H","download_json":"https://pith.science/pith/PMMRXGBPZCL2VGQMF5MFVZVM7H.json","view_paper":"https://pith.science/paper/PMMRXGBP","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2411.16479&json=true","fetch_graph":"https://pith.science/api/pith-number/PMMRXGBPZCL2VGQMF5MFVZVM7H/graph.json","fetch_events":"https://pith.science/api/pith-number/PMMRXGBPZCL2VGQMF5MFVZVM7H/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PMMRXGBPZCL2VGQMF5MFVZVM7H/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PMMRXGBPZCL2VGQMF5MFVZVM7H/action/storage_attestation","attest_author":"https://pith.science/pith/PMMRXGBPZCL2VGQMF5MFVZVM7H/action/author_attestation","sign_citation":"https://pith.science/pith/PMMRXGBPZCL2VGQMF5MFVZVM7H/action/citation_signature","submit_replication":"https://pith.science/pith/PMMRXGBPZCL2VGQMF5MFVZVM7H/action/replication_record"}},"created_at":"2026-07-05T09:40:10.054110+00:00","updated_at":"2026-07-05T09:40:10.054110+00:00"}