Real-time system design based on logic OR constrained optimization

MaRDI QIDQ5490414zbMATH OpenFDO

Authors Yongji Wang, Yuan Wang, Jiansheng Xing, Haitao Zeng

Publication date 4 October 2006

zbMATH Keywords

branch and bound algorithminequality constraintMBPmixed Boolean-integer programmingrate monotonicRMSCOPstandard constrained optimization problem

Mathematics Subject Classification ID

Boolean programming (90C09) Mixed integer programming (90C11) Polyhedral combinatorics, branch-and-bound, branch-and-cut (90C57)

Recommendations

• 基于混合搜索的含逻辑“与”“或”的RM优化算法
• Solving generalized optimization problems subject to SMT constraints
• Optimal control of discrete event systems with weakly hard real-time constraints
• scientific article; zbMATH DE number 1832228
• Mixed integer programming for a special logic constrained optimal control problem

Cited in

(4)

• Solving linear optimization over arithmetic constraint formula
• Optimizing path real-time logic for unified real-time system
• An interleaved depth-first search method for the linear optimization problem with disjunctive constraints
• scientific article; zbMATH DE number 5994811 (Why is no real title available?)

This page was built for publication: Real-time system design based on logic OR constrained optimization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5490414)