{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:GFT2VXMJWD7ZMENBAU5OTA3DPP","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":"246fb53449a3ea6fe1ae1fa7d17c8463588db539f3d15d733e71436b25d003c5","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-10-14T22:24:00Z","title_canon_sha256":"489d28858685c2d47f499943b64a3767ea047b67725032b26d1a560a891a98ae"},"schema_version":"1.0","source":{"id":"1510.04336","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1510.04336","created_at":"2026-05-18T01:30:07Z"},{"alias_kind":"arxiv_version","alias_value":"1510.04336v1","created_at":"2026-05-18T01:30:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.04336","created_at":"2026-05-18T01:30:07Z"},{"alias_kind":"pith_short_12","alias_value":"GFT2VXMJWD7Z","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_16","alias_value":"GFT2VXMJWD7ZMENB","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_8","alias_value":"GFT2VXMJ","created_at":"2026-05-18T12:29:22Z"}],"graph_snapshots":[{"event_id":"sha256:65e4bec834c371056c094975636b9cc9bf6fc4f40458545cce2471eb27524f2e","target":"graph","created_at":"2026-05-18T01:30:07Z","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"},"paper":{"abstract_excerpt":"Hybrid systems are discrete controllers that are used for controlling a physical process (plant) exhibiting continuous dynamics. A hybrid automata (HA) is a well known and widely used formal model for the specification of such systems. While many methods exist for simulating hybrid automata, there are no known approaches for the automatic code generation from HA that are semantic preserving. If this were feasible, it would enable the design of a plant-on-a-chip (PoC) system that could be used for the emulation of the plant to validate discrete controllers. Such an approach would need to be mat","authors_text":"Avinash Malik, Eugene Yip, Mark Trew, Partha S Roop, Sidharta Andalam","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-10-14T22:24:00Z","title":"A synchronous rendering of hybrid systems for designing Plant-on-a-Chip (PoC)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.04336","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:49c74538f93f05ac252a6382785b1287560872bfd4ceaaec42ad9175f0838f7a","target":"record","created_at":"2026-05-18T01:30:07Z","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":"246fb53449a3ea6fe1ae1fa7d17c8463588db539f3d15d733e71436b25d003c5","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-10-14T22:24:00Z","title_canon_sha256":"489d28858685c2d47f499943b64a3767ea047b67725032b26d1a560a891a98ae"},"schema_version":"1.0","source":{"id":"1510.04336","kind":"arxiv","version":1}},"canonical_sha256":"3167aadd89b0ff9611a1053ae983637bce18aeea6fd7c6c256731be94ed1b907","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3167aadd89b0ff9611a1053ae983637bce18aeea6fd7c6c256731be94ed1b907","first_computed_at":"2026-05-18T01:30:07.461963Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:30:07.461963Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OfR/ELqj1iPS/+wSe+p/+3nzQPoq8ZFe1vaTZxxIyuI3f00WZuoe32bMo8sZ6F6wa85BDb1MOgxAk6iuUt14AQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:30:07.462427Z","signed_message":"canonical_sha256_bytes"},"source_id":"1510.04336","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:49c74538f93f05ac252a6382785b1287560872bfd4ceaaec42ad9175f0838f7a","sha256:65e4bec834c371056c094975636b9cc9bf6fc4f40458545cce2471eb27524f2e"],"state_sha256":"49f560762c31b4a76444d371276d3b5808d407e336db1c59b10e47822c95306a"}