article-journal

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
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
BTE-Sim: Fast simulation environment for public transportation
The public commute is essential to all urban centers and is an efficient and environment-friendly way to travel. Transit systems must …
Rishav Sen, Toan Tran, Seyedmehdi Khaleghian, Mina Sartipi, Himanshu Neema, Abhishek Dubey
Cite URL
Moving target defense for the security and resilience of mixed time and event triggered cyber-physical systems
Memory corruption attacks such as code injection, code reuse, and non-control data attacks have become widely popular for compromising …
Bradley Potteiger, Abhishek Dubey, Feiyang Cai, Xenofon Koutsoukos, Zhenkai Zhang
Cite DOI URL
A Data Partitioning-based Artificial Neural Network Model to Estimate Real-driving Energy Consumption of Electric Buses
Reliable and accurate estimation of electric bus energy consumption is critical for electric bus operation and planning. But energy …
Yunteng Zhang, Yuche Chen, Ruixiao Sun, Abhishek Dubey, Philip Pugliese
Cite
A Review and Outlook of Energy Consumption Estimation Models for Electric Vehicles
Electric vehicles (EVs) are critical to the transition to a low-carbon transportation system. The successful adoption of EVs heavily …
Yuche Chen, Guoyuan Wu, Ruixiao Sun, Abhishek Dubey, Aron Laszka, Philip Pugliese
Cite
Data driven methods for effective micromobility parking
Ricardo Sandoval, Caleb Van Geffen, Michael Wilbur, Brandon Hall, Abhishek Dubey, William Barbour, Daniel B. Work
Cite
Hybrid electric buses fuel consumption prediction based on real-world driving data
Estimating fuel consumption by hybrid diesel buses is challenging due to its diversified operations and driving cycles. In this study, …
Ruixiao Sun, Yuche Chen, Abhishek Dubey, Philip Pugliese
Cite DOI URL
Safe and Private Forward-Trading Platform for Transactive Microgrids
Transactive microgrids have emerged as a transformative solution for the problems faced by distribution system operators due to an …
Scott Eisele, Taha Eghtesad, Keegan Campanelli, Prakhar Agrawal, Aron Laszka, Abhishek Dubey
Cite DOI URL