{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:RU4J7DXTJGFGKGN4D4NPYDJPFT","short_pith_number":"pith:RU4J7DXT","canonical_record":{"source":{"id":"1802.09657","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-02-27T00:17:41Z","cross_cats_sorted":["math.DS"],"title_canon_sha256":"f32f63adf3a1f170129c370d5f146b61302ec35691fb6596f56afb5ec9005b9f","abstract_canon_sha256":"3e2d12dbd25179de79985f0df30357574fd1e5c32a4d0bb5e7a308828a9fc35e"},"schema_version":"1.0"},"canonical_sha256":"8d389f8ef3498a6519bc1f1afc0d2f2cf65359a8af00bd3df24e79e36ab9fcca","source":{"kind":"arxiv","id":"1802.09657","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.09657","created_at":"2026-05-18T00:22:30Z"},{"alias_kind":"arxiv_version","alias_value":"1802.09657v1","created_at":"2026-05-18T00:22:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.09657","created_at":"2026-05-18T00:22:30Z"},{"alias_kind":"pith_short_12","alias_value":"RU4J7DXTJGFG","created_at":"2026-05-18T12:32:50Z"},{"alias_kind":"pith_short_16","alias_value":"RU4J7DXTJGFGKGN4","created_at":"2026-05-18T12:32:50Z"},{"alias_kind":"pith_short_8","alias_value":"RU4J7DXT","created_at":"2026-05-18T12:32:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:RU4J7DXTJGFGKGN4D4NPYDJPFT","target":"record","payload":{"canonical_record":{"source":{"id":"1802.09657","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-02-27T00:17:41Z","cross_cats_sorted":["math.DS"],"title_canon_sha256":"f32f63adf3a1f170129c370d5f146b61302ec35691fb6596f56afb5ec9005b9f","abstract_canon_sha256":"3e2d12dbd25179de79985f0df30357574fd1e5c32a4d0bb5e7a308828a9fc35e"},"schema_version":"1.0"},"canonical_sha256":"8d389f8ef3498a6519bc1f1afc0d2f2cf65359a8af00bd3df24e79e36ab9fcca","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:22:30.483490Z","signature_b64":"k71Q4uYOsHFphEyX8qD297SpIh4Er8Fxta0Gg8lxV79wknp6UWsI5KeFBDZ1UuSgg3xqN0tLuJueetDM3Sh/Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8d389f8ef3498a6519bc1f1afc0d2f2cf65359a8af00bd3df24e79e36ab9fcca","last_reissued_at":"2026-05-18T00:22:30.482799Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:22:30.482799Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1802.09657","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-05-18T00:22:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5U4k72NgYpli9yL+ncxCzF3IS1AS4CFiDB5KluISbEls9fSJwcd9uFH4pSkfcMxP3M8RAQaHRxDyoUXEIobDAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T19:36:53.125239Z"},"content_sha256":"505610cf3ed935d19344df981fc29916f290f7c0821d7f478874924ac7a41a39","schema_version":"1.0","event_id":"sha256:505610cf3ed935d19344df981fc29916f290f7c0821d7f478874924ac7a41a39"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:RU4J7DXTJGFGKGN4D4NPYDJPFT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Event-Triggered Controller Synthesis for Dynamical Systems with Temporal Logic Constraints","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.DS"],"primary_cat":"cs.RO","authors_text":"Dipankar Maity, John S. Baras","submitted_at":"2018-02-27T00:17:41Z","abstract_excerpt":"In this work, we propose an event-triggered con- trol framework for dynamical systems with temporal logical constraints. Event-triggered control methodologies have proven to be very efficient in reducing sensing, communication and computation costs. When a continuous feedback control is re- placed with an event-triggered strategy, the corresponding state trajectories also differ. In a system with logical constraints, such small deviation in the trajectory might lead to unsatisfiability of the logical constraints. In this work, we develop an approach where we ensure that the event-triggered sta"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.09657","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"},"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-05-18T00:22:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xxz6vR/L1g0jYgKcUHgIMhapp5FLkyioTQcyD6TLQxy9QcG4O/USf4Nw45ssGxo/Ku8vJ6K2hrsBAlnN7/rgAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T19:36:53.125605Z"},"content_sha256":"69ede5697a9c2c806003b009914a99a83cf38a7e896a3d0c9ffd10e8f2d0be19","schema_version":"1.0","event_id":"sha256:69ede5697a9c2c806003b009914a99a83cf38a7e896a3d0c9ffd10e8f2d0be19"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RU4J7DXTJGFGKGN4D4NPYDJPFT/bundle.json","state_url":"https://pith.science/pith/RU4J7DXTJGFGKGN4D4NPYDJPFT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RU4J7DXTJGFGKGN4D4NPYDJPFT/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-04T19:36:53Z","links":{"resolver":"https://pith.science/pith/RU4J7DXTJGFGKGN4D4NPYDJPFT","bundle":"https://pith.science/pith/RU4J7DXTJGFGKGN4D4NPYDJPFT/bundle.json","state":"https://pith.science/pith/RU4J7DXTJGFGKGN4D4NPYDJPFT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RU4J7DXTJGFGKGN4D4NPYDJPFT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:RU4J7DXTJGFGKGN4D4NPYDJPFT","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":"3e2d12dbd25179de79985f0df30357574fd1e5c32a4d0bb5e7a308828a9fc35e","cross_cats_sorted":["math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-02-27T00:17:41Z","title_canon_sha256":"f32f63adf3a1f170129c370d5f146b61302ec35691fb6596f56afb5ec9005b9f"},"schema_version":"1.0","source":{"id":"1802.09657","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.09657","created_at":"2026-05-18T00:22:30Z"},{"alias_kind":"arxiv_version","alias_value":"1802.09657v1","created_at":"2026-05-18T00:22:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.09657","created_at":"2026-05-18T00:22:30Z"},{"alias_kind":"pith_short_12","alias_value":"RU4J7DXTJGFG","created_at":"2026-05-18T12:32:50Z"},{"alias_kind":"pith_short_16","alias_value":"RU4J7DXTJGFGKGN4","created_at":"2026-05-18T12:32:50Z"},{"alias_kind":"pith_short_8","alias_value":"RU4J7DXT","created_at":"2026-05-18T12:32:50Z"}],"graph_snapshots":[{"event_id":"sha256:69ede5697a9c2c806003b009914a99a83cf38a7e896a3d0c9ffd10e8f2d0be19","target":"graph","created_at":"2026-05-18T00:22:30Z","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":"In this work, we propose an event-triggered con- trol framework for dynamical systems with temporal logical constraints. Event-triggered control methodologies have proven to be very efficient in reducing sensing, communication and computation costs. When a continuous feedback control is re- placed with an event-triggered strategy, the corresponding state trajectories also differ. In a system with logical constraints, such small deviation in the trajectory might lead to unsatisfiability of the logical constraints. In this work, we develop an approach where we ensure that the event-triggered sta","authors_text":"Dipankar Maity, John S. Baras","cross_cats":["math.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-02-27T00:17:41Z","title":"Event-Triggered Controller Synthesis for Dynamical Systems with Temporal Logic Constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.09657","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:505610cf3ed935d19344df981fc29916f290f7c0821d7f478874924ac7a41a39","target":"record","created_at":"2026-05-18T00:22:30Z","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":"3e2d12dbd25179de79985f0df30357574fd1e5c32a4d0bb5e7a308828a9fc35e","cross_cats_sorted":["math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-02-27T00:17:41Z","title_canon_sha256":"f32f63adf3a1f170129c370d5f146b61302ec35691fb6596f56afb5ec9005b9f"},"schema_version":"1.0","source":{"id":"1802.09657","kind":"arxiv","version":1}},"canonical_sha256":"8d389f8ef3498a6519bc1f1afc0d2f2cf65359a8af00bd3df24e79e36ab9fcca","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8d389f8ef3498a6519bc1f1afc0d2f2cf65359a8af00bd3df24e79e36ab9fcca","first_computed_at":"2026-05-18T00:22:30.482799Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:22:30.482799Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"k71Q4uYOsHFphEyX8qD297SpIh4Er8Fxta0Gg8lxV79wknp6UWsI5KeFBDZ1UuSgg3xqN0tLuJueetDM3Sh/Dw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:22:30.483490Z","signed_message":"canonical_sha256_bytes"},"source_id":"1802.09657","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:505610cf3ed935d19344df981fc29916f290f7c0821d7f478874924ac7a41a39","sha256:69ede5697a9c2c806003b009914a99a83cf38a7e896a3d0c9ffd10e8f2d0be19"],"state_sha256":"5fefdddadbe0b0ad8e963272cafb288911aabbf60fcd6af2571c0d57572857cb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"23D+C5j5SXM7/Cbp40OReLzPpPMHI9pkEDtswdAByOs77jvr+SJZGfRLxpw400Tgn7/pvTs2T9Brqx30CyXZBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-04T19:36:53.127556Z","bundle_sha256":"c2adbb309978876b9e6d0e17433da29b2316620af8f599c03a80675a82668909"}}