published journal article
Area of Expertise: Unspecified
conference paper
Material flow planning in cellular manufacturing systems by computer simulation
2009 third UKSim european symposium on computer modeling and simulation
Publication Date
Author(s)
Suggested Citation
Fatmeh Ranaiefar, Ruzbeh Mohagheghzadeh, Masud Chitsaz, Mohsen Fattahi Ardakani and Mohammad Javad Shahbazi (2009) “Material flow planning in cellular manufacturing systems by computer simulation”, in 2009 third UKSim european symposium on computer modeling and simulation. IEEE, pp. 430–434. Available at: 10.1109/ems.2009.43.other
Opportunity for accuracy: Terrestrial SOPs attractive supplement to GNSS
GPS World
Publication Date
Author(s)
Abstract
Exploiting terrestrial signals of opportunity (SOPs) can significantly reduce the vertical dilution of precision (VDOP) of a GNSS navigation solution. Simulation and experimental results show that adding cellular SOP observables is more effective in reducing VDOP than adding GNSS space vehicle (SV) observables.
Suggested Citation
J.J. Morales, J.J. Khalife and Z.M. Kassas (2016) “Opportunity for accuracy: Terrestrial SOPs attractive supplement to GNSS”, GPS World, 7 March, pp. 22–29. Available at: https://www.gpsworld.com/opportunity-for-accuracy/.conference paper
Advances in the PC interface of the TRANSYT-7F traffic simulation model
Proceedings, 59th Annual Meeting of the Institute of Transportation Engineers
Publication Date
Author(s)
Suggested Citation
John D. Leonard and Wilfred W. Recker (1989) “Advances in the PC interface of the TRANSYT-7F traffic simulation model”, in Proceedings, 59th Annual Meeting of the Institute of Transportation Engineers. San Diego.book/book chapter
Lectures on urban economics
Publication Date
Author(s)
Suggested Citation
Jan K. Brueckner (2011) Lectures on urban economics. MIT Press.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
Author(s)
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
Author(s)
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.Developing a Web-Based Master Program in Transportation
Status
Project Timeline
Principal Investigator
Sponsor, Program
Team Departmental Affiliation
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
Author(s)
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
