{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:LBMBYRSM2EF7Z7Q5LTZLSJLZGX","short_pith_number":"pith:LBMBYRSM","canonical_record":{"source":{"id":"1911.11347","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-11-26T05:22:40Z","cross_cats_sorted":["cs.LO","cs.SY"],"title_canon_sha256":"a9aeb96a92ea7e8c665e7db927ae67533c3445d5582d2db00c3a83320f45e103","abstract_canon_sha256":"d86c99a28ba4f8a43ebd601b6a7907c5fb911d4f7a8a9b89423608339f84e5c4"},"schema_version":"1.0"},"canonical_sha256":"58581c464cd10bfcfe1d5cf2b9257935cf0c945888bb9697b9ff349a0653bbfe","source":{"kind":"arxiv","id":"1911.11347","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1911.11347","created_at":"2026-07-05T00:22:08Z"},{"alias_kind":"arxiv_version","alias_value":"1911.11347v1","created_at":"2026-07-05T00:22:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1911.11347","created_at":"2026-07-05T00:22:08Z"},{"alias_kind":"pith_short_12","alias_value":"LBMBYRSM2EF7","created_at":"2026-07-05T00:22:08Z"},{"alias_kind":"pith_short_16","alias_value":"LBMBYRSM2EF7Z7Q5","created_at":"2026-07-05T00:22:08Z"},{"alias_kind":"pith_short_8","alias_value":"LBMBYRSM","created_at":"2026-07-05T00:22:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:LBMBYRSM2EF7Z7Q5LTZLSJLZGX","target":"record","payload":{"canonical_record":{"source":{"id":"1911.11347","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-11-26T05:22:40Z","cross_cats_sorted":["cs.LO","cs.SY"],"title_canon_sha256":"a9aeb96a92ea7e8c665e7db927ae67533c3445d5582d2db00c3a83320f45e103","abstract_canon_sha256":"d86c99a28ba4f8a43ebd601b6a7907c5fb911d4f7a8a9b89423608339f84e5c4"},"schema_version":"1.0"},"canonical_sha256":"58581c464cd10bfcfe1d5cf2b9257935cf0c945888bb9697b9ff349a0653bbfe","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:22:08.720802Z","signature_b64":"9DwJxzq8krNVn6TdEOh42JhNanxx0njZPhTH0VU25hyH58Pa0mJcgZ3jnpDVQsWRuuaNaO1JD5XrH+A2WR1CAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"58581c464cd10bfcfe1d5cf2b9257935cf0c945888bb9697b9ff349a0653bbfe","last_reissued_at":"2026-07-05T00:22:08.720293Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:22:08.720293Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1911.11347","source_version":1,"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-07-05T00:22:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"e0EBTgmQYrx3TmgYPWoZjuYGvx/DtwwPEfZxYS2gY3CVAtEb1v4V/OpO5s+AX2o+d/4NvrGb0gCYMAFrWrNRCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T19:38:57.648396Z"},"content_sha256":"2eb34a79c17a8123897f2c135d102e84c389420751381af4ef3257cea23bec4c","schema_version":"1.0","event_id":"sha256:2eb34a79c17a8123897f2c135d102e84c389420751381af4ef3257cea23bec4c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:LBMBYRSM2EF7Z7Q5LTZLSJLZGX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Controller Synthesis of Wind Turbine Generator and Energy Storage System with Stochastic Wind Variations under Temporal Logic Specifications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","cs.SY"],"primary_cat":"eess.SY","authors_text":"Agung Julius, Joe H. Chow, Ufuk Topcu, Zhe Xu","submitted_at":"2019-11-26T05:22:40Z","abstract_excerpt":"In this paper, we present a controller synthesis approach for wind turbine generators (WTG) and energy storage systems with metric temporal logic (MTL) specifications, with provable probabilistic guarantees in the stochastic environment of wind power generation. The MTL specifications are requirements for the grid frequency deviations, WTG rotor speed variations and the power flow constraints at different lines. We present the stochastic control bisimulation function, which bounds the divergence of the trajectories of a switched stochastic control system and the switched nominal control system"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1911.11347","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/1911.11347/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-07-05T00:22:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/CO7+ibv7Ydk/4iESIZnwqUxpNIhUBk3MmVo1rDYpmZJnOLFPhDmsYIlL3uE8o+Ynlh13qMbkfw5YEzR3PEEAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T19:38:57.648770Z"},"content_sha256":"9b36bdd502c45478063f5d7592af2c178fbf865383136a18fc00cdf7b877c550","schema_version":"1.0","event_id":"sha256:9b36bdd502c45478063f5d7592af2c178fbf865383136a18fc00cdf7b877c550"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LBMBYRSM2EF7Z7Q5LTZLSJLZGX/bundle.json","state_url":"https://pith.science/pith/LBMBYRSM2EF7Z7Q5LTZLSJLZGX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LBMBYRSM2EF7Z7Q5LTZLSJLZGX/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-07-06T19:38:57Z","links":{"resolver":"https://pith.science/pith/LBMBYRSM2EF7Z7Q5LTZLSJLZGX","bundle":"https://pith.science/pith/LBMBYRSM2EF7Z7Q5LTZLSJLZGX/bundle.json","state":"https://pith.science/pith/LBMBYRSM2EF7Z7Q5LTZLSJLZGX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LBMBYRSM2EF7Z7Q5LTZLSJLZGX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:LBMBYRSM2EF7Z7Q5LTZLSJLZGX","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":"d86c99a28ba4f8a43ebd601b6a7907c5fb911d4f7a8a9b89423608339f84e5c4","cross_cats_sorted":["cs.LO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-11-26T05:22:40Z","title_canon_sha256":"a9aeb96a92ea7e8c665e7db927ae67533c3445d5582d2db00c3a83320f45e103"},"schema_version":"1.0","source":{"id":"1911.11347","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1911.11347","created_at":"2026-07-05T00:22:08Z"},{"alias_kind":"arxiv_version","alias_value":"1911.11347v1","created_at":"2026-07-05T00:22:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1911.11347","created_at":"2026-07-05T00:22:08Z"},{"alias_kind":"pith_short_12","alias_value":"LBMBYRSM2EF7","created_at":"2026-07-05T00:22:08Z"},{"alias_kind":"pith_short_16","alias_value":"LBMBYRSM2EF7Z7Q5","created_at":"2026-07-05T00:22:08Z"},{"alias_kind":"pith_short_8","alias_value":"LBMBYRSM","created_at":"2026-07-05T00:22:08Z"}],"graph_snapshots":[{"event_id":"sha256:9b36bdd502c45478063f5d7592af2c178fbf865383136a18fc00cdf7b877c550","target":"graph","created_at":"2026-07-05T00:22:08Z","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/1911.11347/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper, we present a controller synthesis approach for wind turbine generators (WTG) and energy storage systems with metric temporal logic (MTL) specifications, with provable probabilistic guarantees in the stochastic environment of wind power generation. The MTL specifications are requirements for the grid frequency deviations, WTG rotor speed variations and the power flow constraints at different lines. We present the stochastic control bisimulation function, which bounds the divergence of the trajectories of a switched stochastic control system and the switched nominal control system","authors_text":"Agung Julius, Joe H. Chow, Ufuk Topcu, Zhe Xu","cross_cats":["cs.LO","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-11-26T05:22:40Z","title":"Controller Synthesis of Wind Turbine Generator and Energy Storage System with Stochastic Wind Variations under Temporal Logic Specifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1911.11347","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:2eb34a79c17a8123897f2c135d102e84c389420751381af4ef3257cea23bec4c","target":"record","created_at":"2026-07-05T00:22:08Z","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":"d86c99a28ba4f8a43ebd601b6a7907c5fb911d4f7a8a9b89423608339f84e5c4","cross_cats_sorted":["cs.LO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-11-26T05:22:40Z","title_canon_sha256":"a9aeb96a92ea7e8c665e7db927ae67533c3445d5582d2db00c3a83320f45e103"},"schema_version":"1.0","source":{"id":"1911.11347","kind":"arxiv","version":1}},"canonical_sha256":"58581c464cd10bfcfe1d5cf2b9257935cf0c945888bb9697b9ff349a0653bbfe","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"58581c464cd10bfcfe1d5cf2b9257935cf0c945888bb9697b9ff349a0653bbfe","first_computed_at":"2026-07-05T00:22:08.720293Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:22:08.720293Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9DwJxzq8krNVn6TdEOh42JhNanxx0njZPhTH0VU25hyH58Pa0mJcgZ3jnpDVQsWRuuaNaO1JD5XrH+A2WR1CAg==","signature_status":"signed_v1","signed_at":"2026-07-05T00:22:08.720802Z","signed_message":"canonical_sha256_bytes"},"source_id":"1911.11347","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2eb34a79c17a8123897f2c135d102e84c389420751381af4ef3257cea23bec4c","sha256:9b36bdd502c45478063f5d7592af2c178fbf865383136a18fc00cdf7b877c550"],"state_sha256":"ce190772c92565fd89bda7515f50df9b1421a5b2b477f467959abf7a156cf0db"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"S2qotFIBHuSpq25QPZBerHQu6Ns6jsp2TIHO4KFW9vUQixXLn2HuhiD/gYkk6wZ7GUvTpA328xZ+r/jPK7MEAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T19:38:57.650701Z","bundle_sha256":"1759b206bd5cc19bbc050c5177c7e39bd29e93b687d8db1fc87e6d5b4c346013"}}