{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:PONCASB5L357ZQ4MK6ACYFSXAM","short_pith_number":"pith:PONCASB5","schema_version":"1.0","canonical_sha256":"7b9a20483d5efbfcc38c57802c16570322e10443bd40d00a483ad86f67cfbf21","source":{"kind":"arxiv","id":"1503.04928","version":1},"attestation_state":"computed","paper":{"title":"Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.LO","authors_text":"Ashutosh Trivedi, Shankara Narayanan Krishna","submitted_at":"2015-03-17T05:57:49Z","abstract_excerpt":"The presence of a tight integration between the discrete control (the \"cyber\") and the analog environment (the \"physical\")---via sensors and actuators over wired or wireless communication networks---is the defining feature of cyber-physical systems. Hence, the functional correctness of a cyber- physical system is crucially dependent not only on the dynamics of the analog physical environment, but also on the decisions taken by the discrete control that alter the dynamics of the environment. The framework of Hybrid automata---introduced by Alur, Courcoubetis, Henzinger, and Ho---provides a form"},"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":"1503.04928","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-03-17T05:57:49Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"00c0f1ab656b98045a21f6fb8faab2d8955e6bf475174ba33fbdac33c48830df","abstract_canon_sha256":"043e0a8bb947098093f83a6368c818b5f745195bd35b91ba674e5ab2aec6ca0f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:22:21.090832Z","signature_b64":"kzSUFN2LkkBqiz7O5/suNfvGPx57cR/SotajIv6jLcWAUPhq5sRlA3s7z43VawDnIuKjx6eAUubqODB8lPUCBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7b9a20483d5efbfcc38c57802c16570322e10443bd40d00a483ad86f67cfbf21","last_reissued_at":"2026-05-18T02:22:21.090369Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:22:21.090369Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.LO","authors_text":"Ashutosh Trivedi, Shankara Narayanan Krishna","submitted_at":"2015-03-17T05:57:49Z","abstract_excerpt":"The presence of a tight integration between the discrete control (the \"cyber\") and the analog environment (the \"physical\")---via sensors and actuators over wired or wireless communication networks---is the defining feature of cyber-physical systems. Hence, the functional correctness of a cyber- physical system is crucially dependent not only on the dynamics of the analog physical environment, but also on the decisions taken by the discrete control that alter the dynamics of the environment. The framework of Hybrid automata---introduced by Alur, Courcoubetis, Henzinger, and Ho---provides a form"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.04928","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":""},"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":"1503.04928","created_at":"2026-05-18T02:22:21.090442+00:00"},{"alias_kind":"arxiv_version","alias_value":"1503.04928v1","created_at":"2026-05-18T02:22:21.090442+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.04928","created_at":"2026-05-18T02:22:21.090442+00:00"},{"alias_kind":"pith_short_12","alias_value":"PONCASB5L357","created_at":"2026-05-18T12:29:37.295048+00:00"},{"alias_kind":"pith_short_16","alias_value":"PONCASB5L357ZQ4M","created_at":"2026-05-18T12:29:37.295048+00:00"},{"alias_kind":"pith_short_8","alias_value":"PONCASB5","created_at":"2026-05-18T12:29:37.295048+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/PONCASB5L357ZQ4MK6ACYFSXAM","json":"https://pith.science/pith/PONCASB5L357ZQ4MK6ACYFSXAM.json","graph_json":"https://pith.science/api/pith-number/PONCASB5L357ZQ4MK6ACYFSXAM/graph.json","events_json":"https://pith.science/api/pith-number/PONCASB5L357ZQ4MK6ACYFSXAM/events.json","paper":"https://pith.science/paper/PONCASB5"},"agent_actions":{"view_html":"https://pith.science/pith/PONCASB5L357ZQ4MK6ACYFSXAM","download_json":"https://pith.science/pith/PONCASB5L357ZQ4MK6ACYFSXAM.json","view_paper":"https://pith.science/paper/PONCASB5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1503.04928&json=true","fetch_graph":"https://pith.science/api/pith-number/PONCASB5L357ZQ4MK6ACYFSXAM/graph.json","fetch_events":"https://pith.science/api/pith-number/PONCASB5L357ZQ4MK6ACYFSXAM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PONCASB5L357ZQ4MK6ACYFSXAM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PONCASB5L357ZQ4MK6ACYFSXAM/action/storage_attestation","attest_author":"https://pith.science/pith/PONCASB5L357ZQ4MK6ACYFSXAM/action/author_attestation","sign_citation":"https://pith.science/pith/PONCASB5L357ZQ4MK6ACYFSXAM/action/citation_signature","submit_replication":"https://pith.science/pith/PONCASB5L357ZQ4MK6ACYFSXAM/action/replication_record"}},"created_at":"2026-05-18T02:22:21.090442+00:00","updated_at":"2026-05-18T02:22:21.090442+00:00"}