{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:LDGVN7TM25OTKPI6MIRWIGTICD","short_pith_number":"pith:LDGVN7TM","canonical_record":{"source":{"id":"1807.07758","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-07-20T09:44:54Z","cross_cats_sorted":[],"title_canon_sha256":"5316dd2b881aa303476cf56cbd93f7232287181b26300f13c4acb83f03cb72bb","abstract_canon_sha256":"020e14416493360021150c7d4f55a747e7c76ca77f4c864cc1ddb0aa04801e1a"},"schema_version":"1.0"},"canonical_sha256":"58cd56fe6cd75d353d1e6223641a6810d0ce496716da77affb7fae6574bdc7e3","source":{"kind":"arxiv","id":"1807.07758","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.07758","created_at":"2026-05-18T00:07:49Z"},{"alias_kind":"arxiv_version","alias_value":"1807.07758v2","created_at":"2026-05-18T00:07:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.07758","created_at":"2026-05-18T00:07:49Z"},{"alias_kind":"pith_short_12","alias_value":"LDGVN7TM25OT","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_16","alias_value":"LDGVN7TM25OTKPI6","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_8","alias_value":"LDGVN7TM","created_at":"2026-05-18T12:32:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:LDGVN7TM25OTKPI6MIRWIGTICD","target":"record","payload":{"canonical_record":{"source":{"id":"1807.07758","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-07-20T09:44:54Z","cross_cats_sorted":[],"title_canon_sha256":"5316dd2b881aa303476cf56cbd93f7232287181b26300f13c4acb83f03cb72bb","abstract_canon_sha256":"020e14416493360021150c7d4f55a747e7c76ca77f4c864cc1ddb0aa04801e1a"},"schema_version":"1.0"},"canonical_sha256":"58cd56fe6cd75d353d1e6223641a6810d0ce496716da77affb7fae6574bdc7e3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:07:49.055282Z","signature_b64":"Mh92Qg0J2Dl178+nZZhYetbqEBDFoaHUtitDofzJOj/+uakh8QEUqz2XHkdNgXK0RIdbk5NGz7FErhclvne+Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"58cd56fe6cd75d353d1e6223641a6810d0ce496716da77affb7fae6574bdc7e3","last_reissued_at":"2026-05-18T00:07:49.054608Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:07:49.054608Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1807.07758","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-05-18T00:07:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"viuG+3riZ9GpKDPjBgOVaeA8rmuR2uzk5n+QPetQ4gFNe/wNmAxHxudvXGRnwvrp6Qt6Jl0iWUf8DWpTMdZACw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T04:17:21.841669Z"},"content_sha256":"fa3aa1e9a13fdc486870b5347a7677118a2b1f01dc4e97a44071cc87b8a37c47","schema_version":"1.0","event_id":"sha256:fa3aa1e9a13fdc486870b5347a7677118a2b1f01dc4e97a44071cc87b8a37c47"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:LDGVN7TM25OTKPI6MIRWIGTICD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Stable MPC Design for Hybrid Mixed Logical Dynamical Systems: $l_{\\infty}$-based Lyapunov Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Alireza Olama, Amin Ramezani, Mokhtar Shasadeghi","submitted_at":"2018-07-20T09:44:54Z","abstract_excerpt":"There are two main challenges in control of hybrid systems which are to guarantee the closed-loop stability and reduce computational complexity. In this paper, we propose the exponential stability conditions of hybrid systems which are described in the Mixed Logical Dynamical (MLD) form in closed-loop with Model Predictive Control (MPC). To do this, it is proposed to use the decreasing condition of infinity norm based Lyapunov function instead of imposing the terminal equality constraint in the MPC formulation of MLD system. The exponential stability conditions have a better performance from b"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.07758","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":""},"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:07:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"99oPzJl2AQ6muwjs9q4fWTeh4rofwR7JI84yer6xj6F9VjcYTyQ65IzucEY8Ad8IBHk/dr2j9ZXoY/xnikUBCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T04:17:21.842018Z"},"content_sha256":"959346cea0df125a954b9d7e289f970b929037f8d9d6d88d7578ad09ad0e120a","schema_version":"1.0","event_id":"sha256:959346cea0df125a954b9d7e289f970b929037f8d9d6d88d7578ad09ad0e120a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LDGVN7TM25OTKPI6MIRWIGTICD/bundle.json","state_url":"https://pith.science/pith/LDGVN7TM25OTKPI6MIRWIGTICD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LDGVN7TM25OTKPI6MIRWIGTICD/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-07T04:17:21Z","links":{"resolver":"https://pith.science/pith/LDGVN7TM25OTKPI6MIRWIGTICD","bundle":"https://pith.science/pith/LDGVN7TM25OTKPI6MIRWIGTICD/bundle.json","state":"https://pith.science/pith/LDGVN7TM25OTKPI6MIRWIGTICD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LDGVN7TM25OTKPI6MIRWIGTICD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:LDGVN7TM25OTKPI6MIRWIGTICD","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":"020e14416493360021150c7d4f55a747e7c76ca77f4c864cc1ddb0aa04801e1a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-07-20T09:44:54Z","title_canon_sha256":"5316dd2b881aa303476cf56cbd93f7232287181b26300f13c4acb83f03cb72bb"},"schema_version":"1.0","source":{"id":"1807.07758","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.07758","created_at":"2026-05-18T00:07:49Z"},{"alias_kind":"arxiv_version","alias_value":"1807.07758v2","created_at":"2026-05-18T00:07:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.07758","created_at":"2026-05-18T00:07:49Z"},{"alias_kind":"pith_short_12","alias_value":"LDGVN7TM25OT","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_16","alias_value":"LDGVN7TM25OTKPI6","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_8","alias_value":"LDGVN7TM","created_at":"2026-05-18T12:32:37Z"}],"graph_snapshots":[{"event_id":"sha256:959346cea0df125a954b9d7e289f970b929037f8d9d6d88d7578ad09ad0e120a","target":"graph","created_at":"2026-05-18T00:07:49Z","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":"There are two main challenges in control of hybrid systems which are to guarantee the closed-loop stability and reduce computational complexity. In this paper, we propose the exponential stability conditions of hybrid systems which are described in the Mixed Logical Dynamical (MLD) form in closed-loop with Model Predictive Control (MPC). To do this, it is proposed to use the decreasing condition of infinity norm based Lyapunov function instead of imposing the terminal equality constraint in the MPC formulation of MLD system. The exponential stability conditions have a better performance from b","authors_text":"Alireza Olama, Amin Ramezani, Mokhtar Shasadeghi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-07-20T09:44:54Z","title":"Stable MPC Design for Hybrid Mixed Logical Dynamical Systems: $l_{\\infty}$-based Lyapunov Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.07758","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:fa3aa1e9a13fdc486870b5347a7677118a2b1f01dc4e97a44071cc87b8a37c47","target":"record","created_at":"2026-05-18T00:07:49Z","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":"020e14416493360021150c7d4f55a747e7c76ca77f4c864cc1ddb0aa04801e1a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-07-20T09:44:54Z","title_canon_sha256":"5316dd2b881aa303476cf56cbd93f7232287181b26300f13c4acb83f03cb72bb"},"schema_version":"1.0","source":{"id":"1807.07758","kind":"arxiv","version":2}},"canonical_sha256":"58cd56fe6cd75d353d1e6223641a6810d0ce496716da77affb7fae6574bdc7e3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"58cd56fe6cd75d353d1e6223641a6810d0ce496716da77affb7fae6574bdc7e3","first_computed_at":"2026-05-18T00:07:49.054608Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:07:49.054608Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Mh92Qg0J2Dl178+nZZhYetbqEBDFoaHUtitDofzJOj/+uakh8QEUqz2XHkdNgXK0RIdbk5NGz7FErhclvne+Dw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:07:49.055282Z","signed_message":"canonical_sha256_bytes"},"source_id":"1807.07758","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fa3aa1e9a13fdc486870b5347a7677118a2b1f01dc4e97a44071cc87b8a37c47","sha256:959346cea0df125a954b9d7e289f970b929037f8d9d6d88d7578ad09ad0e120a"],"state_sha256":"36da36c6a1a8fd6d8c2fbfe4294d36b665791180162f45bc6136bde309a20387"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Iv0iBUOLnDBrw2WmoW8zuLcnsiVnOW/jPyEkeaCZDTk2zFG9FLAY+ISUQhxllKIIKhuC6gyF9Uz/+POkhArgBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T04:17:21.844085Z","bundle_sha256":"7b083e32de6688bc0cc2bd2048eefe368085f615933c09172bf2dee8ee539332"}}