published journal article

Development of an estimation procedure for an activity-based travel demand model

Computer-Aided Civil and Infrastructure Engineering

Abstract

In this article, we implement an estimation procedure for a particular mathematical programming activity-based model to estimate the relative importance of factors associated with spatial and temporal interrelationships among the out-of-home activities that motivate a household’s need or desire to travel. The method uses a genetic algorithm to estimate coefficient values of the utility function, based on a particular multidimensional sequence alignment method to deal with the nominal, discrete attributes of the activity/travel pattern (e.g., which household member performs which activity, which vehicle is used, sequencing of activities), and a time sequence alignment method to handle temporal attributes of the activity pattern (e.g., starting and ending time of each activity and/or travel). The estimation procedure is tested on data drawn from a well-known activity/travel survey.

Suggested Citation
W. Recker, J. Duan and H. Wang (2008) “Development of an estimation procedure for an activity-based travel demand model”, Computer-Aided Civil and Infrastructure Engineering, 23(7), pp. 483–501. Available at: 10.1111/j.1467-8667.2008.00555.x.

published journal article

Simulation studies of information propagation in a self-organizing distributed traffic information system

Transportation Research Part C: Emerging Technologies

Publication Date

October 1, 2005

Author(s)

Suggested Citation
Xu Yang and Will Recker (2005) “Simulation studies of information propagation in a self-organizing distributed traffic information system”, Transportation Research Part C: Emerging Technologies, 13(5-6), pp. 370–390. Available at: 10.1016/j.trc.2005.11.001.

conference paper

Development of a prototype real-time expert system for managing non-recurring freeway congestion

Proceedings of the VTT symposium (valtion teknillinen tutkimuskeskus)

Publication Date

January 1, 1990
Suggested Citation
Stephen G. Ritchie and Neil A. Prosser (1990) “Development of a prototype real-time expert system for managing non-recurring freeway congestion”, in Proceedings of the VTT symposium (valtion teknillinen tutkimuskeskus), pp. 129–153.

published journal article

Business Churning and Neighborhood Instability: Is There a Link?

International Regional Science Review

Publication Date

January 12, 2023

Author(s)

Jae Hong Kim, Kevin Kane, Young-An Kim, John R. Hipp

Abstract

Much of the work concerning economic dynamism has focused on its aggregate-level implications, while there have been rising concerns about business displacement at the community or neighborhood level. In this article, we analyze this important (restructuring) process using detailed establishment-level business information and explore how it manifests itself across space within the Los Angeles—Long Beach—Santa Ana, CA Urbanized Area. We also investigate the association between business churning and neighborhood-level housing vacancy rates to understand the implications of dramatic changes in the business landscape. We find that housing vacancies are more likely to increase in urban neighborhoods with a higher establishment death rate, while the creation of new businesses can mitigate the association to some extent. We also detect substantial variation across decades not only in the spatial distribution of business churning but also in its association with housing vacancy rates, suggesting the evolving nature of business dynamics and their implications.

Suggested Citation
Jae Hong Kim, Kevin Kane, Young-An Kim and John R. Hipp (2023) “Business Churning and Neighborhood Instability: Is There a Link?”, International Regional Science Review, p. 01600176221145873. Available at: 10.1177/01600176221145873.

conference paper

Toward dynamic, longitudinal, agent-based microsimulation models of human activity in urban settings

Transportation research board 82nd annual meeting

Abstract

Recent trends toward operationalization of activity-based microsimulation models are producing new research questions related to the development of comprehensive models of human behavior. This paper provides a view of what will be necessary for the development of a dynamic, longitudinal, agent-based microsimulation model of human activity in urban settings. The discussion outlines a conceptual model of an environmentally situated human agent that must adapt to its environment in order to meet its goals. The agent’s ability to perceive, interpret and decide upon how to interact with its environment is viewed as a series of sub-models that are themselves the target of a set of learning procedures.

Suggested Citation
Craig R Rindt, James E Marca and Michael G McNally (2002) “Toward dynamic, longitudinal, agent-based microsimulation models of human activity in urban settings”, in Transportation research board 82nd annual meeting. Available at: https://escholarship.org/uc/item/0r28t441.

research report

Development of an Adaptive Corridor Traffic Control Model

Publication Date

March 1, 2010

Author(s)

Will Recker, Xing Zhenhg, Lianyu Chu

Abstract

This research develops and tests, via microscopic simulation, a real-time adaptive control system for corridor management in the form of three real-time adaptive control strategies: intersection control, ramp control and an integrated control that combines both intersection and ramp control. The development of these strategies is based on a mathematical representation that describes the behavior of traffic flow in corridor networks and actuated controller operation. Only those parameters commonly found in modern actuated controllers (e.g., Type 170 and 2070 controllers) are considered in the formulation of the optimal control problem. As a result, the proposed strategies easily could be implemented with minimal adaptation of existing field devices and the software that  controls  their  operation.  Microscopic  simulation  was  employed  to  test  and  evaluate  the performance of the proposed strategies in a calibrated network. Simulation results indicate that the proposed strategies are able to increase overall system performance and also the local performance on ramps and intersections. Prior to testing the complete model, separate tests were conducted to evaluate the intersection control model on: 1) an isolated intersection, and 2) a network of intersections along an arterial. The complete model was then tested and evaluated on the Alton Parkway/I-405 corridor network in Irvine, California. In testing the optimal control model, we simulated a variety of conditions on the freeway and arterial subsystems that cover the range of demand from peak to non-peak, incident to non-incident, conditions. The results of these experiments were evaluated against full-actuated operation and found to offer improved performance.

Suggested Citation
Will Recker, Xing Zhenhg and Lianyu Chu (2010) Development of an Adaptive Corridor Traffic Control Model. Final Report UCB-ITS-PRR-2010-13. Institute of Transportation Studies, Irvine. Available at: https://escholarship.org/uc/item/3tx5b17h.

conference paper

Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection

2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS)

Publication Date

May 1, 2024

Author(s)

Kohei Tsujio, Mohammad Al Faruque, Yasser Shoukry

Abstract

Cyber-physical systems (CPS) play a pivotal role in modern critical infrastructure, spanning sectors such as energy, transportation, healthcare, and manufacturing. These systems combine digital and physical elements, making them susceptible to a new class of threats known as cyber kinetic vulnerabilities. Such vulnerabilities can exploit weaknesses in the cyber world to force physical consequences and pose significant risks to both human safety and infrastructure integrity. This paper presents a novel tool, named Rampo, that can perform binary code analysis to identify cyber kinetic vulnerabilities in CPS. The proposed tool takes as input a Signal Temporal Logic (STL) formula that describes the kinetic effect—i.e., the behavior of the “physical” system—that one wants to avoid. The tool then searches the possible “cyber” trajectories in the binary code that may lead to such “physical” behavior. This search integrates binary code analysis tools and hybrid systems falsification tools using a Counter-Example Guided Abstraction Refinement (CEGAR) approach. In particular, Rampo starts by analyzing the binary code to extract symbolic constraints that represent the different paths in the code. These symbolic constraints are then passed to a Satisfiability Modulo Theories (SMT) solver to extract the range of control signals that can be produced by each of the paths in the code. The next step is to search over possible “physical” trajectories using a hybrid systems falsification tool that adheres to the behavior of the “cyber” paths and yet leads to violations of the STL formula. Since the number of “cyber” paths that need to be explored increases exponentially with the length of “physical” trajectories, we iteratively perform refinement of the “cyber” path constraints based on the previous falsification result and traverse the abstract path tree obtained from the control program to explore the search space of the system. To illustrate the practical utility of binary code analysis in identifying cyber kinetic vulnerabilities, we present case studies from diverse CPS domains, showcasing how they can be discovered in their control programs. In particular, compared to off-the-shelf tools, our tool could compute the same number of vulnerabilities while leading to a speedup that ranges from 3× to 98×.

Suggested Citation
Kohei Tsujio, Mohammad Abdullah Al Faruque and Yasser Shoukry (2024) “Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection”, in 2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS). 2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS), pp. 45–54. Available at: 10.1109/ICCPS61052.2024.00011.

published journal article

Walkability, transit access, and traffic exposure for low-income residents with subsidized housing

American journal of public health

Publication Date

April 1, 2013

Abstract

This article describes a study undertaken to consider the factors of walkability, transit access, and traffic exposure for low-income residents living in subsidized housing. Within the context of smart growth development, the authors assessed the spatial distribution of subsidized housing units provided through 2 federally supported, low-income housing programs in Orange County, California: the Housing Choice Voucher Program and the Low Income Housing Tax Credit (LIHTC) program. They used data from multiple sources to examine land-use and health-related built environment factors and then evaluated the associations of those patterns with exposure to different traffic levels. Their results showed that subsidized projects or units in walkable, poorer neighborhoods were associated with lower traffic exposure; higher traffic exposure was associated with more transit service, a Hispanic majority, and mixed-use areas. They conclude that programs that adopt smart growth development goals can provide good access to amenities and encourage active travel and physical activity, and yet may not expose residents to higher traffic levels.

Suggested Citation
Douglas Houston, Victoria Basolo and Dongwoo Yang (2013) “Walkability, transit access, and traffic exposure for low-income residents with subsidized housing”, American journal of public health, 103(4), pp. 673–678. Available at: 10.2105/ajph.2012.300734.

published journal article

Compartmental model and fleet-size management for shared mobility systems with for-hire vehicles

Transportation Research Part C: Emerging Technologies

Publication Date

August 1, 2021

Author(s)

Wenlong Jin, Irene Martinez, Monica Menendez

Abstract

There have been conflicting results in the literature regarding the congestion impacts of shared mobility systems with for-hire vehicles (FHVs). To the best of our knowledge, there is no physically meaningful and mathematically tractable model to explain these conflicting results or devise efficient management schemes for such mobility systems. In this paper, we attempt to fill the gap by presenting a compartmental model for passenger trip and vehicle dynamics in shared mobility systems with FHVs and discussing the impacts of different fleet-size management schemes. To develop the compartmental model, we first divide passenger trips into four compartments: planned, waiting, traveling, and completed. We describe the dynamics of the waiting trips by the point queue model, and those of the traveling trips by an extended bathtub model. As the traditional bathtub model for vehicular trips, the extended bathtub model is derived in a relative space with respect to individual trips’ distances to their destinations. However, different from the traditional bathtub model, vehicular dynamics and trip dynamics in the extended bathtub model are not overlapping, as the dynamics of FHVs are controlled by the fleet-size management scheme; but they are related, as traveling trips travel with occupied FHVs, and empty FHVs supply seats to waiting trips. Within this modeling framework, the matching process between waiting passengers and FHVs is modeled at the aggregate level, such that the passenger trip flow from the waiting compartment to the traveling compartment equals the minimum of the waiting trips’ demand of seats and the supply of seats determined by the completion rate of traveling trips and the fleet-size management scheme. In addition to the pooling ratio, the deadhead miles, the detour miles caused by pooling services, and other extra miles associated with the matching process are captured by another exogenous parameter, namely, the extra mileage ratio. With these assumptions and simplifications, the resulting compartmental model is a deterministic, coupled queueing model, which can be written as a system of differential equations. We also present the sufficient and necessary condition on the fleet-size management scheme for the model to be well-defined. With the parsimonious, closed-form compartmental model, we demonstrate theoretically that limiting the wait time leads to a fleet-size management scheme equivalent to that of the privately operated vehicles (POVs), i.e., the POV scheme. In such a system, the completion rate depends on the extra trip mileage ratio, as well as the pooling ratio. With 100% autonomous FHVs, the optimal fleet size that minimizes the total costs occurs at the maximum flow-rate and the free-flow speed. With mixed POVs and FHVs, we extend the compartmental model and numerically solve for the optimal fleet sizes under different market penetration rates. This study reconciles the conflicting results in the literature. We find that, with a low pooling ratio, the overall system’s performance can be deteriorated or improved, depending on the fleet-size management scheme: with the POV scheme, the system could become more congested; but with an appropriate fleet-size cap, the system’s performance can be substantially improved. A major policy implication of this study is that implementing a cap for the FHV fleet size is a viable measure to mitigate the congestion effects of extra deadhead and detour miles caused by FHVs.

Suggested Citation
Wen-Long Jin, Irene Martinez and Monica Menendez (2021) “Compartmental model and fleet-size management for shared mobility systems with for-hire vehicles”, Transportation Research Part C: Emerging Technologies, 129, p. 103236. Available at: 10.1016/j.trc.2021.103236.

published journal article

Validation of a macroscopic lane-changing model

Transportation Research Record

Publication Date

January 1, 2013
Suggested Citation
Qi-Jian Gan and Wen-Long Jin (2013) “Validation of a macroscopic lane-changing model”, Transportation Research Record, 2391(1), pp. 113–123. Available at: 10.3141/2391-11.