no code implementations • 15 Jul 2024 • Ziyan An, Hendrik Baier, Abhishek Dubey, Ayan Mukhopadhyay, Meiyi Ma
Our framework begins by taking user-defined requirements and translating them into rigorous logic specifications through the use of language templates.
no code implementations • 21 May 2024 • Amutheezan Sivagnanam, Ava Pettet, Hunter Lee, Ayan Mukhopadhyay, Abhishek Dubey, Aron Laszka
An emergency responder management (ERM) system dispatches responders, such as ambulances, when it receives requests for medical aid.
Multi-agent Reinforcement Learning Reinforcement Learning (RL)
no code implementations • 6 Mar 2024 • Chaeeun Han, Jose Paolo Talusan, Dan Freudberg, Ayan Mukhopadhyay, Abhishek Dubey, Aron Laszka
Public transportation systems often suffer from unexpected fluctuations in demand and disruptions, such as mechanical failures and medical emergencies.
1 code implementation • 6 Jan 2024 • Ava Pettet, Yunuo Zhang, Baiting Luo, Kyle Wray, Hendrik Baier, Aron Laszka, Abhishek Dubey, Ayan Mukhopadhyay
In this paper, we introduce \textit{Policy-Augmented Monte Carlo tree search} (PA-MCTS), which combines action-value estimates from an out-of-date policy with an online search using an up-to-date model of the environment.
1 code implementation • 3 Jan 2024 • Baiting Luo, Yunuo Zhang, Abhishek Dubey, Ayan Mukhopadhyay
However, existing approaches for decision-making in NSMDPs have two major shortcomings: first, they assume that the updated environmental dynamics at the current time are known (although future dynamics can change); and second, planning is largely pessimistic, i. e., the agent acts ``safely'' to account for the non-stationary evolution of the environment.
no code implementations • 14 Aug 2023 • Michael Wilbur, Amutheezan Sivagnanam, Afiya Ayman, Samitha Samaranayeke, Abhishek Dubey, Aron Laszka
Second, we provide an overview of how AI can aid decision-making with a focus on transportation.
1 code implementation • 6 Mar 2023 • Youngseo Kim, Danushka Edirimanna, Michael Wilbur, Philip Pugliese, Aron Laszka, Abhishek Dubey, Samitha Samaranayake
In smaller problem instances, the baseline approach is as competitive as our framework.
no code implementations • 10 Oct 2022 • Jose Paolo Talusan, Ayan Mukhopadhyay, Dan Freudberg, Abhishek Dubey
The ability to accurately predict public transit ridership demand benefits passengers and transit agencies.
1 code implementation • 19 Jul 2022 • Shreyas Ramakrishna, Baiting Luo, Christopher Kuhn, Gabor Karsai, Abhishek Dubey
A key part of such tests is adversarial testing, in which the goal is to find scenarios that lead to failures of the given system.
no code implementations • 28 Jun 2022 • Zhuangwei Kang, Ayan Mukhopadhyay, Aniruddha Gokhale, Shijie Wen, Abhishek Dubey
To this end, we propose a principled and comprehensive framework consisting of a data-driven generative approach that can perform tractable density estimation for detecting traffic anomalies.
no code implementations • 28 Apr 2022 • Vineet Nair, Kritika Prakash, Michael Wilbur, Aparna Taneja, Corinne Namblard, Oyindamola Adeyemo, Abhishek Dubey, Abiodun Adereni, Milind Tambe, Ayan Mukhopadhyay
More than 5 million children under five years die from largely preventable or treatable medical conditions every year, with an overwhelmingly large proportion of deaths occurring in under-developed countries with low vaccination uptake.
1 code implementation • 25 Apr 2022 • Amutheezan Sivagnanam, Salah Uddin Kadir, Ayan Mukhopadhyay, Philip Pugliese, Abhishek Dubey, Samitha Samaranayake, Aron Laszka
Vehicle routing problems (VRPs) can be divided into two major categories: offline VRPs, which consider a given set of trip requests to be served, and online VRPs, which consider requests as they arrive in real-time.
no code implementations • 28 Mar 2022 • Michael Wilbur, Salah Uddin Kadir, Youngseo Kim, Geoffrey Pettet, Ayan Mukhopadhyay, Philip Pugliese, Samitha Samaranayake, Aron Laszka, Abhishek Dubey
Accounting for stochastic requests while optimizing a non-myopic utility function is computationally challenging; indeed, the action space for such a problem is intractably large in practice.
1 code implementation • 28 Feb 2022 • Shreyas Ramakrishna, Baiting Luo, Yogesh Barve, Gabor Karsai, Abhishek Dubey
Our samplers of RNS and GBO sampled a higher percentage of high-risk scenes of 83% and 92%, compared to 56%, 66% and 71% of the grid, random and Halton samplers, respectively.
no code implementations • 25 Feb 2022 • Geoffrey Pettet, Ayan Mukhopadhyay, Abhishek Dubey
We find that PC-MCTS can achieve higher cumulative rewards than the policy in isolation under several environmental shifts while converging in significantly fewer iterations than pure MCTS.
no code implementations • 23 Feb 2022 • Geoffrey Pettet, Hunter Baxter, Sayyed Mohsen Vazirizade, Hemant Purohit, Meiyi Ma, Ayan Mukhopadhyay, Abhishek Dubey
Designing effective emergency response management (ERM) systems to respond to incidents such as road accidents is a major problem faced by communities.
no code implementations • 3 Dec 2021 • Yasas Senarath, Ayan Mukhopadhyay, Sayyed Mohsen Vazirizade, Hemant Purohit, Saideep Nannapaneni, Abhishek Dubey
First, we show how crowdsourced reports, ground-truth historical data, and other relevant determinants such as traffic and weather can be used together in a Convolutional Neural Network (CNN) architecture for early detection of emergency incidents.
no code implementations • 26 Aug 2021 • Shreyas Ramakrishna, Zahra Rahiminasab, Gabor Karsai, Arvind Easwaran, Abhishek Dubey
In this paper, we study this problem as a multi-labeled time series OOD detection problem over images, where the OOD is defined both sequentially across short time windows (change points) as well as across the training data distribution.
Out-of-Distribution Detection Out of Distribution (OOD) Detection +1
no code implementations • 12 Jul 2021 • Salah U. Kadir, Subir Majumder, Ajay D. Chhokra, Abhishek Dubey, Himanshu Neema, Aron Laszka, Anurag K. Srivastava
We model and solve the proactive control problem as a Markov decision process and introduce an integrated testbed for spatio-temporal wildfire propagation and proactive power-system operation.
no code implementations • 30 Jun 2021 • Ruixiao Sun, Rongze Gui, Himanshu Neema, Yuche Chen, Juliette Ugirumurera, Joseph Severino, Philip Pugliese, Aron Laszka, Abhishek Dubey
Public-transit systems face a number of operational challenges: (a) changing ridership patterns requiring optimization of fixed line services, (b) optimizing vehicle-to-trip assignments to reduce maintenance and operation codes, and (c) ensuring equitable and fair coverage to areas with low ridership.
2 code implementations • 15 Jun 2021 • Sayyed Mohsen Vazirizade, Ayan Mukhopadhyay, Geoffrey Pettet, Said El Said, Hiba Baroud, Abhishek Dubey
These statistical models are then used for proactive stationing which allocates first responders across the spatial area in order to reduce overall response time.
no code implementations • 25 Mar 2021 • Matthew Burruss, Shreyas Ramakrishna, Abhishek Dubey
In this paper, we show how the deep-RBF network can be used for detecting anomalies in CPS regression tasks such as continuous steering predictions.
2 code implementations • 18 Feb 2021 • Charles Hartsell, Shreyas Ramakrishna, Abhishek Dubey, Daniel Stojcsics, Nagabhushan Mahadevan, Gabor Karsai
To help with this process, we provide a scenario modeling procedure that can use the prior distributions of the scenes and threat conditions to generate the data required for estimating the conditional relationships.
Robotics
no code implementations • 22 Jan 2021 • Michael Wilbur, Philip Pugliese, Aron Laszka, Abhishek Dubey
Modern intelligent urban mobility applications are underpinned by large-scale, multivariate, spatiotemporal data streams.
Computers and Society
no code implementations • 24 Dec 2020 • Geoffrey Pettet, Ayan Mukhopadhyay, Mykel Kochenderfer, Abhishek Dubey
We use the emergency response as a case study and show how a large resource allocation problem can be split into smaller problems.
1 code implementation • 10 Nov 2020 • Yasas Senarath, Saideep Nannapaneni, Hemant Purohit, Abhishek Dubey
Crowdsourcing platforms such as Waze provides an opportunity to develop a rapid, `proactive' approach to collect data about incidents through crowd-generated observational reports.
Ranked #1 on Traffic Accident Detection on custom
no code implementations • 15 Oct 2020 • Ayan Mukhopadhyay, Geoffrey Pettet, Mykel Kochenderfer, Abhishek Dubey
Emergency response to incidents such as accidents, crimes, and fires is a major problem faced by communities.
no code implementations • 7 Jun 2020 • Ayan Mukhopadhyay, Geoffrey Pettet, Sayyed Vazirizade, Di Lu, Said El Said, Alex Jaimes, Hiba Baroud, Yevgeniy Vorobeychik, Mykel Kochenderfer, Abhishek Dubey
In the last fifty years, researchers have developed statistical, data-driven, analytical, and algorithmic approaches for designing and improving emergency response management (ERM) systems.
no code implementations • 12 Apr 2020 • Charles Hartsell, Nagabhushan Mahadevan, Harmon Nine, Ted Bapty, Abhishek Dubey, Gabor Karsai
Development of Cyber Physical Systems (CPSs) requires close interaction between developers with expertise in many domains to achieve ever-increasing demands for improved performance, reduced cost, and more system autonomy.
1 code implementation • 10 Apr 2020 • Afiya Ayman, Michael Wilbur, Amutheezan Sivagnanam, Philip Pugliese, Abhishek Dubey, Aron Laszka
In this paper, we present a novel framework for the data-driven prediction of route-level energy use for mixed-vehicle transit fleets, which we evaluate using data collected from the bus fleet of CARTA, the public transit authority of Chattanooga, TN.
no code implementations • 10 Apr 2020 • Amutheezan Sivagnanam, Afiya Ayman, Michael Wilbur, Philip Pugliese, Abhishek Dubey, Aron Laszka
Our results show that the proposed algorithms are scalable and can reduce energy use and, hence, environmental impact and operational costs.
no code implementations • 10 Mar 2020 • Vijaya Kumar Sundar, Shreyas Ramakrishna, Zahra Rahiminasab, Arvind Easwaran, Abhishek Dubey
We use the fact that compact latent space generated by an appropriately selected $\beta$-VAE will encode the information about these factors in a few latent variables, and that can be used for computationally inexpensive detection.
no code implementations • 21 Jan 2020 • Geoffrey Pettet, Ayan Mukhopadhyay, Mykel Kochenderfer, Yevgeniy Vorobeychik, Abhishek Dubey
This is not a trivial planning problem --- a major challenge with dynamically balancing the spatial distribution of responders is the complexity of the problem.
no code implementations • 30 Nov 2019 • Sanchita Basak, Fangzhou Sun, Saptarshi Sengupta, Abhishek Dubey
To address these, this paper makes the following contributions to the corpus of studies on transit on-time performance optimization: (a) an unsupervised clustering mechanism is presented which groups months with similar seasonal delay patterns, (b) the problem is formulated as a single-objective optimization task and a greedy algorithm, a genetic algorithm (GA) as well as a particle swarm optimization (PSO) algorithm are employed to solve it, (c) a detailed discussion on empirical results comparing the algorithms are provided and sensitivity analysis on hyper-parameters of the heuristics are presented along with execution times, which will help practitioners looking at similar problems.
no code implementations • 21 Feb 2019 • Ayan Mukhopadhyay, Geoffrey Pettet, Chinmaya Samal, Abhishek Dubey, Yevgeniy Vorobeychik
We highlight why such an approach is crucial to the effectiveness of emergency response, and present an algorithmic framework that can compute promising actions for a given decision-theoretic model for responder dispatch.
1 code implementation • 6 Feb 2019 • Shreyas Ramakrishna, Charles Hartsell, Matthew P Burruss, Gabor Karsai, Abhishek Dubey
This architecture integrates the system to be assured with a safe controller and provides a decision logic to switch between the decisions of these controllers.
no code implementations • 21 Oct 2018 • Sanchita Basak, Saptarshi Sengupta, Abhishek Dubey
In this paper we work with components of backend data servers such as hard disks, that are subject to degradation.
no code implementations • 30 Jan 2018 • Fangzhou sun, Abhishek Dubey, Jules White
We use data related to real-time traffic speed, jam factors (a traffic congestion indicator), and events collected over a year from Nashville, TN to train a multi-layered deep neural network.
no code implementations • 8 Feb 2017 • Amin Ghafouri, Aron Laszka, Abhishek Dubey, Xenofon Koutsoukos
Erroneous data can adversely affect applications such as route planning, and can cause increased travel time.