A qualitative physics based on confluences
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Modeling and integer programming techniques applied to propositional calculus
Computers and Operations Research - Special issue: Expert systems and operations research
Optimization Software Guide
Verification of Hybrid Systems via Mathematical Programming
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Reach control on simplices by continuous state feedback
ACC'09 Proceedings of the 2009 conference on American Control Conference
A mixed logic enhanced multi-model switching predictive controller for nonlinear dynamic process
Control and Intelligent Systems
Reach Control on Simplices by Continuous State Feedback
SIAM Journal on Control and Optimization
Optimal control of a class of nonlinear systems: mixed integer programming based approach
ROCOM'06 Proceedings of the 6th WSEAS international conference on Robotics, control and manufacturing technology
Automatica (Journal of IFAC)
Control of systems integrating logic, dynamics, and constraints
Automatica (Journal of IFAC)
Modeling with discrete-time recurrent fuzzy systems via mixed-integer optimization
Fuzzy Sets and Systems
| Hi-index | 22.15 |
By using linear constraints on integer variables, logical inference can be incorporated within model predictive control and model-based detection problems resulting in mixed integer quadratic or mixed integer linear programming problems. Qualitative knowledge can be used to prioritize control objectives, or to improve performance of detection schemes. This article demonstrates some capabilities of combining logic using integer variables with quantitative models.