{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:WNW4L22CHGNXI7AJWBGFDIRCKZ","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":"158230ce37dbf49424c83124100ab4b4b5a926a3eb5c856e05c8c9a93b57dd7d","cross_cats_sorted":["cs.LO","cs.PL","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-06-13T14:01:16Z","title_canon_sha256":"c2c10a9ebe61ac52c2fa24cc2f43ba9cbb1a77bdd0ab6d0b368e0f0edaa4f01a"},"schema_version":"1.0","source":{"id":"1906.05704","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.05704","created_at":"2026-05-17T23:43:24Z"},{"alias_kind":"arxiv_version","alias_value":"1906.05704v1","created_at":"2026-05-17T23:43:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.05704","created_at":"2026-05-17T23:43:24Z"},{"alias_kind":"pith_short_12","alias_value":"WNW4L22CHGNX","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"WNW4L22CHGNXI7AJ","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"WNW4L22C","created_at":"2026-05-18T12:33:30Z"}],"graph_snapshots":[{"event_id":"sha256:2609443afe12c8d49e3b38b8287330e869edc28a42bd94f1668f352472fa4a9f","target":"graph","created_at":"2026-05-17T23:43:24Z","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":"Formal modeling of cyber-physical systems (CPS) is hard, because they pose the double challenge of combined discrete-continuous dynamics and concurrent behavior. Existing formal specification and verification languages for CPS are designed on top of their underlying proof search technology. They lack high-level structuring elements. In addition, they are not efficiently executable. This makes formal CPS models hard to understand and to validate, hence impairs their usability. Instead, we suggest to model CPS in an Active Objects (AO) language designed for concise, intuitive modeling of concurr","authors_text":"Eduard Kamburjan, Martina Kettenbach, Reiner H\\\"ahnle, Stefan Mitsch","cross_cats":["cs.LO","cs.PL","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-06-13T14:01:16Z","title":"Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.05704","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:e4e5e30c4d4ea8e07160c4c439c655cb4f54c1c413d4909e087b183645520680","target":"record","created_at":"2026-05-17T23:43:24Z","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":"158230ce37dbf49424c83124100ab4b4b5a926a3eb5c856e05c8c9a93b57dd7d","cross_cats_sorted":["cs.LO","cs.PL","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-06-13T14:01:16Z","title_canon_sha256":"c2c10a9ebe61ac52c2fa24cc2f43ba9cbb1a77bdd0ab6d0b368e0f0edaa4f01a"},"schema_version":"1.0","source":{"id":"1906.05704","kind":"arxiv","version":1}},"canonical_sha256":"b36dc5eb42399b747c09b04c51a2225644fd4442efbde54505daaa1e928fe76e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b36dc5eb42399b747c09b04c51a2225644fd4442efbde54505daaa1e928fe76e","first_computed_at":"2026-05-17T23:43:24.547706Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:43:24.547706Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wh9N6bh85yzLpMhGrbJPs+yNC5FvHrv+N9n2y9OXG1yno2xqqF0WJir7Pfjs8Md2PPZqedT19y7rFiJPsxYbBw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:43:24.548198Z","signed_message":"canonical_sha256_bytes"},"source_id":"1906.05704","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e4e5e30c4d4ea8e07160c4c439c655cb4f54c1c413d4909e087b183645520680","sha256:2609443afe12c8d49e3b38b8287330e869edc28a42bd94f1668f352472fa4a9f"],"state_sha256":"0d7689e9e5c30e6d145b0acaf6029bcb42a1b83e2cba8f9ee512c49b307ad42f"}