A Mathematical Logic Approach for the Transformation of the Linear Conditional Piecewise Functions of Dispersion-and-Store and Cell Transmission Traffic Flow Models into Linear Mixed-Integer Form

References

• Algadhi S., Mahmassani H., Koshi M. Modeling crowd behavior and movement: Application to Makkah pilgrimage. Transportation and Traffic Theory, Proc. 11th Internat. Sympos. Transit and Traffic Theory (1990) (Elsevier, New York) 59–78Google Scholar
• Beaumont N. An algorithm for disjunctive programs. Eur. J. Oper. Res. (1990) 48:362–371Crossref, Google Scholar
• Bockmayr A., Kasper T. Branch-and-infer: A unifying framework for integer and finite domain constraint programming. INFORMS J. Comput. (1998) 10(3):287–300Link, Google Scholar
• Chang G-L., Wu J., Lieu H. Real-time incident-responsive corridor control: A successive linear programming approach. Proc. 4th Annual Meeting of IVHS America (1994) 2(Atlanta)907–918Google Scholar
• Chang G-L., Mahmassani H., Herman R. A macroscopic traffic simulation model to investigate peak-period commuter decision dynamics. Transportation Res. Record (1985) 1005:107–121Google Scholar
• Cremer M., Schoof S. On control strategies for urban traffic corridors. Proc. XXX IFAC Conf. Control Comput. Comm. Transportation (1989) Paris, France(Pergamon Press, Oxford, NY) 213–219Google Scholar
• Daganzo C. F. The cell-transmission model: A simple dynamic representation of freeway traffic. Transportation Res.-B (1994) 28(4):269–287Crossref, Google Scholar
• Daganzo C. F. The cell-transmission model. Part II. Network traffic. Transportation Res.-B (1995a) 29(2):79–93Crossref, Google Scholar
• Daganzo C. F. A finite difference approximation of the kinematic wave model of traffic flow. Transportation Res.-B (1995b) 29(4):261–276Crossref, Google Scholar
• Daganzo C. F. Requiem for second-order fluid approximations of traffic flow. Transportation Res.-B (1995c) 29B(4):277–286Crossref, Google Scholar
• D'Ans G. C., Gazis D. C. Optimal control of oversaturated store-and forward transportation networks. Transportation Sci. (1976) 10:1–19Link, Google Scholar
• Dantzig G. B.Linear Programming and Extensions (1963) (Princeton University Press, Princeton, NJ) Crossref, Google Scholar
• De Schutter B., De Moor B. Optimal traffic light control for a single intersection. Eur. J. Control (1998) 4(3):260–276Crossref, Google Scholar
• Gomes G., Horowitz R. Optimal freeway ramp metering using the asymmetric cell transmission model. Transportation Res. Part C (2006) 14:244–262Crossref, Google Scholar
• Hooker J. N. Logic-based methods for optimization: Combining optimization and constraint satisfaction. Wiley-Interscience Series in Discrete Mathematics and Optimization (2000) (Wiley-Interscience, New York) Google Scholar
• Hooker J. N., Osorio M. A. Mixed logical/linear programming. Discrete Appl. Math. (1999) 96–97(1–3):395–442Crossref, Google Scholar
• Hromkovic J.Algorithms for Hard Problems (Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics) (2004) 2nd ed.(Springer-Verlag, Berlin) Google Scholar
• Ibaraki T. Integer programming formulation of combinatorial optimization problems. Discrete Math. (1976) 16:39–52Crossref, Google Scholar
• Jain V., Grossmann I. E. Algorithms for hybrid MILP/CP models for a class of optimization problems. INFORMS J. Comput. (2001) 13(4):258–276Link, Google Scholar
• Jeroslow R. G. Representability in mixed integer programming, I: Characterization results. Discrete Appl. Math. (1987) 17:223–243Crossref, Google Scholar
• Jeroslow R. G., Lowe J. K. Modeling with integer variables. Math. Programming Stud. (1984) 22:167–184Crossref, Google Scholar
• Lighthill M. J., Whitham J. B. On kinematic waves. I flow movement in long rivers. II A theory of traffic flow on long crowded roads. Proc. Roy. Soc. A (1955) 229:317–345Crossref, Google Scholar
• Lin W.-H., Wang C. An enhanced 0-1 mixed-integer LP formulation for traffic signal control. IEEE Trans. Intelligent Transportation Systems (2004) 5(4):238–245Crossref, Google Scholar
• Lo H. K. A cell-based traffic control formulation: Strategies and benefits of dynamic timing plans. Transportation Sci. (2001) 35(2):148–164Link, Google Scholar
• Lustig I., Puget J.-F. Program does not equal program: Constraint programming and its relationship to mathematical programming. INTERFACES (2001) 31(6):29–53Link, Google Scholar
• Mayer H.-H. A theoretical and computational comparison of “equivalent” mixed integer formulations. Naval Res. Logist. Quart. (1981) 28:115–131Crossref, Google Scholar
• Nemhauser G. L., Wolsey L. A. Integer and combinatorial optimization. Wiley-Interscience Series in Discrete Mathematics and Optimization (1998) (Wiley-Interscience, New York) Google Scholar
• Papageorgiou M. An integrated control approach for traffic corridors. Transportation Res.-C (1995) 3(1):19–30Crossref, Google Scholar
• Richards P. I. Shocks on the highway. Oper. Res. (1956) 4:42–51Link, Google Scholar
• Rodosek R., Wallace M. G., Hajian M. T. A new approach to integrate mixed integer programming with constraint logic programming. Ann. Oper. Res. (1999) 86:63–87Crossref, Google Scholar
• Sheffi Y., Mahmassani H., Powell W. B. A transportation network evacuation model. Transportation Res. (1982) 16A:209–218Crossref, Google Scholar
• Shoenfield J. R.Mathematical Logic (1967) (Addison-Wesley, Reading, MA) Google Scholar
• Singh M. G., Tamura H. Modelling and hierarchical optimization for oversaturated urban road traffic networks. Internat. J. Control (1974) 20(6):913–934Crossref, Google Scholar
• Stephanedes Y. J., Chang K.-K. Optimal control of freeway corridors. J. Transportation Engrg. (1993) 119(4):504–514Crossref, Google Scholar
• Ukkusuri S. V., Waller S. T. Linear programming models for the user and system optimal dynamic network design problem: Formulations, comparisons and extensions. Networks and Spatial Econom. (2007) . Published online, DOI 10.1007/S11067-007-9019-6Google Scholar
• Williams H. P.Model Building in Mathematical Programming (1988) (Wiley, New York) Google Scholar
• Williams H. P. Logic applied to integer programming and integer programming applied to logic. Eur. J. Oper. Res. (1995) 81:605–616Crossref, Google Scholar
• Wu J., Chang G.-L. An integrated optimal control and algorithm for commuting corridors. Internat. Trans. Oper. Res. (1999) 6:39–55Crossref, Google Scholar
• Ziliaskopoulos A. K. A linear programming model for the single destination system optimum dynamic traffic assignment problem. Transportation Sci. (2000) 34(1):37–49Link, Google Scholar