{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:47PVKUGTP77PYCD4C4JVKFALZG","short_pith_number":"pith:47PVKUGT","canonical_record":{"source":{"id":"1710.03158","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2017-10-09T15:50:23Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"596a8ccf1f28dff40adb60326c7890d3c25c8aefdb61e63a0a12b324b36bf037","abstract_canon_sha256":"a9d983a0deb9f8c21ee404677fce1754fcc52bb09b2e3b241fca0007cc9c15ce"},"schema_version":"1.0"},"canonical_sha256":"e7df5550d37ffefc087c171355140bc98ca5f572bea3f17df14f962719e68974","source":{"kind":"arxiv","id":"1710.03158","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.03158","created_at":"2026-06-04T19:11:04Z"},{"alias_kind":"arxiv_version","alias_value":"1710.03158v2","created_at":"2026-06-04T19:11:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.03158","created_at":"2026-06-04T19:11:04Z"},{"alias_kind":"pith_short_12","alias_value":"47PVKUGTP77P","created_at":"2026-06-04T19:11:04Z"},{"alias_kind":"pith_short_16","alias_value":"47PVKUGTP77PYCD4","created_at":"2026-06-04T19:11:04Z"},{"alias_kind":"pith_short_8","alias_value":"47PVKUGT","created_at":"2026-06-04T19:11:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:47PVKUGTP77PYCD4C4JVKFALZG","target":"record","payload":{"canonical_record":{"source":{"id":"1710.03158","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2017-10-09T15:50:23Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"596a8ccf1f28dff40adb60326c7890d3c25c8aefdb61e63a0a12b324b36bf037","abstract_canon_sha256":"a9d983a0deb9f8c21ee404677fce1754fcc52bb09b2e3b241fca0007cc9c15ce"},"schema_version":"1.0"},"canonical_sha256":"e7df5550d37ffefc087c171355140bc98ca5f572bea3f17df14f962719e68974","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-04T19:11:04.321070Z","signature_b64":"CHbVbK+3XRWF7xT0Ivct5sP5LTDYBhl8w1fWLldQVL0axOPzEhUJchZEbYSBSN+pmPX4imWLvUVmJCQyG9FuAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e7df5550d37ffefc087c171355140bc98ca5f572bea3f17df14f962719e68974","last_reissued_at":"2026-06-04T19:11:04.320586Z","signature_status":"signed_v1","first_computed_at":"2026-06-04T19:11:04.320586Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1710.03158","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-06-04T19:11:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FoAtg+RlTqoh1KXkByYqXzIhCV5/q7r4O6527ofgeCcAH21QnsK3g2DS54PcWb3QwTK7MPFD7QlH/xl/P1JLBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T18:59:41.609169Z"},"content_sha256":"0d3f235c5950881bbfc181fce5170ac2f98e4c9d9a6784d97ad024fe15b00821","schema_version":"1.0","event_id":"sha256:0d3f235c5950881bbfc181fce5170ac2f98e4c9d9a6784d97ad024fe15b00821"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:47PVKUGTP77PYCD4C4JVKFALZG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Occupation measure methods for modelling and analysis of biological hybrid automata","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Alexandre Rocca, Eric Fanchon, Marcelo Forets, Thao Dang, Victor Magron","submitted_at":"2017-10-09T15:50:23Z","abstract_excerpt":"Mechanistic models in biology often involve numerous parameters about which we do not have direct experimental information. The traditional approach is to fit these parameters using extensive numerical simulations (e.g. by the Monte-Carlo method), and eventually revising the model if the predictions do not correspond to the actual measurements. In this work we propose a methodology for hybrid automaton model revision, when new type of functions are needed to capture time varying parameters. To this end, we formulate a hybrid optimal control problem with intermediate points as successive infini"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.03158","kind":"arxiv","version":2},"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/1710.03158/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-06-04T19:11:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AUXPeUkWviQtSAJSRnn24c3+nVp/2XFo/HH/dQ969yNJbsD/FZZSPlRo4ZanlMwEGwH0zT0C7c0Rbsx6KpHnDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T18:59:41.609583Z"},"content_sha256":"680e3fb8cb91a7d34bc58749db3a31d03cadee1baf3b1310c11b1de8bd3bad98","schema_version":"1.0","event_id":"sha256:680e3fb8cb91a7d34bc58749db3a31d03cadee1baf3b1310c11b1de8bd3bad98"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/47PVKUGTP77PYCD4C4JVKFALZG/bundle.json","state_url":"https://pith.science/pith/47PVKUGTP77PYCD4C4JVKFALZG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/47PVKUGTP77PYCD4C4JVKFALZG/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-06T18:59:41Z","links":{"resolver":"https://pith.science/pith/47PVKUGTP77PYCD4C4JVKFALZG","bundle":"https://pith.science/pith/47PVKUGTP77PYCD4C4JVKFALZG/bundle.json","state":"https://pith.science/pith/47PVKUGTP77PYCD4C4JVKFALZG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/47PVKUGTP77PYCD4C4JVKFALZG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:47PVKUGTP77PYCD4C4JVKFALZG","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":"a9d983a0deb9f8c21ee404677fce1754fcc52bb09b2e3b241fca0007cc9c15ce","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2017-10-09T15:50:23Z","title_canon_sha256":"596a8ccf1f28dff40adb60326c7890d3c25c8aefdb61e63a0a12b324b36bf037"},"schema_version":"1.0","source":{"id":"1710.03158","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.03158","created_at":"2026-06-04T19:11:04Z"},{"alias_kind":"arxiv_version","alias_value":"1710.03158v2","created_at":"2026-06-04T19:11:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.03158","created_at":"2026-06-04T19:11:04Z"},{"alias_kind":"pith_short_12","alias_value":"47PVKUGTP77P","created_at":"2026-06-04T19:11:04Z"},{"alias_kind":"pith_short_16","alias_value":"47PVKUGTP77PYCD4","created_at":"2026-06-04T19:11:04Z"},{"alias_kind":"pith_short_8","alias_value":"47PVKUGT","created_at":"2026-06-04T19:11:04Z"}],"graph_snapshots":[{"event_id":"sha256:680e3fb8cb91a7d34bc58749db3a31d03cadee1baf3b1310c11b1de8bd3bad98","target":"graph","created_at":"2026-06-04T19:11:04Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1710.03158/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Mechanistic models in biology often involve numerous parameters about which we do not have direct experimental information. The traditional approach is to fit these parameters using extensive numerical simulations (e.g. by the Monte-Carlo method), and eventually revising the model if the predictions do not correspond to the actual measurements. In this work we propose a methodology for hybrid automaton model revision, when new type of functions are needed to capture time varying parameters. To this end, we formulate a hybrid optimal control problem with intermediate points as successive infini","authors_text":"Alexandre Rocca, Eric Fanchon, Marcelo Forets, Thao Dang, Victor Magron","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2017-10-09T15:50:23Z","title":"Occupation measure methods for modelling and analysis of biological hybrid automata"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.03158","kind":"arxiv","version":2},"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:0d3f235c5950881bbfc181fce5170ac2f98e4c9d9a6784d97ad024fe15b00821","target":"record","created_at":"2026-06-04T19:11:04Z","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":"a9d983a0deb9f8c21ee404677fce1754fcc52bb09b2e3b241fca0007cc9c15ce","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2017-10-09T15:50:23Z","title_canon_sha256":"596a8ccf1f28dff40adb60326c7890d3c25c8aefdb61e63a0a12b324b36bf037"},"schema_version":"1.0","source":{"id":"1710.03158","kind":"arxiv","version":2}},"canonical_sha256":"e7df5550d37ffefc087c171355140bc98ca5f572bea3f17df14f962719e68974","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e7df5550d37ffefc087c171355140bc98ca5f572bea3f17df14f962719e68974","first_computed_at":"2026-06-04T19:11:04.320586Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-04T19:11:04.320586Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"CHbVbK+3XRWF7xT0Ivct5sP5LTDYBhl8w1fWLldQVL0axOPzEhUJchZEbYSBSN+pmPX4imWLvUVmJCQyG9FuAw==","signature_status":"signed_v1","signed_at":"2026-06-04T19:11:04.321070Z","signed_message":"canonical_sha256_bytes"},"source_id":"1710.03158","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0d3f235c5950881bbfc181fce5170ac2f98e4c9d9a6784d97ad024fe15b00821","sha256:680e3fb8cb91a7d34bc58749db3a31d03cadee1baf3b1310c11b1de8bd3bad98"],"state_sha256":"e9789211018c9a784b694d8a94044715a2b30855315685d8a5aee6cfad5c3f8f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"auuji5St4P+wTX+vy1zH/vDasGKvT/iTpktuWZCoeX5jq+zIf94lQmKt+cnaxm2kFsNkj2n9AgcMwUwJcfR4Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T18:59:41.611757Z","bundle_sha256":"ca378feff86b83bdd1914c67cbb9f5c9f5ab0d9a4ee126001fbf9ad3b27da234"}}