{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:IVROHDI3LMO63YQX6YKFFMI44L","short_pith_number":"pith:IVROHDI3","canonical_record":{"source":{"id":"1203.1740","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-03-08T10:37:28Z","cross_cats_sorted":[],"title_canon_sha256":"f7b6212fa8b9ce33d2ce0faba1bd019677b9a2f068f403603f438905c1866c11","abstract_canon_sha256":"0bd634a5a8e64acbb44d9b92c1da05855901598d952d558e8d14b295c50c1cf5"},"schema_version":"1.0"},"canonical_sha256":"4562e38d1b5b1dede217f61452b11ce2c535f67d816233dfa3b827c862174bd0","source":{"kind":"arxiv","id":"1203.1740","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.1740","created_at":"2026-05-18T03:56:45Z"},{"alias_kind":"arxiv_version","alias_value":"1203.1740v3","created_at":"2026-05-18T03:56:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.1740","created_at":"2026-05-18T03:56:45Z"},{"alias_kind":"pith_short_12","alias_value":"IVROHDI3LMO6","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_16","alias_value":"IVROHDI3LMO63YQX","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_8","alias_value":"IVROHDI3","created_at":"2026-05-18T12:27:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:IVROHDI3LMO63YQX6YKFFMI44L","target":"record","payload":{"canonical_record":{"source":{"id":"1203.1740","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-03-08T10:37:28Z","cross_cats_sorted":[],"title_canon_sha256":"f7b6212fa8b9ce33d2ce0faba1bd019677b9a2f068f403603f438905c1866c11","abstract_canon_sha256":"0bd634a5a8e64acbb44d9b92c1da05855901598d952d558e8d14b295c50c1cf5"},"schema_version":"1.0"},"canonical_sha256":"4562e38d1b5b1dede217f61452b11ce2c535f67d816233dfa3b827c862174bd0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:56:45.971755Z","signature_b64":"EBX9/124ST1B8+QFup0k/YYxdlHxKG4soNLqdmxbBJsFbGl9U3/pcxygQwiKR5aROz6iqd0iCD7e2mEmqJ5pCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4562e38d1b5b1dede217f61452b11ce2c535f67d816233dfa3b827c862174bd0","last_reissued_at":"2026-05-18T03:56:45.971262Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:56:45.971262Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1203.1740","source_version":3,"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-18T03:56:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"udpoUdSjLkJnBO1wIjAz/8JRSAuxTZjuRwRQHBW4FxCcBwbfqEutkbCol/Zy1eebgg0IgGeZrdBlPwO38UaNDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T03:46:04.313122Z"},"content_sha256":"940ddefb52847798a5428068e92683b35ae55e01379b5f749fa0012852a94337","schema_version":"1.0","event_id":"sha256:940ddefb52847798a5428068e92683b35ae55e01379b5f749fa0012852a94337"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:IVROHDI3LMO63YQX6YKFFMI44L","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Input-Output Simulation Approach to Controlling Multi-AffineSystems for Linear Temporal Logic Specifications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Ben M. Chen, Hai Lin, Yajuan Sun","submitted_at":"2012-03-08T10:37:28Z","abstract_excerpt":"This paper presents an input-output simulation approach to controlling multi-affine systems for linear temporal logic (LTL) specifications, which consists of the following steps. First, we partition the state space into rectangles, each of which satisfies atomic LTL propositions. Then, we study the control of multi-affine systems on rectangles including the control of driving all trajectories starting from a rectangle to exit through a facet and the control of stabilizing the system towards a desired point. With the proposed controllers, a finitely abstracted transition system is constructed w"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.1740","kind":"arxiv","version":3},"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-18T03:56:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"c5StQ3YPACj1zdhlA5tl9FvXX+VmObCVo2Ovd/IZqd1QniLc75HWRp06zZ015z+wGz3hTYRmMxNScJrSMj+dCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T03:46:04.313498Z"},"content_sha256":"7a280fdfd2f5c84debf35acfa1861dab09587610a9e243090714048fd3bcc8f3","schema_version":"1.0","event_id":"sha256:7a280fdfd2f5c84debf35acfa1861dab09587610a9e243090714048fd3bcc8f3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IVROHDI3LMO63YQX6YKFFMI44L/bundle.json","state_url":"https://pith.science/pith/IVROHDI3LMO63YQX6YKFFMI44L/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IVROHDI3LMO63YQX6YKFFMI44L/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-01T03:46:04Z","links":{"resolver":"https://pith.science/pith/IVROHDI3LMO63YQX6YKFFMI44L","bundle":"https://pith.science/pith/IVROHDI3LMO63YQX6YKFFMI44L/bundle.json","state":"https://pith.science/pith/IVROHDI3LMO63YQX6YKFFMI44L/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IVROHDI3LMO63YQX6YKFFMI44L/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:IVROHDI3LMO63YQX6YKFFMI44L","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":"0bd634a5a8e64acbb44d9b92c1da05855901598d952d558e8d14b295c50c1cf5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-03-08T10:37:28Z","title_canon_sha256":"f7b6212fa8b9ce33d2ce0faba1bd019677b9a2f068f403603f438905c1866c11"},"schema_version":"1.0","source":{"id":"1203.1740","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.1740","created_at":"2026-05-18T03:56:45Z"},{"alias_kind":"arxiv_version","alias_value":"1203.1740v3","created_at":"2026-05-18T03:56:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.1740","created_at":"2026-05-18T03:56:45Z"},{"alias_kind":"pith_short_12","alias_value":"IVROHDI3LMO6","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_16","alias_value":"IVROHDI3LMO63YQX","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_8","alias_value":"IVROHDI3","created_at":"2026-05-18T12:27:09Z"}],"graph_snapshots":[{"event_id":"sha256:7a280fdfd2f5c84debf35acfa1861dab09587610a9e243090714048fd3bcc8f3","target":"graph","created_at":"2026-05-18T03:56:45Z","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":"This paper presents an input-output simulation approach to controlling multi-affine systems for linear temporal logic (LTL) specifications, which consists of the following steps. First, we partition the state space into rectangles, each of which satisfies atomic LTL propositions. Then, we study the control of multi-affine systems on rectangles including the control of driving all trajectories starting from a rectangle to exit through a facet and the control of stabilizing the system towards a desired point. With the proposed controllers, a finitely abstracted transition system is constructed w","authors_text":"Ben M. Chen, Hai Lin, Yajuan Sun","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-03-08T10:37:28Z","title":"An Input-Output Simulation Approach to Controlling Multi-AffineSystems for Linear Temporal Logic Specifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.1740","kind":"arxiv","version":3},"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:940ddefb52847798a5428068e92683b35ae55e01379b5f749fa0012852a94337","target":"record","created_at":"2026-05-18T03:56:45Z","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":"0bd634a5a8e64acbb44d9b92c1da05855901598d952d558e8d14b295c50c1cf5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-03-08T10:37:28Z","title_canon_sha256":"f7b6212fa8b9ce33d2ce0faba1bd019677b9a2f068f403603f438905c1866c11"},"schema_version":"1.0","source":{"id":"1203.1740","kind":"arxiv","version":3}},"canonical_sha256":"4562e38d1b5b1dede217f61452b11ce2c535f67d816233dfa3b827c862174bd0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4562e38d1b5b1dede217f61452b11ce2c535f67d816233dfa3b827c862174bd0","first_computed_at":"2026-05-18T03:56:45.971262Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:56:45.971262Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EBX9/124ST1B8+QFup0k/YYxdlHxKG4soNLqdmxbBJsFbGl9U3/pcxygQwiKR5aROz6iqd0iCD7e2mEmqJ5pCg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:56:45.971755Z","signed_message":"canonical_sha256_bytes"},"source_id":"1203.1740","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:940ddefb52847798a5428068e92683b35ae55e01379b5f749fa0012852a94337","sha256:7a280fdfd2f5c84debf35acfa1861dab09587610a9e243090714048fd3bcc8f3"],"state_sha256":"7ea1b2263ae3e64efab0d3a3297bcc050446f67055576602c43023af276cbb88"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+bhyqQNFHLJFRcv46AbMpKlVrfaObNS+Fn4+DySwetvXcM1f+B+xHVh/L/VjKluqibM8zwSojQRjnNjMpvjGBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T03:46:04.315931Z","bundle_sha256":"c4114e7b0dd7bbee89f86d338657ae23cb96593994c793293c1309cc31f08024"}}