-
A time-to-digital converter with steady calibration through single-photon detection
Authors:
Matías Rubén Bolaños Wagner,
Daniele Vogrig,
Paolo Villoresi,
Giuseppe Vallone,
Andrea Stanco
Abstract:
Time-to-Digital Converters (TDCs) are a crucial tool in a wide array of fields, in particular for quantum communication, where time taggers performance can severely affect the quality of the entire application. Nowadays, FPGA-based TDCs present a viable alternative to ASIC ones, once the nonlinear behaviour due to the intrinsic nature of the device is properly mitigated. To compensate said nonline…
▽ More
Time-to-Digital Converters (TDCs) are a crucial tool in a wide array of fields, in particular for quantum communication, where time taggers performance can severely affect the quality of the entire application. Nowadays, FPGA-based TDCs present a viable alternative to ASIC ones, once the nonlinear behaviour due to the intrinsic nature of the device is properly mitigated. To compensate said nonlinearities, a calibration procedure is required, usually based on an interpolation methods. Here we present the design and the demonstration of a TDC that is FPGA-based and showing a residual jitter of 27 ps, that is scalable for multichannel operation. The application in Quantum Key Distribution (QKD) is discussed with a unique calibration method based on the exploitation of single-photon detection that does not require to stop the data acquisition or to use any interpolation methods, thus increasing accuracy and removing data loss. The calibration was tested in a relevant environment, investigating the device behaviour between 5°C and 80°C. Moreover, our design is capable of continuously streaming up to 12 Mevents/s for up to ~1 week without the TDC overflowing.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
Designing, simulating, and performing the 100-AV field test for the CIRCLES consortium: Methodology and Implementation of the Largest mobile traffic control experiment to date
Authors:
Mostafa Ameli,
Sean Mcquade,
Jonathan W. Lee,
Matthew Bunting,
Matthew Nice,
Han Wang,
William Barbour,
Ryan Weightman,
Chris Denaro,
Ryan Delorenzo,
Sharon Hornstein,
Jon F. Davis,
Dan Timsit,
Riley Wagner,
Rita Xu,
Malaika Mahmood,
Mikail Mahmood,
Maria Laura Delle Monache,
Benjamin Seibold,
Daniel B. Work,
Jonathan Sprinkle,
Benedetto Piccoli,
Alexandre M. Bayen
Abstract:
Previous controlled experiments on single-lane ring roads have shown that a single partially autonomous vehicle (AV) can effectively mitigate traffic waves. This naturally prompts the question of how these findings can be generalized to field operational, high-density traffic conditions. To address this question, the Congestion Impacts Reduction via CAV-in-the-loop Lagrangian Energy Smoothing (CIR…
▽ More
Previous controlled experiments on single-lane ring roads have shown that a single partially autonomous vehicle (AV) can effectively mitigate traffic waves. This naturally prompts the question of how these findings can be generalized to field operational, high-density traffic conditions. To address this question, the Congestion Impacts Reduction via CAV-in-the-loop Lagrangian Energy Smoothing (CIRCLES) Consortium conducted MegaVanderTest (MVT), a live traffic control experiment involving 100 vehicles near Nashville, TN, USA. This article is a tutorial for develo** analytical and simulation-based tools essential for designing and executing a live traffic control experiment like the MVT. It presents an overview of the proposed roadmap and various procedures used in designing, monitoring, and conducting the MVT, which is the largest mobile traffic control experiment at the time. The design process is aimed at evaluating the impact of the CIRCLES AVs on surrounding traffic. The article discusses the agent-based traffic simulation framework created for this evaluation. A novel methodological framework is introduced to calibrate this microsimulation, aiming to accurately capture traffic dynamics and assess the impact of adding 100 vehicles to existing traffic. The calibration model's effectiveness is verified using data from a six-mile section of Nashville's I-24 highway. The results indicate that the proposed model establishes an effective feedback loop between the optimizer and the simulator, thereby calibrating flow and speed with different spatiotemporal characteristics to minimize the error between simulated and real-world data. Finally, We simulate AVs in multiple scenarios to assess their effect on traffic congestion. This evaluation validates the AV routes, thereby contributing to the execution of a safe and successful live traffic control experiment via AVs.
△ Less
Submitted 23 April, 2024;
originally announced April 2024.
-
Traffic Control via Connected and Automated Vehicles: An Open-Road Field Experiment with 100 CAVs
Authors:
Jonathan W. Lee,
Han Wang,
Kathy Jang,
Amaury Hayat,
Matthew Bunting,
Arwa Alanqary,
William Barbour,
Zhe Fu,
Xiaoqian Gong,
George Gunter,
Sharon Hornstein,
Abdul Rahman Kreidieh,
Nathan Lichtlé,
Matthew W. Nice,
William A. Richardson,
Adit Shah,
Eugene Vinitsky,
Fangyu Wu,
Shengquan Xiang,
Sulaiman Almatrudi,
Fahd Althukair,
Rahul Bhadani,
Joy Carpio,
Raphael Chekroun,
Eric Cheng
, et al. (39 additional authors not shown)
Abstract:
The CIRCLES project aims to reduce instabilities in traffic flow, which are naturally occurring phenomena due to human driving behavior. These "phantom jams" or "stop-and-go waves,"are a significant source of wasted energy. Toward this goal, the CIRCLES project designed a control system referred to as the MegaController by the CIRCLES team, that could be deployed in real traffic. Our field experim…
▽ More
The CIRCLES project aims to reduce instabilities in traffic flow, which are naturally occurring phenomena due to human driving behavior. These "phantom jams" or "stop-and-go waves,"are a significant source of wasted energy. Toward this goal, the CIRCLES project designed a control system referred to as the MegaController by the CIRCLES team, that could be deployed in real traffic. Our field experiment leveraged a heterogeneous fleet of 100 longitudinally-controlled vehicles as Lagrangian traffic actuators, each of which ran a controller with the architecture described in this paper. The MegaController is a hierarchical control architecture, which consists of two main layers. The upper layer is called Speed Planner, and is a centralized optimal control algorithm. It assigns speed targets to the vehicles, conveyed through the LTE cellular network. The lower layer is a control layer, running on each vehicle. It performs local actuation by overriding the stock adaptive cruise controller, using the stock on-board sensors. The Speed Planner ingests live data feeds provided by third parties, as well as data from our own control vehicles, and uses both to perform the speed assignment. The architecture of the speed planner allows for modular use of standard control techniques, such as optimal control, model predictive control, kernel methods and others, including Deep RL, model predictive control and explicit controllers. Depending on the vehicle architecture, all onboard sensing data can be accessed by the local controllers, or only some. Control inputs vary across different automakers, with inputs ranging from torque or acceleration requests for some cars, and electronic selection of ACC set points in others. The proposed architecture allows for the combination of all possible settings proposed above. Most configurations were tested throughout the ramp up to the MegaVandertest.
△ Less
Submitted 26 February, 2024;
originally announced February 2024.
-
Multi-Robot-Guided Crowd Evacuation: Two-Scale Modeling and Control
Authors:
Tongjia Zheng,
Zhenyuan Yuan,
Mollik Nayyar,
Alan R. Wagner,
Minghui Zhu,
Hai Lin
Abstract:
Emergency evacuation describes a complex situation involving time-critical decision-making by evacuees. Mobile robots are being actively explored as a potential solution to provide timely guidance. In this work, we study a robot-guided crowd evacuation problem where a small group of robots is used to guide a large human crowd to safe locations. The challenge lies in how to use micro-level human-ro…
▽ More
Emergency evacuation describes a complex situation involving time-critical decision-making by evacuees. Mobile robots are being actively explored as a potential solution to provide timely guidance. In this work, we study a robot-guided crowd evacuation problem where a small group of robots is used to guide a large human crowd to safe locations. The challenge lies in how to use micro-level human-robot interactions to indirectly influence a population that significantly outnumbers the robots to achieve the collective evacuation objective. To address the challenge, we follow a two-scale modeling strategy and explore hydrodynamic models, which consist of a family of microscopic social force models that describe how human movements are locally affected by other humans, the environment, and robots, and associated macroscopic equations for the temporal and spatial evolution of the crowd density and flow velocity. We design controllers for the robots such that they not only automatically explore the environment (with unknown dynamic obstacles) to cover it as much as possible, but also dynamically adjust the directions of their local navigation force fields based on the real-time macrostates of the crowd to guide the crowd to a safe location. We prove the stability of the proposed evacuation algorithm and conduct extensive simulations to investigate the performance of the algorithm with different combinations of human numbers, robot numbers, and obstacle settings.
△ Less
Submitted 11 January, 2024; v1 submitted 28 February, 2023;
originally announced February 2023.
-
Multi-Robot-Assisted Human Crowd Evacuation using Navigation Velocity Fields
Authors:
Tongjia Zheng,
Zhenyuan Yuan,
Mollik Nayyar,
Alan R. Wagner,
Minghui Zhu,
Hai Lin
Abstract:
This work studies a robot-assisted crowd evacuation problem where we control a small group of robots to guide a large human crowd to safe locations. The challenge lies in how to model human-robot interactions and design robot controls to indirectly control a human population that significantly outnumbers the robots. To address the challenge, we treat the crowd as a continuum and formulate the evac…
▽ More
This work studies a robot-assisted crowd evacuation problem where we control a small group of robots to guide a large human crowd to safe locations. The challenge lies in how to model human-robot interactions and design robot controls to indirectly control a human population that significantly outnumbers the robots. To address the challenge, we treat the crowd as a continuum and formulate the evacuation objective as driving the crowd density to target locations. We propose a novel mean-field model which consists of a family of microscopic equations that explicitly model how human motions are locally guided by the robots and an associated macroscopic equation that describes how the crowd density is controlled by the navigation velocity fields generated by all robots. Then, we design density feedback controllers for the robots to dynamically adjust their states such that the generated navigation velocity fields drive the crowd density to a target density. Stability guarantees of the proposed controllers are proven. Agent-based simulations are included to evaluate the proposed evacuation algorithms.
△ Less
Submitted 20 September, 2022;
originally announced September 2022.
-
CellCentroidFormer: Combining Self-attention and Convolution for Cell Detection
Authors:
Royden Wagner,
Karl Rohr
Abstract:
Cell detection in microscopy images is important to study how cells move and interact with their environment. Most recent deep learning-based methods for cell detection use convolutional neural networks (CNNs). However, inspired by the success in other computer vision applications, vision transformers (ViTs) are also used for this purpose. We propose a novel hybrid CNN-ViT model for cell detection…
▽ More
Cell detection in microscopy images is important to study how cells move and interact with their environment. Most recent deep learning-based methods for cell detection use convolutional neural networks (CNNs). However, inspired by the success in other computer vision applications, vision transformers (ViTs) are also used for this purpose. We propose a novel hybrid CNN-ViT model for cell detection in microscopy images to exploit the advantages of both types of deep learning models. We employ an efficient CNN, that was pre-trained on the ImageNet dataset, to extract image features and utilize transfer learning to reduce the amount of required training data. Extracted image features are further processed by a combination of convolutional and transformer layers, so that the convolutional layers can focus on local information and the transformer layers on global information. Our centroid-based cell detection method represents cells as ellipses and is end-to-end trainable. Furthermore, we show that our proposed model can outperform fully convolutional one-stage detectors on four different 2D microscopy datasets. Code is available at: https://github.com/roydenwa/cell-centroid-former
△ Less
Submitted 14 June, 2022; v1 submitted 1 June, 2022;
originally announced June 2022.
-
EfficientCellSeg: Efficient Volumetric Cell Segmentation Using Context Aware Pseudocoloring
Authors:
Royden Wagner,
Karl Rohr
Abstract:
Volumetric cell segmentation in fluorescence microscopy images is important to study a wide variety of cellular processes. Applications range from the analysis of cancer cells to behavioral studies of cells in the embryonic stage. Like in other computer vision fields, most recent methods use either large convolutional neural networks (CNNs) or vision transformer models (ViTs). Since the number of…
▽ More
Volumetric cell segmentation in fluorescence microscopy images is important to study a wide variety of cellular processes. Applications range from the analysis of cancer cells to behavioral studies of cells in the embryonic stage. Like in other computer vision fields, most recent methods use either large convolutional neural networks (CNNs) or vision transformer models (ViTs). Since the number of available 3D microscopy images is typically limited in applications, we take a different approach and introduce a small CNN for volumetric cell segmentation. Compared to previous CNN models for cell segmentation, our model is efficient and has an asymmetric encoder-decoder structure with very few parameters in the decoder. Training efficiency is further improved via transfer learning. In addition, we introduce Context Aware Pseudocoloring to exploit spatial context in z-direction of 3D images while performing volumetric cell segmentation slice-wise. We evaluated our method using different 3D datasets from the Cell Segmentation Benchmark of the Cell Tracking Challenge. Our segmentation method achieves top-ranking results, while our CNN model has an up to 25x lower number of parameters than other top-ranking methods. Code and pretrained models are available at: https://github.com/roydenwa/efficient-cell-seg
△ Less
Submitted 28 November, 2022; v1 submitted 6 April, 2022;
originally announced April 2022.
-
A Probabilistic Approach to Power System State Estimation using a Linear Algorithm
Authors:
Martin R. Wagner,
Marko Jereminov,
Amritanshu Pandey,
Larry Pileggi
Abstract:
An equivalent circuit formulation for power system analysis was demonstrated to improve robustness of Power Flow and enable more generalized modeling, including that for RTUs (Remote Terminal Units) and PMUs (Phasor Measurement Units). These measurement device models, together with an adjoint circuit based optimization framework, enable an alternative formulation to Power System State Estimation (…
▽ More
An equivalent circuit formulation for power system analysis was demonstrated to improve robustness of Power Flow and enable more generalized modeling, including that for RTUs (Remote Terminal Units) and PMUs (Phasor Measurement Units). These measurement device models, together with an adjoint circuit based optimization framework, enable an alternative formulation to Power System State Estimation (SE) that can be solved within the equivalent circuit formulation. In this paper, we utilize a linear RTU model to create a fully linear SE algorithm that includes PMU and RTU measurements to enable a probabilistic approach to SE. Results demonstrate that this is a practical approach that is well suited for real-world applications.
△ Less
Submitted 1 May, 2019;
originally announced May 2019.
-
Robust Sequential Steady-State Analysis of Cascading Outages
Authors:
Amritanshu Pandey,
Aayushya Agarwal,
Marko Jereminov,
Martin R. Wagner,
David M. Bromberg,
Larry Pileggi
Abstract:
Simulating potential cascading failures can be useful for avoiding or mitigating such events. Currently, existing steady-state analysis tools are ill-suited for simulating cascading outages as they do not model frequency dependencies, they require good initial conditions to converge, and they are unable to distinguish between a collapsed grid state from a hard-to-solve test case. In this paper, we…
▽ More
Simulating potential cascading failures can be useful for avoiding or mitigating such events. Currently, existing steady-state analysis tools are ill-suited for simulating cascading outages as they do not model frequency dependencies, they require good initial conditions to converge, and they are unable to distinguish between a collapsed grid state from a hard-to-solve test case. In this paper, we extend a circuit-theoretic approach for simulating the steady-state of a power grid to incorporate frequency deviations and implicit models for underfrequency and undervoltage load shedding. Using these models, we introduce a framework capable of robustly solving cascading outages of large-scale systems that can also locate infeasible regions. We demonstrate the efficacy of our approach by simulating entire cascading outages on more than 8000 nodes sample testcase.
△ Less
Submitted 21 November, 2019; v1 submitted 24 April, 2019;
originally announced April 2019.
-
Equivalent Circuit Programming for Estimating the State of a Power System
Authors:
Marko Jereminov,
Aleksandar Jovicic,
Martin R. Wagner,
Gabriela Hug,
Larry Pileggi
Abstract:
An Equivalent Circuit Programming (ECP) approach that expresses the optimality conditions of an optimization problem in terms of an equivalent circuit model and uses circuit simulation techniques to solve for an optimal solution, is applied to the state estimation problem for power systems. The benefits of using an equivalent circuit formulation for incorporating both Phasor Measurement Units (PMU…
▽ More
An Equivalent Circuit Programming (ECP) approach that expresses the optimality conditions of an optimization problem in terms of an equivalent circuit model and uses circuit simulation techniques to solve for an optimal solution, is applied to the state estimation problem for power systems. The benefits of using an equivalent circuit formulation for incorporating both Phasor Measurement Units (PMU) and Remote Terminal Units (RTU), as well as for reducing the nonlinearities of the state estimation problem was previously demonstrated. In this paper we further exploit the circuit nature of the state estimation problem to formulate not only the model but also the optimality conditions as an ECP problem. The efficiency and accuracy of our approach are demonstrated by estimating the states of large-scale power grids (80k+ buses).
△ Less
Submitted 9 April, 2019;
originally announced April 2019.
-
Linear Power Grid State Estimation with Modeling Uncertainties
Authors:
Martin R. Wagner,
Marko Jereminov,
Larry Pileggi
Abstract:
Recent advances in power system State Estimation (SE) have included equivalent circuit models for representing measurement data that allows incorporation of both PMU and RTU measurements within the state estimator. In this paper, we introduce a probabilistic framework with a new RTU model that renders the complete SE problem linear while not affecting its accuracy. It is demonstrated that the prob…
▽ More
Recent advances in power system State Estimation (SE) have included equivalent circuit models for representing measurement data that allows incorporation of both PMU and RTU measurements within the state estimator. In this paper, we introduce a probabilistic framework with a new RTU model that renders the complete SE problem linear while not affecting its accuracy. It is demonstrated that the probabilistic state of a system can be efficiently and accurately estimated not only with the uncertainties from the measurement data, but also while including variations from transmission network models. To demonstrate accuracy and scalability we present probabilistic state estimation results for the 82k test case that represents the transmission level grid of the entire USA. It is shown that the estimated state distributions include the true grid state, while their mean exactly corresponds to the estimated deterministic state obtained from the nonlinear state estimator.
△ Less
Submitted 12 December, 2018;
originally announced December 2018.
-
Evaluating Feasibility within Power Flow
Authors:
Marko Jereminov,
David M. Bromberg,
Amritanshu Pandey,
Martin R. Wagner,
Larry Pileggi
Abstract:
Recent development of techniques that improve the convergence properties of power flow simulation have been demonstrated to facilitate scaling to large system sizes (80k+ buses). However, the problem remains to reliably identify cases that are infeasible, system configurations that have no solution. In this paper, we use the circuit theoretic approach based on adjoint networks to evaluate the feas…
▽ More
Recent development of techniques that improve the convergence properties of power flow simulation have been demonstrated to facilitate scaling to large system sizes (80k+ buses). However, the problem remains to reliably identify cases that are infeasible, system configurations that have no solution. In this paper, we use the circuit theoretic approach based on adjoint networks to evaluate the feasibility of a power flow test case and further locate and quantify the source of infeasibility in the cases operating beyond the tip of the nose curve. By creating infeasibility current source models that are added to each node of the system model and further coupling each source to its corresponding node of the adjoint network, any locations of insufficient real or reactive power are captured by a non-zero response of the adjoint network. Furthermore, it is shown that the proposed joint simulation of power flow and its adjoint network models provide the optimally minimized currents that can be later utilized to inform corrective actions to restore the feasibility of power flow problems.
△ Less
Submitted 7 December, 2019; v1 submitted 5 September, 2018;
originally announced September 2018.
-
Robust Probabilistic Analysis of Transmission Power Systems based on Equivalent Circuit Formulation
Authors:
Martin R. Wagner,
Amritanshu Pandey,
Marko Jereminov,
Larry Pileggi
Abstract:
Recent advances in steady-state analysis of power systems have introduced the equivalent split-circuit approach and corresponding continuation methods that can reliably find the correct physical solution of large-scale power system problems. The improvement in robustness provided by these developments are the basis for improvements in other fields of power system research. Probabilistic Power Flow…
▽ More
Recent advances in steady-state analysis of power systems have introduced the equivalent split-circuit approach and corresponding continuation methods that can reliably find the correct physical solution of large-scale power system problems. The improvement in robustness provided by these developments are the basis for improvements in other fields of power system research. Probabilistic Power Flow studies are one of the areas of impact. This paper will describe a Simple Random Sampling Monte Carlo approach for probabilistic contingency analyses of transmission line power systems. The results are compared with those from Monte Carlo simulations using a standard power flow tool. Lastly, probabilistic contingency studies on two publicly available power system cases are presented.
△ Less
Submitted 20 April, 2018;
originally announced April 2018.
-
Robust Power Flow and Three-Phase Power Flow Analyses
Authors:
Amritanshu Pandey,
Marko Jereminov,
Martin R. Wagner,
David M. Bromberg,
Gabriela Hug,
Larry Pileggi
Abstract:
Robust simulation is essential for reliable operation and planning of transmission and distribution power grids. At present, disparate methods exist for steady-state analysis of the transmission (power flow) and distribution power grid (three-phase power flow). Due to the non-linear nature of the problem, it is difficult for alternating current (AC) power flow and three-phase power flow analyses t…
▽ More
Robust simulation is essential for reliable operation and planning of transmission and distribution power grids. At present, disparate methods exist for steady-state analysis of the transmission (power flow) and distribution power grid (three-phase power flow). Due to the non-linear nature of the problem, it is difficult for alternating current (AC) power flow and three-phase power flow analyses to ensure convergence to the correct physical solution, particularly from arbitrary initial conditions, or when evaluating a change (e.g. contingency) in the grid. In this paper, we describe our equivalent circuit formulation approach with current and voltage variables that models both the positive sequence network of the transmission grid and three-phase network of the distribution grid without loss of generality. The proposed circuit models and formalism enable the extension and application of circuit simulation techniques to solve for the steady-state solution with excellent robustness of convergence. Examples for positive sequence transmission and three-phase distribution systems, including actual 75k+ nodes Eastern Interconnection transmission test cases and 8k+ nodes taxonomy distribution test cases, are solved from arbitrary initial guesses to demonstrate the efficacy of our approach.
△ Less
Submitted 8 August, 2018; v1 submitted 3 March, 2018;
originally announced March 2018.
-
Robust Convergence of Power Flow using Tx Step** Method with Equivalent Circuit Formulation
Authors:
Amritanshu Pandey,
Marko Jereminov,
Martin R. Wagner,
Gabriela Hug,
Larry Pileggi
Abstract:
Robust solving of critical large power flow cases (with 50k or greater buses) forms the backbone of planning and operation of any large connected power grid. At present, reliable convergence with applications of existing power flow tools to large power systems is contingent upon a good initial guess for the system state. To enable robust convergence for large scale systems starting with an arbitra…
▽ More
Robust solving of critical large power flow cases (with 50k or greater buses) forms the backbone of planning and operation of any large connected power grid. At present, reliable convergence with applications of existing power flow tools to large power systems is contingent upon a good initial guess for the system state. To enable robust convergence for large scale systems starting with an arbitrary initial guess, we extend our equivalent circuit formulation for power flow analysis to include a novel continuation method based on transmission line (Tx) step**. While various continuation methods have been proposed for use with the traditional PQV power flow formulation, these methods have either failed to completely solve the problem or have resulted in convergence to a low voltage solution. The proposed Tx Step** method in this paper demonstrates robust convergence to the high voltage solution from an arbitrary initial guess. Example systems, including 75k+ bus test cases representing different loading and operating conditions for Eastern Interconnection of the U.S. power grid, are solved from arbitrary initial guesses.Interconnection of the U.S. power grid, are solved from arbitrary initial guesses.
△ Less
Submitted 4 November, 2017;
originally announced November 2017.