事件约束编程

IF 3.9 2区 工程技术 Q2 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS
Daniel Ovalle , Stefan Mazzadi , Carl D. Laird , Ignacio E. Grossmann , Joshua L. Pulsipher
{"title":"事件约束编程","authors":"Daniel Ovalle ,&nbsp;Stefan Mazzadi ,&nbsp;Carl D. Laird ,&nbsp;Ignacio E. Grossmann ,&nbsp;Joshua L. Pulsipher","doi":"10.1016/j.compchemeng.2025.109145","DOIUrl":null,"url":null,"abstract":"<div><div>In this paper, we present event constraints as a new modeling paradigm that generalizes joint chance constraints from stochastic optimization to: (1) enforce a constraint on the probability of satisfying a set of constraints aggregated via application-specific logic (constituting an event), and (2) to be applied to general infinite-dimensional optimization (InfiniteOpt) problems (i.e., time, space, and/or uncertainty domains). This new constraint class offers significant modeling flexibility in posing InfiniteOpt constraints that are enforced over a certain portion of their domain (e.g., to a certain probability level), but can be challenging to reformulate/solve due to difficulties in representing arbitrary logical conditions and specifying a probabilistic measure on a collection of constraints. To address these challenges, we derive a Generalized Disjunctive Programming (GDP) representation of event constrained optimization problems, which readily enables posing logical event conditions in a standard form and allows to draw from a suite of GDP solution strategies that leverage the special structure of this problem class. We also extend several approximation techniques from the chance constraint literature to provide a means to reformulate certain event constraints without the use of binary variables. We illustrate these findings with case studies in stochastic optimal power flow, dynamic disease control, and optimal 2D diffusion.</div></div>","PeriodicalId":286,"journal":{"name":"Computers & Chemical Engineering","volume":"199 ","pages":"Article 109145"},"PeriodicalIF":3.9000,"publicationDate":"2025-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Event constrained programming\",\"authors\":\"Daniel Ovalle ,&nbsp;Stefan Mazzadi ,&nbsp;Carl D. Laird ,&nbsp;Ignacio E. Grossmann ,&nbsp;Joshua L. Pulsipher\",\"doi\":\"10.1016/j.compchemeng.2025.109145\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>In this paper, we present event constraints as a new modeling paradigm that generalizes joint chance constraints from stochastic optimization to: (1) enforce a constraint on the probability of satisfying a set of constraints aggregated via application-specific logic (constituting an event), and (2) to be applied to general infinite-dimensional optimization (InfiniteOpt) problems (i.e., time, space, and/or uncertainty domains). This new constraint class offers significant modeling flexibility in posing InfiniteOpt constraints that are enforced over a certain portion of their domain (e.g., to a certain probability level), but can be challenging to reformulate/solve due to difficulties in representing arbitrary logical conditions and specifying a probabilistic measure on a collection of constraints. To address these challenges, we derive a Generalized Disjunctive Programming (GDP) representation of event constrained optimization problems, which readily enables posing logical event conditions in a standard form and allows to draw from a suite of GDP solution strategies that leverage the special structure of this problem class. We also extend several approximation techniques from the chance constraint literature to provide a means to reformulate certain event constraints without the use of binary variables. We illustrate these findings with case studies in stochastic optimal power flow, dynamic disease control, and optimal 2D diffusion.</div></div>\",\"PeriodicalId\":286,\"journal\":{\"name\":\"Computers & Chemical Engineering\",\"volume\":\"199 \",\"pages\":\"Article 109145\"},\"PeriodicalIF\":3.9000,\"publicationDate\":\"2025-04-29\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Computers & Chemical Engineering\",\"FirstCategoryId\":\"5\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0098135425001498\",\"RegionNum\":2,\"RegionCategory\":\"工程技术\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Computers & Chemical Engineering","FirstCategoryId":"5","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0098135425001498","RegionNum":2,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS","Score":null,"Total":0}
引用次数: 0

摘要

在本文中,我们提出事件约束作为一种新的建模范式,将联合机会约束从随机优化推广到:(1)对通过特定应用逻辑聚合的一组约束(构成事件)的概率强制约束,以及(2)应用于一般无限维优化(InfiniteOpt)问题(即时间,空间和/或不确定性域)。这个新的约束类在提出InfiniteOpt约束时提供了显著的建模灵活性,这些约束在其域的某个部分(例如,在某个概率级别上)被强制执行,但由于在表示任意逻辑条件和指定约束集合的概率度量方面存在困难,因此重新制定/解决可能具有挑战性。为了解决这些挑战,我们推导了事件约束优化问题的广义析取规划(GDP)表示,它很容易以标准形式提出逻辑事件条件,并允许从利用该问题类的特殊结构的一套GDP解决方案策略中提取。我们还从机会约束文献中扩展了几种近似技术,以提供一种不使用二元变量重新表述某些事件约束的方法。我们用随机最优潮流、动态疾病控制和最优二维扩散的案例研究来说明这些发现。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Event constrained programming
In this paper, we present event constraints as a new modeling paradigm that generalizes joint chance constraints from stochastic optimization to: (1) enforce a constraint on the probability of satisfying a set of constraints aggregated via application-specific logic (constituting an event), and (2) to be applied to general infinite-dimensional optimization (InfiniteOpt) problems (i.e., time, space, and/or uncertainty domains). This new constraint class offers significant modeling flexibility in posing InfiniteOpt constraints that are enforced over a certain portion of their domain (e.g., to a certain probability level), but can be challenging to reformulate/solve due to difficulties in representing arbitrary logical conditions and specifying a probabilistic measure on a collection of constraints. To address these challenges, we derive a Generalized Disjunctive Programming (GDP) representation of event constrained optimization problems, which readily enables posing logical event conditions in a standard form and allows to draw from a suite of GDP solution strategies that leverage the special structure of this problem class. We also extend several approximation techniques from the chance constraint literature to provide a means to reformulate certain event constraints without the use of binary variables. We illustrate these findings with case studies in stochastic optimal power flow, dynamic disease control, and optimal 2D diffusion.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
Computers & Chemical Engineering
Computers & Chemical Engineering 工程技术-工程:化工
CiteScore
8.70
自引率
14.00%
发文量
374
审稿时长
70 days
期刊介绍: Computers & Chemical Engineering is primarily a journal of record for new developments in the application of computing and systems technology to chemical engineering problems.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信