arXiv subjects

Jiawei Wang

Publications and source records attributed to Jiawei Wang.

At least 181 records · Page 10Linked to original sources

arXiv2022

Scalpel: The Python Static Analysis Framework

Despite being the most popular programming language, Python has not yet received enough attention from the community. To the best of our knowledge, there is no general static analysis framework proposed to facilitate the implementation of dedicated Python static analyzers. To fill this gap, we design and implement such a framework (named Scalpel) and make it publicly available as an open-source project. The Scalpel framework has already integrated a number of fundamental static analysis functions (e.g., call graph constructions, control-flow graph constructions, alias analysis, etc.) that are ready to be reused by developers to implement client applications focusing on statically resolving dedicated Python problems such as detecting bugs or fixing vulnerabilities.

cs.SE↗

arXiv2022

Cooperative Formation of Autonomous Vehicles in Mixed Traffic Flow: Beyond Platooning

Cooperative formation and control of autonomous vehicles (AVs) promise increased efficiency and safety on public roads. In mixed traffic flow consisting of AVs and human-driven vehicles (HDVs), the prevailing platooning of multiple AVs is not the only choice for cooperative formation. In this paper, we investigate how different formations of AVs impact traffic performance from a set-function optimization perspective. We first reveal a stability invariance property and a diminishing improvement property of noncooperative formation when AVs adopt typical Adaptive Cruise Control (ACC) strategies. Then, we focus on the case of cooperative formation where the AV controllers are cooperatively designed %redesign the control strategies of AVs in different formations and investigate the optimal formation of multiple AVs using set-function optimization. Two predominant optimal formations, i.e., uniform distribution and platoon formation, emerge from extensive numerical experiments. Interestingly, platooning might have the least potential to improve traffic performance when HDVs have poor string stability behavior. These results suggest more opportunities for cooperative formation of AVs, beyond platooning, in practical mixed traffic flow.

eess.SY↗

arXiv2021

36 Hz integral linewidth laser based on a photonic integrated 4.0-meter coil resonator

Laser stabilization sits at the heart of many precision scientific experiments and applications, including quantum information science, metrology and atomic timekeeping. These systems narrow the laser linewidth and stabilize the carrier by use of Pound-Drever-Hall (PDH) locking to a table-scale, ultra-high quality factor (Q), vacuum spaced Fabry-Perot reference cavity. Integrating these cavities, to bring characteristics of PDH stabilization to the chip-scale, is critical to reduce their size, cost, and weight, and enable a wide range of portable and system-on-chip applications. We report a significant advance in integrated laser linewidth narrowing, stabilization and noise reduction, by use of a photonic integrated 4.0-meter-long coil resonator to stabilize a semiconductor laser. We achieve a 36 Hz 1/π-integral linewidth, an Allan deviation (ADEV) of 1.8x10^{-13} at 10 ms measurement time, and a 2.3 kHz/sec drift, to the best of our knowledge the lowest integral linewidth and highest stability demonstrated for an integrated reference cavity. Two coil designs, stabilizing lasers operating at 1550 nm and 1319 nm are demonstrated. The resonator is bus coupled to a 4.0-meter-long coil, with a 49 MHz free spectral range (FSR), a mode volume of 1.0x10^{10} μm^3 and a 142 million intrinsic Q, fabricated in a CMOS compatible, ultra-low loss silicon nitride waveguide platform. Our measurements and simulations show that the thermorefractive noise floor for this particular cavity is reached for frequencies down to 20 Hz in an ambient environment with simple passive vibration isolation and without vacuum or thermal isolation. The TRN limited performance is estimated to be an 8 Hz 1/π integral linewidth and ADEV of 5x10^{-14} at 10 ms, opening a stability regime that heretofore has only been available in fundamentally un-integrated systems.

physics.optics↗

arXiv2021

Experimental Validation of Multi-lane Formation Control for Connected and Automated Vehicles in Multiple Scenarios

Formation control methods of connected and automated vehicles have been proposed to smoothly switch the structure of vehicular formations in different scenarios. In the previous research, simulations are often conducted to verify the performance of formation control methods. This paper presents the experimental results of multi-lane formation control for connected and automated vehicles. The coordinated formation control framework and specific methods utilized for different scenarios are introduced. The details of experimental platform and vehicle control strategy is provided. Simulations and experiments are conducted in different scenarios, and the results indicate that the formation control method is applicable to multiple traffic scenarios and able to improve formation-structure-switching efficiency compared with benchmark methods.

eess.SY↗

arXiv2021

Robust Dynamic Bus Control: A Distributional Multi-agent Reinforcement Learning Approach

Bus system is a critical component of sustainable urban transportation. However, the operation of a bus fleet is unstable in nature, and bus bunching has become a common phenomenon that undermines the efficiency and reliability of bus systems. Recently research has demonstrated the promising application of multi-agent reinforcement learning (MARL) to achieve efficient vehicle holding control to avoid bus bunching. However, existing studies essentially overlook the robustness issue resulting from various events, perturbations and anomalies in a transit system, which is of utmost importance when transferring the models for real-world deployment/application. In this study, we integrate implicit quantile network and meta-learning to develop a distributional MARL framework -- IQNC-M -- to learn continuous control. The proposed IQNC-M framework achieves efficient and reliable control decisions through better handling various uncertainties/events in real-time transit operations. Specifically, we introduce an interpretable meta-learning module to incorporate global information into the distributional MARL framework, which is an effective solution to circumvent the credit assignment issue in the transit system. In addition, we design a specific learning procedure to train each agent within the framework to pursue a robust control policy. We develop simulation environments based on real-world bus services and passenger demand data and evaluate the proposed framework against both traditional holding control models and state-of-the-art MARL models. Our results show that the proposed IQNC-M framework can effectively handle the various extreme events, such as traffic state perturbations, service interruptions, and demand surges, thus improving both efficiency and reliability of the system.

cs.LG↗

arXiv2021

Efficient Connected and Automated Driving System with Multi-agent Graph Reinforcement Learning

Connected and automated vehicles (CAVs) have attracted more and more attention recently. The fast actuation time allows them having the potential to promote the efficiency and safety of the whole transportation system. Due to technical challenges, there will be a proportion of vehicles that can be equipped with automation while other vehicles are without automation. Instead of learning a reliable behavior for ego automated vehicle, we focus on how to improve the outcomes of the total transportation system by allowing each automated vehicle to learn cooperation with each other and regulate human-driven traffic flow. One of state of the art method is using reinforcement learning to learn intelligent decision making policy. However, direct reinforcement learning framework cannot improve the performance of the whole system. In this article, we demonstrate that considering the problem in multi-agent setting with shared policy can help achieve better system performance than non-shared policy in single-agent setting. Furthermore, we find that utilization of attention mechanism on interaction features can capture the interplay between each agent in order to boost cooperation. To the best of our knowledge, while previous automated driving studies mainly focus on enhancing individual's driving performance, this work serves as a starting point for research on system-level multi-agent cooperation performance using graph information sharing. We conduct extensive experiments in car-following and unsignalized intersection settings. The results demonstrate that CAVs controlled by our method can achieve the best performance against several state of the art baselines.

stat.ML↗

arXiv2021

Cooperation Method of Connected and Automated Vehicles at Unsignalized Intersections: Lane Changing and Arrival Scheduling

The cooperation of connected and automated vehicles (CAVs) has shown great potential in improving traffic efficiency during intersection management. Existing research mainly focuses on intersections where lane changing is prohibited, which is impractical for real-life implementation. This paper proposes a two-stage cooperation framework, which decouples the longitudinal and lateral control of CAVs, allowing them to change to their preferred lanes. Based on formation control, an iterative framework is initially proposed to solve the target assignment and path planning problem for multiple CAVs on multiple lanes. A graph-based minimum clique cover method is then applied to obtain the optimal scheduling plan for the CAVs. Extensive numerical simulations for different numbers of vehicles and traffic volumes validate the effectiveness of the proposed algorithm.

math.OC↗

arXiv2021

Recall and Learn: A Memory-augmented Solver for Math Word Problems

In this article, we tackle the math word problem, namely, automatically answering a mathematical problem according to its textual description. Although recent methods have demonstrated their promising results, most of these methods are based on template-based generation scheme which results in limited generalization capability. To this end, we propose a novel human-like analogical learning method in a recall and learn manner. Our proposed framework is composed of modules of memory, representation, analogy, and reasoning, which are designed to make a new exercise by referring to the exercises learned in the past. Specifically, given a math word problem, the model first retrieves similar questions by a memory module and then encodes the unsolved problem and each retrieved question using a representation module. Moreover, to solve the problem in a way of analogy, an analogy module and a reasoning module with a copy mechanism are proposed to model the interrelationship between the problem and each retrieved question. Extensive experiments on two well-known datasets show the superiority of our proposed algorithm as compared to other state-of-the-art competitors from both overall performance comparison and micro-scope studies.

cs.CL↗

arXiv2021

Multi-lane Unsignalized Intersection Cooperation with Flexible Lane Direction based on Multi-vehicle Formation Control

Unsignalized intersection cooperation of connected and automated vehicles (CAVs) is able to eliminate green time loss of signalized intersections and improve traffic efficiency. Most of the existing research on unsignalized intersection cooperation considers fixed lane direction, where only specific turning behavior of vehicles is allowed on each lane. Given that traffic volume and the proportion of vehicles with different turning expectation may change with time, fixed lane direction may lead to inefficiency at intersections. This paper proposes a multi-lane unsignalized intersection cooperation method that considers flexible lane direction. The two-dimensional distribution of vehicles is calculated and vehicles that are not in conflict are scheduled to pass the intersection simultaneously. The formation reconfiguration method is utilized to achieve collision-free longitudinal and lateral position adjustment of vehicles. Simulations are conducted at different input traffic volumes and turning proportion of incoming vehicles, and the results indicate that our method outperformances the fixed-lane-direction unsignalized cooperation method and the signalized method.

eess.SY↗

arXiv2021

Leading Cruise Control in Mixed Traffic Flow: System Modeling, Controllability, and String Stability

Connected and autonomous vehicles (CAVs) have great potential to improve road transportation systems. Most existing strategies for CAVs' longitudinal control focus on downstream traffic conditions, but neglect the impact of CAVs' behaviors on upstream traffic flow. In this paper, we introduce a notion of Leading Cruise Control (LCC), in which the CAV maintains car-following operations adapting to the states of its preceding vehicles, and also aims to lead the motion of its following vehicles. Specifically, by controlling the CAV, LCC aims to attenuate downstream traffic perturbations and smooth upstream traffic flow actively. We first present the dynamical modeling of LCC, with a focus on three fundamental scenarios: car-following, free-driving, and Connected Cruise Control. Then, the analysis of controllability, observability, and head-to-tail string stability reveals the feasibility and potential of LCC in improving mixed traffic flow performance. Extensive numerical studies validate that the capability of CAVs in dissipating traffic perturbations is further strengthened when incorporating the information of the vehicles behind into the CAV's control.

eess.SY↗

arXiv2021

Formation Control with Lane Preference for Connected and Automated Vehicles in Multi-lane Scenarios

Multi-lane roads are typical scenarios in the real-world traffic system. Vehicles usually have preference on lanes according to their routes and destinations. Few of the existing studies looks into the problem of controlling vehicles to drive on their desired lanes. This paper proposes a formation control method that considers vehicles' preference on different lanes. The bi-level formation control framework is utilized to plan collision-free motion for vehicles, where relative target assignment and path planning are performed in the upper level, and trajectory planning and tracking are performed in the lower level. The collision-free multi-vehicle path planning problem considering lane preference is decoupled into two sub problems: calculating assignment list with non-decreasing cost and planning collision-free paths according to given assignment result. The Conflict-based Searching (CBS) method is utilized to plan collision-free paths for vehicles based on given assignment results. Case study is conducted and simulations are carried out in a three-lane road scenario. The results indicate that the proposed formation control method significantly reduces congestion and improves traffic efficiency at high traffic volumes, compared to the rule-based method.

cs.RO↗

arXiv2021

Reducing Bus Bunching with Asynchronous Multi-Agent Reinforcement Learning

The bus system is a critical component of sustainable urban transportation. However, due to the significant uncertainties in passenger demand and traffic conditions, bus operation is unstable in nature and bus bunching has become a common phenomenon that undermines the reliability and efficiency of bus services. Despite recent advances in multi-agent reinforcement learning (MARL) on traffic control, little research has focused on bus fleet control due to the tricky asynchronous characteristic -- control actions only happen when a bus arrives at a bus stop and thus agents do not act simultaneously. In this study, we formulate route-level bus fleet control as an asynchronous multi-agent reinforcement learning (ASMR) problem and extend the classical actor-critic architecture to handle the asynchronous issue. Specifically, we design a novel critic network to effectively approximate the marginal contribution for other agents, in which graph attention neural network is used to conduct inductive learning for policy evaluation. The critic structure also helps the ego agent optimize its policy more efficiently. We evaluate the proposed framework on real-world bus services and actual passenger demand derived from smart card data. Our results show that the proposed model outperforms both traditional headway-based control methods and existing MARL methods.

cs.LG↗

arXiv2021

Fully symmetric controllable integrated three-resonator photonic molecule

Photonic molecules can be used to realize complex optical energy states and modes, analogous to those found in molecules, with properties useful for applications like spectral engineering and quantum optics. It is desirable to implement photonic molecules using high quality factor photonic integrated ring resonators due to their narrow atom-like spectral resonance, tunability, and the ability to scale the number of resonators on a photonic circuit. However, to take full advantage of molecule spectral complexity and tuning degree of freedom, resonator structures should have full symmetry in terms of inter-resonator coupling and resonator-waveguide coupling as well as independent resonance tuning, and low power dissipation operation, in a scalable integration platform. To date, photonic molecule symmetry has been limited to dual- and triple-cavity geometries coupled to single- or dual-busses, and resonance tuning limited to dual resonator molecules. In this paper, we demonstrate a three-resonator photonic molecule, consisting of symmetrically coupled 8.11 million intrinsic Q silicon nitride rings, where each ring is coupled to the other two rings. The resonance of each ring, and that of the collective molecule, is controlled using low power dissipation, monolithically integrated thin-film lead zirconate titanate (PZT) actuators that are integrated with the ultra-low loss silicon nitride resonators. This performance is achieved without undercut waveguides, yielding the highest Q to date for a PZT controlled resonator. This advance leads to full control of complex photonic molecule resonance spectra and splitting in a wafer-scale integration platform. The resulting six tunable supermodes can be fully controlled, including degeneracy, location and splitting as well as designed by a model that can accurately predict the energy modes and transmission spectrum and tunable resonance splitting.

physics.optics↗

arXiv2021

Formation Control for Connected and Automated Vehicles on Multi-lane Roads: Relative Motion Planning and Conflict Resolution

Multi-vehicle coordinated decision making and control can improve traffic efficiency while guaranteeing driving safety. Formation control is a typical multi-vehicle coordination method in the multi-lane scenario. Among the existing formation control methods, the formation switching process is predefined and the collision-free behavior of vehicles has not been considered and explained in detail. This paper proposes a formation control method for multiple Connected and Automated Vehicles (CAVs) on multi-lane roads. Firstly, a bi-level planning framework is proposed to switch the structure of the formation in different scenarios smoothly and effectively. Secondly, the relative coordinate system is established and the conflict-free relative paths are planned in the upper level. Then, multi-stage trajectory planning and tracking are modeled and solved as an optimal control problem with path constraints in the lower level. Next, case study is conducted to verify the function of the proposed method in different scenarios. Finally, simulation in the lane-drop bottleneck scenario is carried out under different traffic volume and numerical results indicate that the proposed method can improve both traffic efficiency and fuel economy at high traffic volume.

eess.SY↗

arXiv2021

Mixed platoon control of automated and human-driven vehicles at a signalized intersection: dynamical analysis and optimal control

The emergence of Connected and Automated Vehicles (CAVs) promises better traffic mobility for future transportation systems. Existing research mostly focused on fully-autonomous scenarios, while the potential of CAV control at a mixed traffic intersection where human-driven vehicles (HDVs) also exist has been less explored. This paper proposes a notion of "1+n" mixed platoon, consisting of one leading CAV and n following HDVs, and formulates a platoon-based optimal control framework for CAV control at a signalized intersection. Based on the linearized dynamics model of the "1+n" mixed platoon, fundamental properties including stability and controllability are under rigorous theoretical analysis. Then, a constrained optimal control framework is established, aiming at improving the global traffic efficiency and fuel consumption at the intersection via direct control of the CAV. A hierarchical event-triggered algorithm is also designed for practical implementation of the optimal control method between adjacent mixed platoons when approaching the intersection. Extensive numerical simulations at multiple traffic volumes and market penetration rates validate the greater benefits of the mixed platoon based method, compared with traditional trajectory optimization methods for one single CAV.

math.OC↗

arXiv2021

A Graph-based Conflict-free Cooperation Method for Intelligent Electric Vehicles at Unsignalized Intersections

Electric, intelligent, and network are the most important future development directions of automobiles. Intelligent electric vehicles have shown great potentials to improve traffic mobility and reduce emissions, especially at unsignalized intersections. Previous research has shown that vehicle passing order is the key factor in traffic mobility improvement. In this paper, we propose a graph-based cooperation method to formalize the conflict-free scheduling problem at unsignalized intersections. Firstly, conflict directed graphs and coexisting undirected graphs are built to describe the conflict relationship of the vehicles. Then, two graph-based methods are introduced to solve the vehicle passing order. One method is an optimized depth-first spanning tree method which aims to find the local optimal passing order for each vehicle. The other method is a maximum matching algorithm that solves the global optimal problem. The computational complexity of both methods is also derived. Numerical simulation results demonstrate the effectiveness of the proposed algorithms.

math.OC↗

arXiv2021

Restoring Execution Environments of Jupyter Notebooks

More than ninety percent of published Jupyter notebooks do not state dependencies on external packages. This makes them non-executable and thus hinders reproducibility of scientific results. We present SnifferDog, an approach that 1) collects the APIs of Python packages and versions, creating a database of APIs; 2) analyzes notebooks to determine candidates for required packages and versions; and 3) checks which packages are required to make the notebook executable (and ideally, reproduce its stored results). In its evaluation, we show that SnifferDog precisely restores execution environments for the largest majority of notebooks, making them immediately executable for end users.

cs.SE↗

arXiv2021

Visible light photonic integrated Brillouin laser

Narrow linewidth visible light lasers are critical for atomic, molecular and optical (AMO) applications including atomic clocks, quantum computing, atomic and molecular spectroscopy, and sensing. Historically, such lasers are implemented at the tabletop scale, using semiconductor lasers stabilized to large optical reference cavities. Photonic integration of high spectral-purity visible light sources will enable experiments to increase in complexity and scale. Stimulated Brillouin scattering (SBS) is a promising approach to realize highly coherent on-chip visible light laser emission. While progress has been made on integrated SBS lasers at telecommunications wavelengths, barriers have existed to translate this performance to the visible, namely the realization of Brillouin-active waveguides in ultra-low optical loss photonics. We have overcome this barrier, demonstrating the first visible light photonic integrated SBS laser, which operates at 674 nm to address the 88Sr+ optical clock transition. To guide the laser design, we use a combination of multi-physics simulation and Brillouin spectroscopy in a 2 meter spiral waveguide to identify the 25.110 GHz first order Stokes frequency shift and 290 MHz gain bandwidth. The laser is implemented in an 8.9 mm radius silicon nitride all-waveguide resonator with 1.09 dB per meter loss and Q of 55.4 Million. Lasing is demonstrated, with an on-chip 14.7 mW threshold, a 45% slope efficiency, and linewidth narrowing as the pump is increased from below threshold to 269 Hz. To illustrate the wavelength flexibility of this design, we also demonstrate lasing at 698 nm, the wavelength for the optical clock transition in neutral strontium. This demonstration of a waveguide-based, photonic integrated SBS laser that operates in the visible, and the reduced size and sensitivity to environmental disturbances, shows promise for diverse AMO applications.

physics.optics↗