Many ecological population models consider taxis as the directed movement of animals in response to a stimulus. The taxis is named direct if the animals are guided by the density gradient of some other population or indirect if they are guided by the density of a chemical secreted by individuals of the other population. Let $u$ and $v$ denote the densities of two populations and $w$ the density of the chemical secreted by individuals in the $v$ population. We consider a bounded, open set $Ω\subset \mathbb{R}^N$ with regular boundary and prove that for the space dimension $N\leq 2$ the solution to the Lotka-Volterra competition model with repulsive indirect taxis and homogeneous Neumann boundary conditions $$u_t - d_uΔu = χ abla \cdot u abla w +μ_1u(1-u-a_1v)\,,$$ $$ v_t - d_vΔv = μ_2v(1-v-a_2u)\,,$$ $$\varepsilon ( w_t - d_wΔw )= v- w\, , $$ converges to the solution of repulsive direct-taxis model: $$ u_t - d_uΔu = χ abla \cdot u abla v +μ_1u(1-u-a_1v)\,,$$ $$ v_t - d_vΔv = μ_2v(1-v-a_2u)\,$$ when $\varepsilon\longrightarrow 0$. For space dimension $N\geq 3$ we use the compactness argument to show that the result holds in some weak sense. A similar result is also proved for a ty
In this manuscript, an attempt has been made to understand the effects of prey-taxis on the existence of global-in-time solutions and dynamics in an eco-epidemiological model, particularly under the influence of slow dispersal characterized by the $p$-Laplacian operator and enhanced mortality of the infected prey, subject to specific assumptions on the taxis sensitivity functions. We prove the global existence of classical solutions when the infected prey undergoes random motion and exhibits standard mortality. Under the assumption that the infected prey disperses slowly and exhibits enhanced mortality, we prove the global existence of weak solutions. Following a detailed mathematical investigation of the proposed model, we shift our focus to analyse the stability of the positive equilibrium point under the scenario where all species exhibit linear diffusion, the infected prey experiences standard mortality, and the predator exhibits taxis exclusively toward the infected prey. Within this framework, we establish the occurrence of a steady-state bifurcation. Numerical simulations are then carried out to observe this dynamical behavior. Our results have large scale applications to bi
This study examines travelers' preferences for electric flying taxi services in the United Arab Emirates (UAE) under varying travel conditions and service configurations. A stated preference (SP) survey of 213 respondents was conducted to analyze behavior across multiple transport alternatives, including private vehicles, public transport, ground taxis, and both shared and exclusive flying taxi services. The analysis considered key attributes such as travel time and cost, along with contextual factors including travel distance, congestion conditions, day of travel, and trip purpose. In addition, follow-up questions were used to capture the underlying reasons for mode choice and to assess potential modal shifts under changes in travel conditions. The results show that flying taxi services account for 22.6% of total responses, with higher shares under congested conditions and declining shares as travel distance increases. Clear differences are observed between shared and exclusive services. Shared flying taxis achieve higher modal shares and exhibit greater responsiveness to travel conditions, particularly at moderate distances, during weekdays, and for leisure trips. In contrast, ex
Autonomous taxi services represent a transformative advancement in urban mobility, offering safety, efficiency, and round-the-clock operations. While existing literature has explored user acceptance of autonomous taxis through stated preference experiments and hypothetical scenarios, few studies have investigated actual user behavior based on operational AV services. This study addresses that gap by leveraging survey data from Wuhan, China, where Baidu's Apollo Robotaxi service operates at scale. We design a realistic survey incorporating actual service attributes and collect 336 valid responses from actual users. Using Structural Equation Modeling, we identify six latent psychological constructs, namely Trust \& Policy Support, Cost Sensitivity, Performance, Behavioral Intention, Lifestyle, and Education. Their influences on adoption behavior, measured by the selection frequency of autonomous taxis in ten scenarios, are examined and interpreted. Results show that Cost Sensitivity and Behavioral Intention are the strongest positive predictors of adoption, while other latent constructs play more nuanced roles. The model demonstrates strong goodness-of-fit across multiple indices
Autonomous air taxis are poised to revolutionize urban mass transportation, however, ensuring their safety and reliability remains an open challenge. Validating autonomy solutions on air taxis in the real world presents complexities, risks, and costs that further convolute this challenge. Verification and Validation (V&V) frameworks play a crucial role in the design and development of highly reliable systems by formally verifying safety properties and validating algorithm behavior across diverse operational scenarios. Advancements in high-fidelity simulators have significantly enhanced their capability to emulate real-world conditions, encouraging their use for validating autonomous air taxi solutions, especially during early development stages. This evolution underscores the growing importance of simulation environments, not only as complementary tools to real-world testing but as essential platforms for evaluating algorithms in a controlled, reproducible, and scalable manner. This work presents a V&V framework for a vision-based landing system for air taxis with vertical take-off and landing (VTOL) capabilities. Specifically, we use Verse, a tool for formal verification,
Electrification of transportation is critical for a low-carbon society. In particular, public vehicles (e.g., taxis) provide a crucial opportunity for electrification. Despite the benefits of eco-friendliness and energy efficiency, adoption of electric taxis faces several obstacles, including constrained driving range, long recharging duration, limited charging stations and low gas price, all of which impede taxi drivers' decisions to switch to electric taxis. On the other hand, the popularity of ride-hailing mobile apps facilitates the computerization and optimization of taxi service strategies, which can provide computer-assisted decisions of navigation and roaming for taxi drivers to locate potential customers. This paper examines the viability of electric taxis with the assistance of taxi service strategy optimization, in comparison with conventional taxis with internal combustion engines. A big data study is provided using a large dataset of real-world taxi trips in New York City. Our methodology is to first model the computerized taxi service strategy by Markov Decision Process (MDP), and then obtain the optimized taxi service strategy based on NYC taxi trip dataset. The prof
Besides air pollution and commuter stress, traffic congestions also lead to loss of productivity, increase in delay, vehicle operating cost, and accidents. To assuage these issues, several logistics companies are planning to launch air taxis, electric-powered vehicles that aim to provide faster passenger commutes on a daily basis at an affordable cost. This research is one of the first to propose a centralized framework to dispatch and route flying taxis in a cyber-physical network considering unique constraints pertaining to air taxi operations. The feasibility of the proposed approach is tested using potential air taxi demands in New York City (NYC) provided by a prior study. The results of the experimentation suggest that the minimum number of air taxis required for efficient operation in NYC is 84, functioning with an average utilization rate of 66%. In addition, the impacts of commuter willingness to fly rate, percentage of demand fulfillment, on-road travel limit, maximum customer wait time, and arrival distribution on the optimal number of air taxis, utilization rate, number of customers served and cost incurred per customer are examined. Analyses show that the willingness t
We provide a short review of existing models with multiple taxis performed by (at least) one species and consider a new mathematical model for tumor invasion featuring two mutually exclusive cell phenotypes (migrating and proliferating). The migrating cells perform nonlinear diffusion and two types of taxis in response to non-diffusing cues: away from proliferating cells and up the gradient of surrounding tissue. Transitions between the two cell subpopulations are influenced by subcellular (receptor binding) dynamics, thus conferring the setting a multiscale character. We prove global existence of weak solutions to a simplified model version and perform numerical simulations for the full setting under several phenotype switching and motility scenarios. We also compare (via simulations) this model with the corresponding haptotaxis-chemotaxis one featuring indirect chemorepellent production and provide a discussion about possible model extensions and mathematical challenges.
The role of predator evasion mediated by chemical signaling is studied in a diffusive prey-predator model when prey-taxis is taken into account (model A) or not (model B) with taxis strength coefficients $χ$ and $ξ$ respectively. In the kinetic part of the models it is assumed that the rate of prey consumption includes functional responses of Holling, Bedington-DeAngelis or Crowley-Martin. Existence of global-in-time classical solutions to model A is proved in space dimension n=1 while to model B for any $n\geq 1$. The Crowley-Martin response combined with bounded rate of signal production precludes blow-up of solution in model A for $n\leq 3$. Local and global stability of a constant coexistence steady state which is stable for ODE and purely diffusive model are studied along with mechanism of Hopf bifurcation for Model B when $χ$ exceeds some critical value. In model A it is shown that prey taxis may destabilize the coexistence steady state provided $χ$ and $ξ$ are big enough. Numerical simulation depicts emergence of complex space-time patterns for both models and indicate existence of solutions to model A which blow-up in finite time for $n=2$
Autonomous surface vessels are a promising building block of the future's transport sector and are investigated by research groups worldwide. This paper presents a comprehensive and systematic overview of the autonomous research vessel Solgenia including the latest investigations and recently presented methods that contributed to the fields of autonomous systems, applied numerical optimization, nonlinear model predictive control, multi-extended-object-tracking, computer vision, and collision avoidance. These are considered to be the main components of autonomous water taxi applications. Autonomous water taxis have the potential to transform the traffic in cities close to the water into a more efficient, sustainable, and flexible future state. Regarding this transformation, the test platform Solgenia offers an opportunity to gain new insights by investigating novel methods in real-world experiments. An established test platform will strongly reduce the effort required for real-world experiments in the future.