article-journal

Impact of COVID-19 on Public Transit Accessibility and Ridership
COVID-19 has radically transformed urban travel behavior throughout the world. Agencies have had to provide adequate service while …
Michael Wilbur, Afiya Ayman, Amutheezan Sivagnanam, Anna Ouyang, Vincent Poon, Riyan Kabir, Abhiram Vadali, Philip Pugliese, Daniel Freudberg, Aron Laszka, Abhishek Dubey
Cite DOI URL
Reinforcement Learning based Proactive Control for Enabling Power Grid Resilience to Wildfire
Salah Uddin Kadir, Subir Majumder, A. Srivastava, A. Chhokra, H. Neema, A. Dubey, A. Laszka
Cite DOI
Hierarchical Planning for Dynamic Resource Allocation in Smart and Connected Communities
Resource allocation under uncertainty is a classic problem in city-scale cyber-physical systems. Consider emergency response, where …
Geoffrey Pettet, Ayan Mukhopadhyay, Mykel J. Kochenderfer, Abhishek Dubey
Cite DOI URL
Hierarchical Planning for Dynamic Resource Allocation in Smart and Connected Communities
Resource allocation under uncertainty is a classic problem in city-scale cyber-physical systems. Consider emergency response, where …
Geoffrey Pettet, Ayan Mukhopadhyay, Mykel J. Kochenderfer, Abhishek Dubey
Cite DOI URL
Syntheto: A Surface Language for APT and ACL2
Syntheto is a surface language for carrying out formally verified program synthesis by transformational refinement in ACL2 using the …
Alessandro Coglio, Eric McCarthy, Stephen Westfold, Daniel Balasubramanian, Abhishek Dubey, Gabor Karsai
Cite DOI URL
Syntheto: A Surface Language for APT and ACL2
Syntheto is a surface language for carrying out formally verified program synthesis by transformational refinement in ACL2 using the …
Alessandro Coglio, Eric McCarthy, Stephen Westfold, Daniel Balasubramanian, Abhishek Dubey, Gabor Karsai
Cite DOI URL
Efficient Out-of-Distribution Detection Using Latent Space of β-VAE for Cyber-Physical Systems
Deep Neural Networks are actively being used in the design of autonomous Cyber-Physical Systems (CPSs). The advantage of these models …
Shreyas Ramakrishna, Zahra Rahiminasab, Gabor Karsai, Arvind Easwaran, Abhishek Dubey
Cite DOI URL
Efficient Out-of-Distribution Detection Using Latent Space of β-VAE for Cyber-Physical Systems
Deep Neural Networks are actively being used in the design of autonomous Cyber-Physical Systems (CPSs). The advantage of these models …
Shreyas Ramakrishna, Zahra Rahiminasab, Gabor Karsai, Arvind Easwaran, Abhishek Dubey
Cite DOI URL
A Review of Incident Prediction, Resource Allocation, and Dispatch Models for Emergency Management
In the last fifty years, researchers have developed statistical, data-driven, analytical, and algorithmic approaches for designing and …
Ayan Mukhopadhyay, Geoffrey Pettet, Sayyed Mohsen Vazirizade, Di Lu, Alejandro Jaimes, Said El Said, Hiba Baroud, Yevgeniy Vorobeychik, Mykel Kochenderfer, Abhishek Dubey
Cite DOI URL
A Review of Incident Prediction, Resource Allocation, and Dispatch Models for Emergency Management
In the last fifty years, researchers have developed statistical, data-driven, analytical, and algorithmic approaches for designing and …
Ayan Mukhopadhyay, Geoffrey Pettet, Sayyed Mohsen Vazirizade, Di Lu, Alejandro Jaimes, Said El Said, Hiba Baroud, Yevgeniy Vorobeychik, Mykel Kochenderfer, Abhishek Dubey
Cite DOI URL