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

Yannis Pavlis () and Will Recker ()
Additional contact information
Yannis Pavlis: Department of Civil Engineering and Institute of Transportation Studies, University of California, Irvine, California 92697, and Centre for Research and Technology Hellas---Hellenic Institute of Transport (CERTH---HIT), 15231 Chalandri-Athens, Greece
Will Recker: Department of Civil Engineering and Institute of Transportation Studies, University of California, Irvine, California 92697

Transportation Science, 2009, vol. 43, issue 1, 98-116

Abstract: The modeling of traffic control systems for solving such problems as surface street signalization, dynamic traffic assignment, etc., typically results in the appearance of a conditional function. For example, the consistent representation of the outflow discharge at an approach of a signalized intersection implies a function that is conditional on the signal indication and the prevailing traffic conditions. Representing such functions by some sort of constraint(s), ideally linear, so as to be considered in the context of a mathematical programming problem, is a nontrivial task, most often resolved by adopting restrictive assumptions regarding real-life process behavior. To address this general problem, we develop two methodologies that are largely based on analogies from mathematical logic that provide a practical device for the transformation of a specific form of a linear conditional piecewise function into a mixed integer model (MIM), i.e., a set of mixed-integer linear inequality constraints. We show the applicability of these methodologies to transforming into a MIM virtually every possible conditional piecewise function that can be found when one is modeling transportation systems based on the widely adopted dispersion-and-store and cell transmission traffic flow models, as well as to analyzing existing MIMs for identifying and eliminating redundancies.

Keywords: mathematical logic; conditional piecewise functions; dispersion-and-store model; cell transmission model; mathematical programming (search for similar items in EconPapers)
Date: 2009
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (6)

Downloads: (external link)
http://dx.doi.org/10.1287/trsc.1080.0254 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:inm:ortrsc:v:43:y:2009:i:1:p:98-116

Access Statistics for this article

More articles in Transportation Science from INFORMS Contact information at EDIRC.
Bibliographic data for series maintained by Chris Asher ().