book/book chapter

Lectures on urban economics

Publication Date

January 1, 2011

Author(s)

Suggested Citation
Jan K. Brueckner (2011) Lectures on urban economics. MIT Press.

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.

book/book chapter

Urban and industrial environments

Publication Date

December 1, 2012

Author(s)

Joseph Dimento, Cliff Ellis

Abstract

This book presents a history of the United States freeway system especially as it relates to cities and urban planning. The roles played by transportation professionals and others, such as government officials, are explored. The impacts of changes in legislation, funding, and environmental policy are outlined. Three case studies of freeway development are included: Syracuse, New York; Los Angeles, California; and Memphis, Tennessee. Chapter topics include: America’s changing cities; The 1930s; National policy, 1939-1945; Postwar urban freeways; and Changing visions and regulations.

Suggested Citation
Joseph F.C. DiMento and Cliff Ellis (2012) Urban and industrial environments. MIT Press.

published journal article

Discrete choice with an oddball alternative

Transportation Research Part B: Methodological

Publication Date

June 1, 1995

Author(s)

Abstract

A discrete choice model is presented that explicitly recognizes differences in the error structure associated with a single `’oddball” alternative within the choice set that has properties not common to the other alternatives. The model purportedly resolves questions related to the use of alternative-specific variables in transportation choice models to capture the effects of attributes unique to a single travel alternative, such as `’schedule frequency” in the case of modal choice between personal auto and public transit. The model, which shares the general error structure of multinomial legit, is shown to be a modification of a multinomial legit subchoice by terms involving the exponential integral. The model is shown to yield different results from those produced by an equivalent multinomial legit specification. Comparisons to multinomial probit and nested legit formulations are also made.

Suggested Citation
W.W. Recker (1995) “Discrete choice with an oddball alternative”, Transportation Research Part B: Methodological, 29(3), pp. 201–211. Available at: 10.1016/0191-2615(95)00002-u.