Publications

Rolling Horizon based Temporal Decomposition for the Offline Pickup and Delivery Problem with Time Windows
The offline pickup and delivery problem with time windows (PDPTW) is a classical combinatorial optimization problem in the …
Youngseo Kim, Danushka Edirimanna, Michael Wilbur, Philip Pugliese, Aron Laszka, Abhishek Dubey, Samitha Samaranayake
Cite
On Designing Day Ahead and Same Day Ridership Level Prediction Models for City-Scale Transit Networks Using Noisy APC Data
The ability to accurately predict public transit ridership demand benefits passengers and transit agencies. Agencies will be able to …
Jose Paolo Talusan, Ayan Mukhopadhyay, Dan Freudberg, 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
Decentralized Computation Market for Stream Processing Applications
While cloud computing is the current standard for outsourcing computation, it can be prohibitively expensive for cities and …
Scott Eisele, Michael Wilbur, Taha Eghtesad, Kevin Silvergold, Fred Eisele, Ayan Mukhopadhyay, Aron Laszka, Abhishek Dubey
Cite
Offline Vehicle Routing Problem with Online Bookings: A Novel Problem Formulation with Applications to Paratransit
Vehicle routing problems (VRPs) can be divided into two major categories: offline VRPs, which consider a given set of trip requests to …
Amutheezan Sivagnanam, Salah Uddin Kadir, Ayan Mukhopadhyay, Philip Pugliese, Abhishek Dubey, Samitha Samaranayake, Aron Laszka
Cite
ADVISER: AI-Driven Vaccination Intervention Optimiser for Increasing Vaccine Uptake in Nigeria
More than 5 million children under five years die from largely preventable or treatable medical conditions every year, with an …
Vineet Nair, Kritika Prakash, Michael Wilbur, Aparna Taneja, Corinne Namblard, Oyindamola Adeyemo, Abhishek Dubey, Abiodun Adereni, Milind Tambe, Ayan Mukhopadhyay
Cite DOI URL
Neural Architecture and Feature Search for Predicting the Ridership of Public Transportation Routes
Accurately predicting the ridership of public-transit routes provides substantial benefits to both transit agencies, who can dispatch …
Afiya Ayman, Juan Martinez, Philip Pugliese, Abhishek Dubey, Aron Laszka
Cite
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
Designing Decision Support Systems for Emergency Response: Challenges and Opportunities
Designing effective emergency response management (ERM) systems to respond to incidents such as road accidents is a major problem faced …
G. Pettet, H. Baxter, S. Vazirizade, H. Purohit, M. Ma, A. Mukhopadhyay, A. 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
Anomaly based Incident Detection in Large Scale Smart Transportation Systems
Modern smart cities are focusing on smart transportation solutions to detect and mitigate the effects of various traffic incidents in …
Jaminur Islam, Jose Paolo Talusan, Shameek Bhattacharjee, Francis Tiausas, Sayyed Mohsen Vazirizade, Abhishek Dubey, Keiichi Yasumoto, Sajal Das
Cite
An Online Approach to Solve the Dynamic Vehicle Routing Problem with Stochastic Trip Requests for Paratransit Services
Many transit agencies operating paratransit and microtransit services have to respond to trip requests that arrive in real-time, which …
Michael Wilbur, Salah Kadir, Youngseo Kim, Geoffrey Pettet, Ayan Mukhopadhyay, Philip Pugliese, Samitha Samaranayake, Aron Laszka, Abhishek Dubey
Cite
Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems
Autonomous Cyber-Physical Systems must often operate under uncertainties like sensor degradation and distribution shifts in the …
Shreyas Ramakrishna, Baiting Luo, Yogesh Barve, Gabor Karsai, Abhishek Dubey
Cite
Traffic Anomaly Detection Via Conditional Normalizing Flow
Traffic congestion anomaly detection is of paramount importance in intelligent traffic systems. The goals of transportation agencies …
Zhuangwei Kang, Ayan Mukhopadhyay, Aniruddha Gokhale, Shijie Wen, Abhishek Dubey
Cite DOI
Reinforcement Learning based Proactive Control for Transmission Grid Resilience to Wildfire
Power grid operation subject to an extreme event requires decision-making by human operators under stressful condition with high …
Salah U. Kadir, Subir Majumder, Ajay D. Chhokra, Abhishek Dubey, Himanshu Neema, Aron Laszka, Anurag K. Srivastava
Cite DOI 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
Model-Based Intent-Driven Adaptive Software (MIDAS)
The increasing complexity of software systems makes the rapid propagation of requirement changes into the design and implementation …
Gabor Karsai, Alessandro Coglio, Abhishek Dubey
Cite
E-Transit-Bench: Simulation Platform for Analyzing Electric Public Transit Bus Fleet Operations
When electrified transit systems make grid aware choices, improved social welfare is achieved by reducing grid stress, reducing system …
Rishav Sen, Alok Kumar Bharati, Seyedmehdi Khaleghian, Malini Ghosal, Michael Wilbur, Toan Tran, Philip Pugliese, Mina Sartipi, Himanshu Neema, Abhishek Dubey
Cite DOI URL
Designing Equitable Transit Networks
Public transit is an essential infrastructure enabling access to employment, healthcare, education, and recreational facilities. While …
Sophie Pavia, J. Carlos Martinez Mori, Aryaman Sharma, Philip Pugliese, Abhishek Dubey, Samitha Samaranayake, Ayan Mukhopadhyay
Cite DOI URL
Decision Making in Non-Stationary Environments with Policy-Augmented Monte Carlo Tree Search
Decision-making under uncertainty (DMU) is present in many important problems. An open challenge is DMU in non-stationary environments, …
Geoffrey Pettet, Ayan Mukhopadhyay, Abhishek Dubey
Cite arXiv
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
Automating Pattern Selection for Assurance Case Development for Cyber-Physical Systems
Assurance Cases are increasingly being required for regulatory acceptance of Cyber-Physical Systems. However, the ever-increasing …
Shreyas Ramakrishna, Hyunjee Jin, Abhishek Dubey, Arun Ramamurthy
Cite
ANTI-CARLA: An Adversarial Testing Framework for Autonomous Vehicles in CARLA
Despite recent advances in autonomous driving systems, accidents such as the fatal Uber crash in 2018 show these systems are still …
Shreyas Ramakrishna, Baiting Luo, Christopher B. Kuhn, Gabor Karsai, Abhishek Dubey
Cite DOI
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 modular approach for integrating data science concepts into multiple undergraduate STEM+ C courses
Brendan McLoughlin, Sambridhi Bhandari, Erin Henrick, Erin Hotchkiss, Manoj Jha, Steven Jiang, Emily Kern, Landon Marston, Christopher Vanags, Caitlin Snyder, others
Cite URL
WildfireDB: An Open-Source Dataset ConnectingWildfire Spread with Relevant Determinants
Modeling fire spread is critical in fire risk management. Creating data-driven models to forecast spread remains challenging due to the …
Samriddhi Singla, Ayan Mukhopadhyay, Michael Wilbur, Tina Diao, Vinayak Gajjewar, Ahmed Eldawy, Mykel Kochenderfer, Ross Shachter, Abhishek Dubey
Cite
User-centric Distributed Route Planning in Smart Cities based on Multi-objective Optimization
The realization of edge-based cyber-physical systems (CPS) poses important challenges in terms of performance, robustness, security, …
Francis Tiausas, Jose Paolo Talusan, Yu Ishimaki, Hayato Yamana, Hirozumi Yamaguchi, Shameek Bhattacharjee, Abhishek Dubey, Keiichi Yasumoto, Sajal K. Das
Cite DOI
Transit-Gym: A Simulation and Evaluation Engine for Analysis of Bus Transit Systems
Public transit is central to cultivating equitable communities. Meanwhile, the novel coronavirus disease COVID-19 and associated social …
Ruixiao Sun, Rongze Gui, Himanshu Neema, Yuche Chen, Juliette Ugirumurera, Joseph Severino, Philip Pugliese, Aron Laszka, Abhishek Dubey
Cite arXiv
Spatio-temporal AI inference engine for estimating hard disk reliability
This paper focuses on building a spatio-temporal AI inference engine for estimating hard disk reliability. Most electronic systems such …
Sanchita Basak, Saptarshi Sengupta, Shi-Jie Wen, Abhishek Dubey
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
RT-METER: A Real-Time, Multi-Layer Cyber–Power Testbed for Resiliency Analysis
In this work, we present a Real-Time, Multi-layer cybEr–power TestbEd for the Resiliency analysis (RT-METER) to support power grid …
Hussain M. Mustafa, Mohini Bariya, K. S. Sajan, Ajay Chhokra, Anurag Srivastava, Abhishek Dubey, Alexandra von Meier, Gautam Biswas
Cite
ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems
Autonomous Cyber-Physical Systems (CPSs) are often required to handle uncertainties and self-manage the system operation in response to …
Charles Hartsell, Shreyas Ramakrishna, Abhishek Dubey, Daniel Stojcsics, Nag Mahadevan, Gabor Karsai
Cite
Predicting Public Transportation Load to Estimate the Probability of Social Distancing Violations
Public transit agencies struggle to maintain transit accessibility with reduced resources, unreliable ridership data, reduced vehicle …
Juan Martinez, Ayan Mukhopadhyay Afiya Ayman, Michael Wilbur, Philip Pugliese, Dan Freudberg, Aron Laszka, Abhishek Dubey
Cite
Practitioner-Centric Approach for Early Incident Detection Using Crowdsourced Data for Emergency Services
Emergency response is highly dependent on the time of incident reporting. Unfortunately, the traditional approach to receiving incident …
Yasas Senarath, Ayan Mukhopadhyay, Sayyed Vazirizade, hemant Purohit, Saideep Nannapaneni, Abhishek Dubey
Cite
Power-Attack: A comprehensive tool-chain for modeling and simulating attacks in power systems
Due to the increased deployment of novel communication, control and protection functions, the grid has become vulnerable to a variety …
Ajay Chhokra, Carlos Barreto, Abhishek Dubey, Gabor Karsai, Xenofon Koutsoukos
Cite
Poster Abstract: Configuration Tuning for Distributed IoT Message Systems Using Deep Reinforcement Learning
Distributed messaging systems (DMSs) are often equipped with a large number of configurable parameters that enable users to define …
Zhuangwei Kang, Yogesh D. Barve, Shunxing Bao, Abhishek Dubey, Aniruddha Gokhale
Cite
Minimizing Energy Use of Mixed-Fleet Public Transit for Fixed-Route Service
Affordable public transit services are crucial for communities since they enable residents to access employment, education, and other …
Amutheezan Sivagnanam, Afiya Ayman, Michael Wilbur, Philip Pugliese, Abhishek Dubey, Aron Laszka
Cite
Learning Incident Prediction Models Over Large Geographical Areas for Emergency Response Systems
Principled decision making in emergency response management necessitates the use of statistical models that predict the …
Sayyed Mohsen Vazirizade, Ayan Mukhopadhyay, Geoffrey Pettet, Said El Said, Hiba Baroud, Abhishek Dubey
Cite arXiv
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
Hierarchical Planning for Resource Allocation in Emergency Response Systems
A classical problem in city-scale cyber-physical systems (CPS) is resource allocation under uncertainty. Spatial-temporal allocation of …
Geoffrey Pettet, Ayan Mukhopadhyay, Mykel Kochenderfer, Abhishek Dubey
Cite
Energy and Emission Prediction for Mixed-Vehicle Transit Fleets Using Multi-Task and Inductive Transfer Learning
Public transit agencies are focused on making their fixed-line bus systems more energy efficient by introducing electric (EV) and …
Michael Wilbur, Ayan Mukhopadhyay, Sayyed Vazirizade, Philip Pugliese, Aron Laszka, Abhishek Dubey
Cite
Efficient Data Management for Intelligent Urban Mobility Systems
Modern intelligent urban mobility applications are underpinned by large-scale, multivariate, spatiotemporal data streams. Working with …
Michael Wilbur, Philip Pugliese, Aron Laszka, Abhishek Dubey
Cite
Deep-RBF Networks for Anomaly Detection in Automotive Cyber-Physical Systems
Deep Neural Networks (DNNs) are popularly used for implementing autonomy related tasks in automotive Cyber-Physical Systems (CPSs). …
Matthew Burruss, Shreyas Ramakrishna, Abhishek Dubey
Cite DOI
Data driven methods for effective micromobility parking
Ricardo Sandoval, Caleb Van Geffen, Michael Wilbur, Brandon Hall, Abhishek Dubey, William Barbour, Daniel B. Work
Cite
Collaborative Research Project to Coordinate the Data from the CRASH Predictive Analytics Program Between TDOT and TDOSHS
Hiba Baroud, Abhishek Dubey, Sayyed Mohsen Vazirizade, others
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
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
Emergency Incident Detection from Crowdsourced Waze Data using Bayesian Information Fusion
The number of emergencies have increased over the years with the growth in urbanization. This pattern has overwhelmed the emergency …
Yasas Senarath, Saideep Nannapaneni, hemant Purohit, Abhishek Dubey
Cite URL
Data-Driven Prediction of Route-Level Energy Use for Mixed-Vehicle Transit Fleets
Due to increasing concerns about environmental impact, operating costs, and energy security, public transit agencies are seeking to …
Afiya Ayman, Michael Wilbur, Amutheezan Sivagnanam, Philip Pugliese, Abhishek Dubey, Aron Laszka
Cite
Out-of-Distribution Detection in Multi-Label Datasets using Latent Space of β-VAE
V. Sundar, S. Ramakrishna, Z. Rahiminasab, A. Easwaran, A. Dubey
Cite DOI URL
Deep-Edge: An Efficient Framework for Deep Learning Model Update on Heterogeneous Edge
Deep Learning (DL) model-based AI services are increasingly offered in a variety of predictive analytics services such as computer …
Anirban Bhattacharjee, Ajay Dev Chhokra, Hongyang Sun, Shashank Shekhar, Aniruddha Gokhale, Gabor Karsai, Abhishek Dubey
Cite DOI URL
Workflow Automation for Cyber Physical System Development Processes
Development of Cyber Physical Systems (CPSs) requires close interaction between developers with expertise in many domains to achieve …
Charles Hartsell, Nagabhushan Mahadevan, Harmon Nine, Ted Bapty, Abhishek Dubey, Gabor Karsai
Cite DOI
URMILA: Dynamically Trading-off Fog and Edge Resources for Performance and Mobility-Aware IoT Services
The fog/edge computing paradigm is increasingly being adopted to support a range of latency-sensitive IoT services due to its ability …
Shashank Shekhar, Ajay Chhokra, Hongyang Sun, Aniruddha Gokhale, Abhishek Dubey, Xenofon Koutsoukos, Gabor Karsai
Cite DOI URL
Time-dependent Decentralized Routing using Federated Learning
Recent advancements in cloud computing have driven rapid development in data-intensive smart city applications by providing near real …
Michael Wilbur, Chinmaya Samal, Jose Paolo Talusan, Keiichi Yasumoto, Abhishek Dubey
Cite
Streaming computation algorithms for spatiotemporal micromobility service availability
Location-based services and fleet management are important components of modern smart cities. However, statistical analysis with …
W. Barbour, M. Wilbur, R. Sandoval, A. Dubey, D. B. Work
Cite DOI
Security in Mixed Time and Event Triggered Cyber-Physical Systems using Moving Target Defense
Memory corruption attacks such as code injection, code reuse, and non-control data attacks have become widely popular for compromising …
B. Potteiger, F. Cai, A. Dubey, X. Koutsoukos, Z. Zhang
Cite DOI
Route Planning Through Distributed Computing by Road Side Units
Cities are embracing data-intensive applications to maximize their constrained transportation networks. Platforms such as Google offer …
J. P. V. Talusan, M. Wilbur, A. Dubey, K. Yasumoto
Cite
Resilient Information Architecture Platform for the Smart Grid: A Novel Open-Source Platform for Microgrid Control
Microgrids are seen as an effective way to achieve reliable, resilient, and efficient operation of the power distribution system. Core …
H. Tu, Y. Du, H. Yu, Abhishek Dubey, S. Lukic, G. Karsai
Cite
Realistic Synchrophasor Data Generation for Anomaly Detection and Event Classification
The push to automate and digitize the electric grid has led to widespread installation of Phasor Measurement Units (PMUs) for improved …
Kaduvettykunnal Sajan, Mohini Bariya, Sanchita Basak, Anurag K. Srivastava, Abhishek Dubey, Alexandra von Meier, Gautam Biswas
Cite
Qualitative fault modeling in safety critical Cyber Physical Systems
One of the key requirements for designing safety critical cyber physical systems (CPS) is to ensure resiliency. Typically, the cyber …
Ajay Chhokra, Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsa
Cite
Online monitoring and control of a cyber-physical manufacturing process under uncertainty
Recent technological advancements in computing, sensing and communication have led to the development of cyber-physical manufacturing …
Saideep Nannapaneni, Sankaran Mahadevan, Abhishek Dubey, Yung-Tsun Tina Lee
Cite DOI
On Decentralized Route Planning Using the Road Side Units as Computing Resources
Residents in cities typically use third-party platforms such as Google Maps for route planning services. While providing near real-time …
Jose Paolo Talusan, Michael Wilbur, Abhishek Dubey, Keiichi Yasumoto
Cite
On Algorithmic Decision Procedures in Emergency Response Systems in Smart and Connected Communities
Emergency Response Management (ERM) is a critical problem faced by communities across the globe. Despite its importance, it is common …
Geoffrey Pettet, Ayan Mukhopadhyay, Mykel Kochenderfer, Yevgeniy Vorobeychik, Abhishek Dubey
Cite
Mechanisms for Outsourcing Computation via a Decentralized Market
As the number of personal computing and IoT devices grows rapidly, so does the amount of computational power that is available at the …
Scott Eisele, Taha Eghtesad, Nicholas Troutman, Aron Laszka, Abhishek Dubey
Cite
Impact of COVID-19 on Public Transit Accessibility and Ridership
Public transit is central to cultivating equitable communities. Meanwhile, the novel coronavirus disease COVID-19 and associated social …
Michael Wilbur, Afiya Ayman, Anna Ouyang, Vincent Poon, Riyan Kabir, Abhiram Vadali, Philip Pugliese, Daniel Freudberg, Aron Laszka, Abhishek Dubey
Cite arXiv
Dynamic-weighted simplex strategy for learning enabled cyber physical systems
Cyber Physical Systems (CPS) have increasingly started using Learning Enabled Components (LECs) for performing perception-based control …
Shreyas Ramakrishna, Charles Harstell, Matthew P. Burruss, Gabor Karsai, Abhishek Dubey
Cite DOI URL
Designing a decentralized fault-tolerant software framework for smart grids and its applications
The vision of the ‘Smart Grid’ anticipates a distributed real-time embedded system that implements various monitoring and control …
Purboday Ghosh, Scott Eisele, Abhishek Dubey, Mary Metelko, István Madari, Péter Völgyesi, Gabor Karsai
Cite DOI URL
Data-Driven Prediction and Optimization of Energy Use for Transit Fleets of Electric and ICE Vehicles
Due to the high upfront cost of electric vehicles, many public transit agencies can afford only mixed fleets of internal-combustion and …
Afiya Ayman, Amutheezan Sivagnanam, Michael Wilbur, Philip Pugliese, Abhishek Dubey, Aron Laszka
Cite
Data Driven Methods for Effective Micromobility Parking
Proliferation of shared urban mobility devices (SUMDs), particularly dockless e-scooters, has created opportunities for users with …
William Barbour, Michael Wilbur, Ricardo Sandoval, Caleb Van Geffen, Brandon Hall, Abhishek Dubey, Dan Work
Cite
Cyber-Physical Vulnerability Analysis of IoT Applications Using Multi-Modeling
Summary Using the Smart Home as a use case, we examine the vulnerabilities in the system across the technologies used in its …
Ted Bapty, Abhishek Dubey, Janos Sztipanovits
Cite DOI URL
Cyber-Attacks and Mitigation in Blockchain Based Transactive Energy Systems
Power grids are undergoing major changes due to the rapid adoption of intermittent renewable energy resources and the increased …
Carlos Barreto, Taha Eghtesad, Scott Eisele, Aron Laszka, Abhishek Dubey, Xenofon Koutsoukos
Cite
Blockchains for Transactive Energy Systems: Opportunities, Challenges, and Approaches
The emergence of blockchains and smart contracts have renewed interest in electrical cyber-physical systems, especially in the area of …
Scott Eisele, Carlos Barreto, Abhishek Dubey, Xenofon Koutsoukos, Taha Eghtesad, Aron Laszka, Anastasia Mavridou
Cite
An LSTM-Based Online Prediction Method for Building Electric Load During COVID-19
Accurate prediction of electric load is critical to optimally controlling and operating buildings. It provides the opportunities to …
Hao Tu, Srdjan Lukic, Abhishek Dubey, Gabor Karsai
Cite
A Study of Publish/Subscribe Middleware Under Different IoT Traffic Conditions
Publish/Subscribe (pub/sub) semantics are critical forIoT applications due to their loosely coupled nature.Although OMG DDS, MQTT, and …
Zhuangwei Kang, Robert Canady, Abhishek Dubey, Aniruddha Gokhale, Shashank Shekhar, Matous Sedlacek
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 arXiv
A Methodology for Automating Assurance Case Generation
Safety Case has become an integral component for safety-certification in various Cyber Physical System domains including automotive, …
Shreyas Ramakrishna, Charles Hartsell, Abhishek Dubey, Partha Pal, Gabor Karsai
Cite arXiv
A game-theoretic approach for power systems defense against dynamic cyber-attacks
Technological advancements in todays electrical grids give rise to new vulnerabilities and increase the potential attack surface for …
Saqib Hasan, Abhishek Dubey, Gabor Karsai, Xenofon Koutsoukos
Cite DOI URL
A Decision Support Framework for Grid-Aware Electric Bus Charge Scheduling
While there are many advantages to electric public transit vehicles, they also pose new challenges for fleet operators. One key …
Geoffrey Pettet, Malini Ghosal, Shant Mahserejian, Sarah Davis, Siddharth Sridhar, Abhishek Dubey, Michael Meyer
Cite
A Binary Decision Diagram Based Cascade Prognostics Scheme For Power Systems
Ajay Chhokra, Saqib Hasan, Abhishek Dubey, Gabor Karsai
Cite
Data-Driven Detection of Anomalies and Cascading Failures in Traffic Networks
Traffic networks are one of the most critical infrastructures for any community. The increasing integration of smart and connected …
Sanchita Basak, Afiya Aman, Aron Laszka, Abhishek Dubey, Bruno Leao
Cite DOI
VeriSolid for TRANSAX: Correct-by-Design Ethereum Smart Contracts for Energy Trading
The adoption of blockchain based platforms is rising rapidly. Their popularity is explained by their ability to maintain a distributed …
Aron Laszka, Anastasia Mavridou, Scott Eisele, Emmanouela Statchtiari, Abhishek Dubey
Cite
Enabling Strong Isolation for Distributed Real-Time Applications in Edge Computing Scenarios
Distributed coexisting applications found in the military and space domains, which operate over managed but shared computing resources …
Abhishek Dubey, W. Emfinger, A. Gokhale, P. Kumar, D. McDermet, T. Bapty, G. Karsai
Cite DOI
Mobilytics-Gym: A Simulation Framework for Analyzing Urban Mobility Decision Strategies
The rise in deep learning models in recent years has led to various innovative solutions for intelligent transportation technologies. …
Chinmaya Samal, Abhishek Dubey, Lillian J. Ratliff
Cite DOI URL
Mechanisms for Integrated Feature Normalization and Remaining Useful Life Estimation Using LSTMs Applied to Hard-Disks
In this paper we focus on application of data-driven methods for remaining useful life estimation in components where past failure data …
Sanchita Basak, Saptarshi Sengupta, Abhishek Dubey
Cite DOI URL
A Decentralized Approach for Real Time Anomaly Detection in Transportation Networks
Michael Wilbur, Abhishek Dubey, Bruno Leao, Shameek Bhattacharjee
Cite DOI URL
Model-based design for CPS with learning-enabled components
Recent advances in machine learning led to the appearance of Learning-Enabled Components (LECs) in Cyber-Physical Systems. LECs are …
Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai
Cite DOI URL
VeriSolid: Correct-by-Design Smart Contracts for Ethereum
The adoption of blockchain based distributed ledgers is growing fast due to their ability to provide reliability, integrity, and …
Anastasia Mavridou, Aron Laszka, Emmanouela Stachtiari, Abhishek Dubey
Cite DOI URL
URMILA: A Performance and Mobility-Aware Fog/Edge Resource Management Middleware
Fog/Edge computing is increasingly used to support a wide range of latency-sensitive Internet of Things (IoT) applications due to its …
Shashank Shekhar, Ajay Chhokra, Hongyang Sun, Aniruddha Gokhale, Abhishek Dubey, Xenofon D. Koutsoukos
Cite DOI URL
Transit-hub: a smart public transportation decision support system with multi-timescale analytical services
Public transit is a critical component of a smart and connected community. As such, citizens expect and require accurate information …
Fangzhou Sun, Abhishek Dubey, Jules White, Aniruddha Gokhale
Cite DOI URL
Towards demand-oriented flexible rerouting of public transit under uncertainty
This paper proposes a flexible rerouting strategy for the public transit to accommodate the spatio-temporal variation in the travel …
Saideep Nannapaneni, Abhishek Dubey
Cite DOI URL
Towards an Adaptive Multi-Modal Traffic Analytics Framework at the Edge
The Internet of Things (IoT) requires distributed, large scale data collection via geographically distributed devices. While IoT …
Geoffrey Pettet, Saroj Sahoo, Abhishek Dubey
Cite DOI URL
Supporting fog/edge-based cognitive assistance IoT services for the visually impaired: poster abstract
The fog/edge computing paradigm is increasingly being adopted to support a variety of latency-sensitive IoT services, such as cognitive …
Shashank Shekhar, Ajay Chhokra, Hongyang Sun, Aniruddha Gokhale, Abhishek Dubey, Xenofon D. Koutsoukos
Cite DOI URL
Smart Transportation Delay and Resiliency Testbed Based on Information Flow of Things Middleware
Edge and Fog computing paradigms are used to process big data generated by the increasing number of IoT devices. These paradigms have …
Jose Paolo Talusan, Francis Tiausas, Keiichi Yasumoto, Michael Wilbur, Geoffrey Pettet, Abhishek Dubey, Shameek Bhattacharjee
Cite DOI URL
Short Paper: Towards An Edge-Located Time-Series Database
Smart infrastructure demands resilient data storage, and emerging applications execute queries on this data over time. Typically, …
Timothy Krentz, Abhishek Dubey, Gabor Karsai
Cite DOI URL
Resilient Information Architecture Platform for the Smart Grid (RIAPS): A Novel Open-Source Platform for Microgrid Control
Microgrids are seen as an effective way to achieve reliable, resilient, and efficient operation of the power distribution system. Core …
H. Tu, Y. Du, H. Yu, Abhishek Dubey, S. Lukic, G. Karsai
Cite DOI
On the Design of Fault-Tolerance in a Decentralized Software Platform for Power Systems
The vision of the `Smart Grid’ assumes a distributed real-time embedded system that implements various monitoring and control …
Purboday Ghosh, Scott Eisele, Abhishek Dubey, Mary Metelko, István Madari, Péter Völgyesi, Gabor Karsai
Cite DOI URL
On Benchmarking for Crowdsourcing and Future of Work Platforms
Ria Mae Borromeo, Lei Chen, Abhishek Dubey, Sudeepa Roy, Saravanan Thirumuruganathan
PDF Cite
Modeling and Predicting the Cascading Effects of Delay in Transit Systems
An effective real-time estimation of the travel time for vehicles, using AVL(Automatic Vehicle Locators) has added a new dimension to …
Aparna Oruganti, Sanchita Basak, Fangzhou Sun, Hiba Baroud, Abhishek Dubey
Cite
Introduction to the special issue of the 16th ACM workshop on Adaptive and Reflective Middleware (ARM)
Abhishek Dubey, Marisol García-Valls
Cite DOI URL
Incident management and analysis dashboard for fire departments: ICCPS demo
This work presents a dashboard tool that helps emergency responders analyze and manage spatial-temporal incidents like crime and …
Geoffrey Pettet, Ayan Mukhopadhyay, Chinmaya Samal, Abhishek Dubey, Yevgeniy Vorobeychik
Cite DOI URL
Device Access Abstractions for Resilient Information Architecture Platform for Smart Grid
This letter presents an overview of design mechanisms to abstract device access protocols in the resilient information architecture …
Abhishek Dubey, Gabor Karsai, Péter Völgyesi, Mary Metelko, István Madari, Hao Tu, Yuhua Du, Srdjan Lukic
Cite DOI URL
Demo: Transactive Energy Application with RIAPS
The modern electric grid is a complex, decentralized cyber-physical system requiring higher-level control techniques to balance the …
Scott Eisele, Purboday Ghosh, Keegan Campanelli, Abhishek Dubey, Gabor Karsai
Cite DOI URL
DeepNNCar: A Testbed for Deploying and Testing Middleware Frameworks for Autonomous Robots
This demo showcases the features of an adaptive middleware framework for resource constrained autonomous robots like DeepNNCar (Figure …
Matthew P. Burruss, Shreyas Ramakrishna, Gabor Karsai, Abhishek Dubey
Cite DOI URL
Data-Driven Optimization of Public Transit Schedule
Bus transit systems are the backbone of public transportation in the United States. An important indicator of the quality of service in …
Sanchita Basak, Fangzhou Sun, Saptarshi Sengupta, Abhishek Dubey
Cite DOI URL
Cyber-Physical Simulation Platform for Security Assessment of Transactive Energy Systems
Transactive energy systems (TES) are emerging as a transformative solution for the problems that distribution system operators face due …
Yue Zhang, Scott Eisele, Abhishek Dubey, Aron Laszka, Anurag K. Srivastava
Cite DOI URL
CPS Design with Learning-Enabled Components: A Case Study
Cyber-Physical Systems (CPS) are used in many applications where they must perform complex tasks with a high degree of autonomy in …
Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai
Cite DOI URL
Chapter Six - Testing at scale of IoT blockchain applications
Abstract Due to the ever-increasing adaptation of Blockchain technologies in the private, public, and business domains, both the use of …
Michael A. Walker, Douglas C. Schmidt, Abhishek Dubey
Cite DOI URL
Chapter Seven - Consensus mechanisms and information security technologies
Distributed Ledger Technology (DLT) helps maintain and distribute predefined types of information and data in a decentralized manner. …
Peng Zhang, Douglas C. Schmidt, Jules White, Abhishek Dubey
Cite DOI URL
Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots
Learning enabled components (LECs) trained using data-driven algorithms are increasingly being used in autonomous robots commonly found …
Shreyas Ramakrishna, Abhishek Dubey, Matthew P. Burruss, Charles Hartsell, Nagabhushan Mahadevan, Saideep Nannapaneni, Aron Laszka, Gabor Karsai
Cite DOI URL
Analyzing the Cascading Effect of Traffic Congestion Using LSTM Networks
This paper presents a data-driven approach for predicting the propagation of traffic congestion at road seg-ments as a function of the …
Sanchita Basak, Abhishek Dubey, Bruno P. Leao
Cite
An online decision-theoretic pipeline for responder dispatch
The problem of dispatching emergency responders to service traffic accidents, fire, distress calls and crimes plagues urban areas …
Ayan Mukhopadhyay, Geoffrey Pettet, Chinmaya Samal, Abhishek Dubey, Yevgeniy Vorobeychik
Cite DOI URL
A CPS toolchain for learning-based systems: demo abstract
Cyber-Physical Systems (CPS) are expected to perform tasks with ever-increasing levels of autonomy, often in highly uncertain …
Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Gabor Karsai
Cite DOI URL
Development of a Controller Hardware-in-the-Loop Platform for Microgrid Distributed Control Applications
Microgrids (MGs) are ideally suited for distributed control solutions. However, implementation and validation of the developed …
Y. Du, H. Tu, S. Lukic, D. Lubkeman, Abhishek Dubey, G. Karsai
Cite DOI
Distributed Microgrid Synchronization Strategy Using a Novel Information Architecture Platform
To seamlessly reconnect an islanded microgrid to the main grid, voltage phasors on both sides of the point of common coupling need to …
Y. Du, H. Tu, S. Lukic, Abhishek Dubey, G. Karsai
Cite DOI
A Hardware-in-the-Loop Real-Time Testbed for Microgrid Hierarchical Control
To maintain a stable, flexible and economic operation of a microgrid, hierarchical control architecture consisting of primary, …
H. Tu, Y. Du, H. Yu, S. Lukic, M. Metelko, P. Volgyesi, Abhishek Dubey, G. Karsai
Cite DOI
Real-Time Control of Cyber-Physical Manufacturing Process Under Uncertainty
Modern manufacturing processes are increasing becoming cyber-physical in nature, where a computational system monitors the system …
Saideep Nannapaneni, Sankaran Mahadevan, Abhishek Dubey
Cite DOI URL
An Adaptive Interleaving Algorithm for Multi-Converter Systems
To integrate DC distributed generation (DG) with micro-source into the existing AC grid, a DC distribution bus can be used to couple …
H. Tu, Y. Du, H. Yu, S. Lukic, P. Volgyesi, M. Metelko, Abhishek Dubey, G. Karsai
Cite DOI
Structured Summarization of Social Web for Smart Emergency Services by Uncertain Concept Graph
The Web has empowered emergency services to enhance operations by collecting real-time information about incidents from diverse data …
H. Purohit, S. Nannapaneni, Abhishek Dubey, P. Karuna, G. Biswas
Cite DOI
Resilient Information Architecture Platform for Smart Systems (RIAPS): Case Study for Distributed Apparent Power Control
Maintaining voltage and frequency stability in an islanded microgrid is challenging, due to the low system inertia. In addition, …
Y. Du, H. Tu, S. Lukic, D. Lubkeman, Abhishek Dubey, G. Karsai
Cite DOI
Hierarchical Reasoning about Faults in Cyber-Physical Energy Systems using Temporal Causal Diagrams
The resiliency and reliability of critical cyber physical systems like electrical power grids are of paramount importance. These …
Ajay Chhokra, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai, Daniel Balasubramanian, Saqib Hasan
Cite URL
Vulnerability analysis of power systems based on cyber-attack and defense models
Reliable operation of power systems is a primary challenge for the system operators. With the advancement in technology and grid …
Saqib Hasan, Amin Ghafouri, Abhishek Dubey, Gabor Karsai, Xenofon D. Koutsoukos
Cite DOI URL
TRANSAX: A Blockchain-Based Decentralized Forward-Trading Energy Exchanged for Transactive Microgrids
Power grids are undergoing major changes due to rapid growth in renewable energy and improvements in battery technology. Prompted by …
Aron Laszka, Scott Eisele, Abhishek Dubey, Gabor Karsai, Karla Kvaternik
Cite DOI URL
Towards a Socially Optimal Multi-Modal Routing Platform
The increasing rate of urbanization has added pressure on the already constrained transportation networks in our communities. …
Chinmaya Samal, Liyuan Zheng, Fangzhou Sun, Lillian J. Ratliff, Abhishek Dubey
Cite arXiv URL
SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities
Internet of Things and data sciences are fueling the development of innovative solutions for various applications in Smart and …
Scott Eisele, Aron Laszka, Anastasia Mavridou, Abhishek Dubey
Cite DOI URL
Short-Term Transit Decision Support System Using Multi-task Deep Neural Networks
Unpredictability is one of the top reasons that prevent people from using public transportation. To improve the on-time performance of …
Fangzhou Sun, Abhishek Dubey, Chinmaya Samal, Hiba Baroud, Chetan Kulkarni
Cite DOI URL
Resilient and Trustworthy Transactive Platform for Smart and Connected Communities
Aron Laszka, Anastasia Mavridou, Abhishek Dubey
Cite
On the Data-Driven Prediction of Arrival Times for Freight Trains on U.S. Railroads
The high capacity utilization and the pre-dominantly single-track network topology of freight railroads in the United States causes …
William Barbour, Chinmaya Samal, Shankara Kuppa, Abhishek Dubey, Daniel B. Work
Cite DOI URL
Mobilytics- An Extensible, Modular and Resilient Mobility Platform
Transportation management platforms provide communities the ability to integrate the available mobility options and localized …
Chinmaya Samal, Abhishek Dubey, Lillian J. Ratliff
Cite DOI URL
Introducing the new paradigm of Social Dispersed Computing: Applications, Technologies and Challenges
If last decade viewed computational services as a utilitythen surely this decade has transformed computation into a commodity. …
Marisol García-Valls, Abhishek Dubey, Vicent J. Botti
Cite DOI URL
Diagnosis in Cyber-Physical Systems with Fault Protection Assemblies
Fault Protection Assemblies are used in cyber-physical systems for automated fault-isolation. These devices alter the mode of the …
Ajay Chhokra, Abhishek Dubey, Nagabhushan Mahadevan, Saqib Hasan, Gabor Karsai
Cite DOI URL
CHARIOT: Goal-Driven Orchestration Middleware for Resilient IoT Systems
An emerging trend in Internet of Things (IoT) applications is to move the computation (cyber) closer to the source of the data …
Subhav Pradhan, Abhishek Dubey, Shweta Khare, Saideep Nannapaneni, Aniruddha S. Gokhale, Sankaran Mahadevan, Douglas C. Schmidt, Martin Lehofer
Cite DOI URL
Automated aircraft separation safety assurance using Bayesian networks
Saideep Nannapaneni, Abhishek Dubey, Sankaran Mahadevan
Cite
A Data-driven Prognostic Architecture for Online Monitoring of Hard Disks Using Deep LSTM Networks
With the advent of pervasive cloud computing technologies, service reliability and availability are becoming major concerns,especially …
Sanchita Basak, Saptarshi Sengupta, Abhishek Dubey
Cite arXiv URL
A data driven health monitoring approach to extending small sats mission
In the next coming years, the International Space Station (ISS) plans to launch several small-sat missions powered by lithium-ion …
Fangzhou Sun, Abhishek Dubey, C Kulkarni, Nagbhushan Mahadevan, Ali Guarneros Luna
Cite
Implementation of a distributed microgrid controller on the Resilient Information Architecture Platform for Smart Systems (RIAPS)
Formation of microgrids have been proposed as a solution to improve grid reliability, and enable smoother integration of renewables …
Y. Du, H. Tu, S. Lukic, D. Lubkeman, Abhishek Dubey, G. Karsai
Cite DOI
Heuristics-based approach for identifying critical N-k contingencies in power systems
Reliable operation of electrical power systems in the presence of multiple critical N - k contingencies is an important challenge for …
S. Hasan, A. Ghafouri, Abhishek Dubey, G. Karsai, X. Koutsoukos
Cite DOI
A modeling framework to integrate exogenous tools for identifying critical components in power systems
Cascading failures in electrical power systems are one of the major causes of concern for the modem society as it results in huge …
S. Hasan, Abhishek Dubey, A. Chhokra, N. Mahadevan, G. Karsai, X. Koutsoukos
Cite DOI
Unsupervised Mechanisms for Optimizing On-Time Performance of Fixed Schedule Transit Vehicles
The on-time arrival performance of vehicles at stops is a critical metric for both riders and city planners to evaluate the reliability …
Fangzhou Sun, Chinmaya Samal, Jules White, Abhishek Dubey
Cite DOI URL
Transactive energy demo with RIAPS platform
This work presents a platform for decentralized distributed computing called Resilient Information Architecture for the Smart Grid …
Scott Eisele, Abhishek Dubey, Gabor Karsai, Srdjan Lukic
Cite DOI URL
Towards an architecture for evaluating and analyzing decentralized Fog applications
As the number of low cost computing devices at the edge of network increases, there are greater opportunities to enable novel, …
Scott Eisele, Geoffrey Pettet, Abhishek Dubey, Gabor Karsai
Cite DOI URL
Time synchronization services for low-cost fog computing applications
This paper presents the time synchronization infrastructure for a low-cost run-time platform and application framework specifically …
Péter Völgyesi, Abhishek Dubey, Timothy Krentz, István Madari, Mary Metelko, Gabor Karsai
Cite DOI URL
SpeedPro: A Predictive Multi-Model Approach for Urban Traffic Speed Estimation
Data generated by GPS-equipped probe vehicles, especially public transit vehicles can be a reliable source for traffic speed …
Chinmaya Samal, Fangzhou Sun, Abhishek Dubey
Cite DOI URL
Short Paper: Towards Low-Cost Indoor Localization Using Edge Computing Resources
Emerging smart services, such as indoor smart parking or patient monitoring and tracking in hospitals, incur a significant technical …
Shweta Prabhat Khare, János Sallai, Abhishek Dubey, Aniruddha S. Gokhale
Cite DOI URL
RIAPS: Resilient Information Architecture Platform for Decentralized Smart Systems
The emerging Fog Computing paradigm provides an additional computational layer that enables new capabilities in real-time data-driven …
Scott Eisele, István Madari, Abhishek Dubey, Gabor Karsai
Cite DOI URL
Resilience at the edge in cyber-physical systems
As the number of low cost computing devices at the edge of communication network increase, there are greater opportunities to enable …
Abhishek Dubey, Gabor Karsai, Subhav Pradhan
Cite DOI URL
Providing privacy, safety, and security in IoT-based transactive energy systems using distributed ledgers
Power grids are undergoing major changes due to rapid growth in renewable energy resources and improvements in battery technology. …
Aron Laszka, Abhishek Dubey, Michael Walker, Douglas C. Schmidt
Cite DOI URL
Proceedings of the 16th Workshop on Adaptive and Reflective Middleware, ARM@Middleware 2017, Las Vegas, NV, USA, December 11 - 15, 2017
Abhishek Dubey, Marisol García-Valls
Cite URL
Privacy-Preserving Platform for Transactive Energy Systems
Transactive energy systems (TES) are emerging as a transformative solution for the problems faced by distribution system operators due …
Karla Kvaternik, Aron Laszka, Michael Walker, Douglas C. Schmidt, Monika Sturm, Martin Lehofer, Abhishek Dubey
Cite arXiv URL
Prioritized Allocation of Emergency Responders based on a Continuous-Time Incident Prediction Model
Efficient emergency response is a major concern in densely populated urban areas. Numerous techniques have been proposed to allocate …
Ayan Mukhopadhyay, Yevgeniy Vorobeychik, Abhishek Dubey, Gautam Biswas
Cite URL
PlaTIBART: a platform for transactive IoT blockchain applications with repeatable testing
With the advent of blockchain-enabled IoT applications, there is an increased need for related software patterns, middleware concepts, …
Michael A. Walker, Abhishek Dubey, Aron Laszka, Douglas C. Schmidt
Cite DOI URL
Performance evaluation of smart systems under uncertainty
This paper develops a model-based framework for the quantification and propagation of multiple uncertainty sources affecting the …
Saideep Nannapaneni, Abhishek Dubey, Sankaran Mahadevan
Cite DOI URL
Optimal detection of faulty traffic sensors used in route planning
In a smart city, real-time traffic sensors may be deployed for various applications, such as route planning. Unfortunately, sensors are …
Amin Ghafouri, Aron Laszka, Abhishek Dubey, Xenofon D. Koutsoukos
Cite DOI URL
On the design of communication and transaction anonymity in blockchain-based transactive microgrids
Transactive microgrids are emerging as a transformative solution for the problems faced by distribution system operators due to an …
Jonatan Bergquist, Aron Laszka, Monika Sturm, Abhishek Dubey
Cite DOI URL
Indicator frameworks
We develop a diagrammatic tool for constructing correlations between random variables, called an abstract indicator framework. Abstract …
Joshua Tan, Christine Kendrick, Abhishek Dubey, Sokwoo Rhee
Cite DOI URL
Incident analysis and prediction using clustering and Bayesian network
Advances in data collection and storage infrastructure offer an unprecedented opportunity to integrate both data and emergency …
Geoffrey Pettet, Saideep Nannapaneni, Benjamin Stadnick, Abhishek Dubey, Gautam Biswas
Cite DOI URL
DxNAT - Deep neural networks for explaining non-recurring traffic congestion
Non-recurring traffic congestion is caused by temporary disruptions, such as accidents, sports games, adverse weather, etc. We use data …
Fangzhou Sun, Abhishek Dubey, Jules White
Cite DOI URL
Drems-os: An operating system for managed distributed real-time embedded systems
Distributed real-time and embedded (DRE) systems executing mixed criticality task sets are increasingly being deployed in mobile and …
Abhishek Dubey, Gabor Karsai, Aniruddha Gokhale, William Emfinger, Pranav Kumar
Cite
Diagnostics and prognostics using temporal causal models for cyber physical energy systems
Reliable operation of cyber-physical systems such as power transmission and distribution systems is crtiical for the seamless …
Ajay Chhokra, Saqib Hasan, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai
Cite DOI URL
Automated Uncertainty Quantification Through Information Fusion in Manufacturing Processes
Evaluation of key performance indicators (KPIs) such as energy consumption is essential for decision-making during the design and …
S. Nannapaneni, S. Mahadevan, A. Dubey, D. Lechevalier, A. Narayanan, S. Rachuri
Cite
A Systematic Approach of Identifying Optimal Load Control Actions for Arresting Cascading Failures in Power Systems
Cascading outages in power networks cause blackouts which lead to huge economic and social consequences. The traditional form of load …
Ajay Chhokra, Amogh Kulkarni, Saqib Hasan, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai
Cite DOI URL
A simulation testbed for cascade analysis
Electrical power systems are heavily instrumented with protection assemblies (relays and breakers) that detect anomalies and arrest …
Saqib Hasan, Ajay Chhokra, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai, Rishabh Jain, Srdjan Lukic
Cite DOI URL
Towards a generic computation model for smart city platforms
Smart emergency response systems, smart transportation systems, smart parking spaces are some examples of multi-domain smart city …
S. Pradhan, Abhishek Dubey, S. Neema, A. Gokhale
Cite DOI
WiP Abstract: Platform for Designing and Managing Resilient and Extensible CPS
Extensible Cyber-Physical Systems (CPS) are loosely connected, multi-domain platforms that "virtualize" their resources to …
Subhav Pradhan, Abhishek Dubey, Aniruddha S. Gokhale
Cite DOI URL
Towards Reliability-Based Decision Making in Cyber-Physical Systems
Cyber-physical systems (CPS) are systems with a tight integration between the computational (also referred to as software or cyber) and …
Saideep Nannapaneni, Sankaran Mahadevan, Subhav Pradhan, Abhishek Dubey
Cite DOI URL
The Role of Context and Resilient Middleware in Next Generation Smart Grids
The emerging trends of volatile distributed energy resources and micro-grids are putting pressure on electrical power system …
Abhishek Dubey, Subhav Pradhan, Douglas C. Schmidt, Sebnem Rusitschka, Monika Sturm
Cite DOI URL
Real-Time and Predictive Analytics for Smart Public Transportation Decision Support System
Public bus transit plays an important role in city transportation infrastructure. However, public bus transit is often difficult to use …
Fangzhou Sun, Yao Pan, Jules White, Abhishek Dubey
Cite DOI URL
Poster Abstract: Distributed Reasoning for Diagnosing Cascading Outages in Cyber Physical Energy Systems
The power grid incorporates a number of protection elements such as distance relays that detect faults and prevent the propagation of …
Ajay Chhokra, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai
Cite DOI URL
Poster Abstract: A Distributed and Resilient Platform for City-Scale Smart Systems
The advent of the Internet of Things (IoT) is driving several technological trends. The first trend is an increased level of …
Subhav Pradhan, Abhishek Dubey, Shweta Khare, Fangzhou Sun, János Sallai, Aniruddha S. Gokhale, Douglas C. Schmidt, Martin Lehofer, Monika Sturm
Cite DOI URL
Mission-based reliability prediction in component-based systems
This paper develops a framework for the extraction of a reliability block diagram in component-based systems for reliability prediction …
Saideep Nannapaneni, Abhishek Dubey, Sherif Abdelwahed, Sankaran Mahadevan, Sandeep Neema, Ted Bapty
Cite
Designing a Resilient Deployment and Reconfiguration Infrastructure for Remotely Managed Cyber-Physical Systems
Multi-module Cyber-Physical Systems (CPS), such as satellite clusters, swarms of Unmanned Aerial Vehicles (UAV), and fleets of Unmanned …
Subhav Pradhan, Abhishek Dubey, Aniruddha S. Gokhale
Cite DOI URL
Demo Abstract: RIAPS - A Resilient Information Architecture Platform for Edge Computing
The emerging CPS/IoT ecosystem platforms such as Beaglebone Black, Raspberry Pi, Intel Edison and other edge devices such as SCALE, …
William Emfinger, Abhishek Dubey, Péter Völgyesi, János Sallai, Gabor Karsai
Cite DOI URL
DelayRadar: A multivariate predictive model for transit systems
Effective public transit operations are one of the fundamental requirements for a modern community. Recently, a number of transit …
Aparna Oruganti, Fangzhou Sun, Hiba Baroud, Abhishek Dubey
Cite DOI URL
Computation and Communication Evaluation of an Authentication Mechanism for Time-Triggered Networked Control Systems
In modern networked control applications, confidentiality and integrity are important features to address in order to prevent against …
Gonçalo Martins, Arul Moondra, Abhishek Dubey, Anirban Bhattacharjee, Xenofon D. Koutsoukos
Cite DOI URL
An approach to mode and anomaly detection with spacecraft telemetry data
This paper discusses a mixed method that combines unsupervised learning methods and human expert input for analyzing telemetry data …
Gautam Biswas, Hamed Khorasgani, Gerald Stanje, Abhishek Dubey, Somnath Deb, Sudipto Ghoshal
Cite
An application of data driven anomaly identification to spacecraft telemetry data
In this paper, we propose a mixed method for analyzing telemetry data from a robotic space mission. The idea is to first apply …
Gautam Biswas, Hamed Khorasgani, Gerald Stanje, Abhishek Dubey, Somnath Deb, Sudipto Ghoshal
Cite
Achieving resilience in distributed software systems via self-reconfiguration
Improvements in mobile networking combined with the ubiquitous availability and adoption of low-cost development boards have enabled …
Subhav Pradhan, Abhishek Dubey, Tihamer Levendovszky, Pranav Srinivas Kumar, William Emfinger, Daniel Balasubramanian, William Otte, Gabor Karsai
Cite DOI URL
A Smart Decision Support System for Public Transit Operations
Shashank Shekhar, Fangzhou Sun, Abhishek Dubey, Aniruddha Gokhale, Himanshu Neema, Martin Lehofer, Dan Freudberg
Cite
A Reusable and Extensible Web-Based Co-Simulation Platform for Transactive Energy Systems
Rapid evolution of energy generation technology and increased used of distributed energy resources (DER) is continually pushing …
Himanshu Neema, William Emfinger, Abhishek Dubey
Cite
CHARIOT: a domain specific language for extensible cyber-physical systems
Wider adoption, availability and ubiquity of wireless networking technologies, integrated sensors, actuators, and edge computing …
Subhav M. Pradhan, Abhishek Dubey, Aniruddha S. Gokhale, Martin Lehofer
Cite DOI URL
An improved distance relay model with directional element, and memory polarization for TCD based fault propagation studies
Modern Power Systems have evolved into a very complex network of multiple sources, lines, breakers, loads and others. The performance …
R. Jain, S. M. Lukic, A. Chhokra, N. Mahadevan, Abhishek Dubey, G. Karsai
Cite DOI
From system modeling to formal verification
Due to increasing design complexity, modern systems are modeled at a high level of abstraction. SystemC is widely accepted as a system …
A. Chhokra, S. Abdelwahed, Abhishek Dubey, S. Neema, G. Karsai
Cite
Towards a Product Line of Heterogeneous Distributed Applications
Next generation large-scale distributed systems – such as smart cities – are dynamic, heterogeneous and multi-domain in nature. The …
Subhav Pradhan, Abhishek Dubey, William R Otte, Gabor Karsai, Aniruddha Gokhale
PDF Cite
A component-based approach for modeling failure propagations in power systems
Resiliency and reliability is of paramount impor- tance for energy cyber physical systems. Electrical protection systems including …
A. Chhokra, Abhishek Dubey, N. Mahadevan, G. Karsai
Cite DOI
Using temporal causal models to isolate failures in power system protection devices
We introduced the modeling paradigm of Temporal Causal Diagrams (TCD) in this paper. TCDs capture fault propagation and behavior …
Nagabhushan Mahadevan, Abhishek Dubey, Ajay Chhokra, Huangcheng Guo, Gabor Karsai
Cite DOI URL
Smart City Hubs: Opportunities for Integrating and Studying Human CPS at Scale
Abhishek Dubey, Monika Sturm, Martin Lehofer, Janos Sztipanovits
PDF Cite
DREMS ML: A wide spectrum architecture design language for distributed computing platforms
Complex sensing, processing and control applications running on distributed platforms are difficult to design, develop, analyze, …
Daniel Balasubramanian, Abhishek Dubey, William Otte, Tihamer Levendovszky, Aniruddha S. Gokhale, Pranav Srinivas Kumar, William Emfinger, Gabor Karsai
Cite DOI URL
A Model-Based Approach for Reliability Assessment in Component-Based Systems
This paper describes a formal framework for reliability assessment of component-based systems with respect to specific missions. A …
Saideep Nannapaneni, Abhishek Dubey, Sherif Abdelwahed, Sankaran Mahadevan, Sandeep Neema
Cite
Establishing Secure Interactions across Distributed Applications in Satellite Clusters
Recent developments in small satellites have led to an increasing interest in building satellite clusters as open systems that provide …
S. Pradhan, W. Emfinger, Abhishek Dubey, W. R. Otte, D. Balasubramanian, A. Gokhale, G. Karsai, A. Coglio
Cite DOI
Performance evaluation of an authentication mechanism in time-triggered networked control systems
An important challenge in networked control systems is to ensure the confidentiality and integrity of the message in order to secure …
G. Martins, A. Bhattacharjee, Abhishek Dubey, X. D. Koutsoukos
Cite DOI
Towards a Self-adaptive Deployment and Configuration Infrastructure for Cyber-Physical Systems
Multi-module Cyber-Physical Systems (CPSs), such as satellite clusters, swarms of Unmanned Aerial Vehicles (UAV), and fleets of …
Subhav Pradhan, William Otte, Abhishek Dubey, Csanad Szabo, Aniruddha Gokhale, Gabor Karsai
PDF Cite
Temporal Causal Diagrams for diagnosing failures in cyber-physical systems
Resilient and reliable operation of cyber physical systems of societal importance such as Smart Electric Grids is one of the top …
Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai, Anurag Srivastava, Chen-Ching Liu
Cite
Taming Multi-Paradigm Integration in a Software Architecture Description Language
Software architecture description languages offer a convenient way of describing the high-level structure of a software system. Such …
Daniel Balasubramanian, Tihamer Levendovszky, Abhishek Dubey, Gabor Karsai
PDF Cite
Key Considerations for a Resilient and Autonomous Deployment and Configuration Infrastructure for Cyber-Physical Systems
Multi-module Cyber-Physical Systems (CPSs), such as satellite clusters, swarms of Unmanned Aerial Vehicles (UAV), and fleets of …
Subhav Pradhan, William Otte, Abhishek Dubey, Aniruddha Gokhale, Gabor Karsai
Cite
Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems
Architecting software for a cloud computing platform built from mobile embedded devices incurs many challenges that aren’t …
Tihamer Levendovszky, Abhishek Dubey, William Otte, Daniel Balasubramanian, Alessandro Coglio, Sandor Nyako, William Emfinger, Pranav Srinivas Kumar, Aniruddha S. Gokhale, Gabor Karsai
Cite DOI URL
Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems
Cyber-physical systems increasingly rely on distributed computing platforms where sensing, computing, actuation, and communication …
Gabor Karsai, Daniel Balasubramanian, Abhishek Dubey, William Otte
Cite DOI URL
Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications
Distributed Real-Time Embedded (DRE) Systems that address safety and mission-critical system requirements are applied in a variety of …
Pranav Srinivas Kumar, Abhishek Dubey, Gabor Karsai
PDF Cite
Analysis, verification, and management toolsuite for cyber-physical applications on time-varying networks
Cyber-Physical Systems (CPS) are increasingly utilizing advances in wireless mesh networking among computing nodes to facilitate …
William Emfinger, Gabor Karsai, Abhishek Dubey, Aniruddha S. Gokhale
Cite DOI URL
A resilient and secure software platform and architecture for distributed spacecraft
A distributed spacecraft is a cluster of independent satellite modules flying in formation that communicate via ad-hoc wireless …
William R. Otte, Abhishek Dubey, Gabor Karsai
Cite DOI URL
A Rapid Testing Framework for a Mobile Cloud
Mobile clouds such as network-connected vehicles and satellite clusters are an emerging class of systems that are extensions to …
Daniel Balasubramanian, Abhishek Dubey, William R. Otte, William Emfinger, Pranav Srinivas Kumar, Gabor Karsai
Cite DOI URL
Generic modeling and analysis framework for shipboard system design
This paper proposes a novel modeling and simulation environment for ship design based on the principles of Model Integrated Computing …
J. Shi, R. Amgai, S. Abdelwahed, Abhishek Dubey, J. Humphreys, M. Alattar, R. Jia
Cite DOI
Deliberative Reasoning in Software Health Management
Rising software complexity in aerospace systems makes them very dicult to analyze and prepare for all possible fault scenarios at …
Nagabhushan Mahadevan, Abhishek Dubey, Daniel Balasubramanian, Gabor Karsai
Cite
Understanding Failure Dynamics in the Smart Electric Grid
A Dubey, G Karsai, N Mahadevan, A Srivastava, CC Liu, S Lukic
Cite
Towards a resilient deployment and configuration infrastructure for fractionated spacecraft
Fractionated spacecraft are clusters of small, independent modules that interact wirelessly to realize the functionality of a …
Subhav Pradhan, William Otte, Abhishek Dubey, Aniruddha S. Gokhale, Gabor Karsai
Cite DOI URL
Software health management
Abhishek Dubey, Gabor Karsai
Cite DOI
Fault-Adaptivity in Hard Real-Time Component-Based Software Systems
Complexity in embedded software systems has reached the point where we need run-time mechanisms that provide fault management services. …
Abhishek Dubey, Gabor Karsai, Nagabhushan Mahadevan
Cite DOI URL
F6COM: A component model for resource-constrained and dynamic space-based computing environments
Component-based programming models are well-suited to the design of large-scale, distributed applications because of the ease with …
William Otte, Abhishek Dubey, Subhav Pradhan, Prithviraj Patil, Aniruddha S. Gokhale, Gabor Karsai, Johnny Willemsen
Cite DOI URL
Drems: A toolchain and platform for the rapid application development, integration, and deployment of managed distributed real-time embedded systems
William Emfinger, Pranav Kumar, Abhishek Dubey, William Otte, Aniruddha Gokhale, Gabor Karsai
Cite
Deliberative, search-based mitigation strategies for model-based software health management
Rising software complexity in aerospace systems makes them very difficult to analyze and prepare for all possible fault scenarios at …
Nagabhushan Mahadevan, Abhishek Dubey, Daniel Balasubramanian, Gabor Karsai
Cite DOI URL
A model-driven software component framework for fractionated spacecraft
Fractionated spacecraft is a novel space architecture that uses a cluster of small spacecraft modules (with their own attitude control …
Abhishek Dubey, Aniruddha Gokhale, Gabor Karsai, W Otte, Johnny Willemsen
Cite
Formalization of a Component Model for Real-time Systems
Component-based software development for real-time systems necessitates a well-defined textquoteleftcomponent modeltextquoteright that …
Abhishek Dubey, Gabor Karsai, Nagabhushan Mahadevan
Cite
On state of the art in virtual machine security
Data centers and computing service providers are striving to improve the utilization of their computing resources. This is primarily …
Qian Chen, R. Mehrotra, Abhishek Dubey, S. Abdelwahed, K. Rowland
Cite DOI
A software platform for fractionated spacecraft
A fractionated spacecraft is a cluster of independent modules that interact wirelessly to maintain cluster flight and realize the …
Abhishek Dubey, W. Emfinger, A. Gokhale, G. Karsai, W. R. Otte, J. Parsons, C. Szabo, A. Coglio, E. Smith, P. Bose
Cite DOI
The Inertial Measurement Unit Example: A Software Health Management Case Study
This report captures in detail a Two-level Software Health Management strategy on a real-life example of an Inertial Measurement Unit …
Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai
Cite
RFDMon: A Real-time and Fault-tolerant Distributed System Monitoring Approach
One of the main requirements for building an autonomic system is to have a robust monitoring framework. In this paper, a systematic …
Rajat Mehrotra, Abhishek Dubey, Sherif Abdelwahed, Krisa W. Rowland
Cite
Reliable Distributed Real-Time and Embedded Systems through Safe Middleware Adaptation
Distributed real-time and embedded (DRE) systems are a class of real-time systems formed through a composition of predominantly legacy, …
Akshay Dabholkar, Abhishek Dubey, Aniruddha S. Gokhale, Gabor Karsai, Nagabhushan Mahadevan
Cite DOI URL
Power-Aware Modeling and Autonomic Management Framework for Distributed Computing Systems
Rajat Mehrotra, Abhishek Dubey, Sherif Abdelwahed, Asser N. Tantawi
Cite URL
Implementing Autonomic Computing Methods to Improve Attack Resilience in Web Services
Weston P Monceaux, Deland E Evans, Keith N Rappold, Cary D Butler, Sherif Abdelwahed, Rajat Mehrotra, Abhishek Dubey
Cite
Architecting Health Management into Software Component Assemblies: Lessons Learned from the ARINC-653 Component Mode
Complex real-time software systems require an active fault management capability. While testing, verification and validation schemes …
Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai
Cite DOI URL
A deliberative reasoner for model-based software health management
While traditional design-time and off-line approaches to testing and verification contribute significantly to improving and ensuring …
Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai
Cite
A collaborative early-stage ship design environment
Recent advances in sensor and weapons systems are significantly increasing the electrical power that is required and the thermal loads …
Julie Chalfant, Blake Langland, Sherif Abdelwahed, Chryssostomos Chryssostomidis, Roger Dougal, Abhishek Dubey, Touria El Mezyani, JD Herbst, Thomas Kiehne, Juan Ordonez, others
Cite
RFDMon: A Real-Time and Fault-Tolerant Distributed System Monitoring Approach
Rajat Mehrotra, Abhishek Dubey, Jim Kwalkowski, Marc Paterno, Amitoj Singh, Randolph Herber, Sherif Abdelwahed
Cite
Large Scale Monitoring and Online Analysis in a Distributed Virtualized Environment
Due to increase in number and complexity of the large scale systems, performance monitoring and multidimensional quality of service …
R. Mehrotra, Abhishek Dubey, S. Abdelwahed, W. Monceaux
Cite DOI
Model-based software health management for real-time systems
Complexity of software systems has reached the point where we need run-time mechanisms that can be used to provide fault management …
Abhishek Dubey, G. Karsai, N. Mahadevan
Cite DOI
Model-based Tools and Techniques for Real-Time System and Software Health Management
The ultimate challenge in system health management is the theory for and application of the technology to systems, for instance to an …
Sherif Abdelwahed, Abhishek Dubey, Gabor Karsai, Nagabhushan Mahadevan
Cite DOI URL
Meta-Tools For Designing Scientific Workflow Management Systems: Part-I, Survey
Scientific workflows require the coordination of data processing activities, resulting in executions driven by data dependencies. Due …
Tripti Saxena, Abhishek Dubey
Cite
Efficient Autoscaling in the Cloud Using Predictive Models for Workload Forecasting
Large-scale component-based enterprise applications that leverage Cloud resources expect Quality of Service(QoS) guarantees in …
Nilabja Roy, Abhishek Dubey, Aniruddha S. Gokhale
Cite DOI URL
Autonomic Healing of Model-Based Systems
Steven Nordstrom, Abhishek Dubey, Turker Keskinpala, Sandeep Neema, Theodore Bapty
Cite DOI URL
Application of software health management techniques
The growing complexity of software used in large-scale, safety critical cyber-physical systems makes it increasingly difficult to …
Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai
Cite DOI URL
A component model for hard real-time systems: CCM with ARINC-653
Size and complexity of software in safety critical system is increasing at a rapid pace. One technology that can be used to mitigate …
Abhishek Dubey, Gabor Karsai, Nagabhushan Mahadevan
Cite DOI URL
A Case Study On The Application of Software Health Management Techniques
Ever increasing complexity of software used in large-scale, safety critical cyber-physical systems makes it increasingly difficult to …
Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai
Cite
A Capacity Planning Process for Performance Assurance of Component-based Distributed Systems
For service providers of multi-tiered component-based applications, such as web portals, assuring high performance and availability to …
Nilabja Roy, Abhishek Dubey, Aniruddha S. Gokhale, Larry W. Dowdy
Cite DOI URL
A Report On Simulating External Applications With SOAMANET in the Loop
Himanshu Neema, Abhishek Dubey, Gabor Karsai
Cite
LQCD workflow execution framework: Models, provenance and fault-tolerance
Large computing clusters used for scientific processing suffer from systemic failures when operated over long continuous periods for …
Luciano Piccoli, Abhishek Dubey, James N Simone, James B Kowalkowlski
Cite DOI
Dynamic Workflow Management and Monitoring Using DDS
Large scientific computing data-centers require a distributed dependability subsystem that can provide fault isolation and recovery and …
P. Pan, Abhishek Dubey, L. Piccoli
Cite DOI
Towards Model-based Software Health Management for Real-Time Systems
The complexity of software systems has reached the point where we need run-time mechanisms that can be used to provide fault management …
Abhishek Dubey, Gabor Karsai, Nagabhushan Mahadevan
Cite
Model Identification for Performance Management of Distributed Enterprise Systems
Rajat Mehrotra, Abhishek Dubey, Sherif Abdelwahed, Asser Tantawi
Cite
Middleware for Resource-Aware Deployment and Configuration of Fault-Tolerant Real-time Systems
Developing large-scale distributed real-time and embedded (DRE) systems is hard in part due to complex deployment and configuration …
Jaiganesh Balasubramanian, Aniruddha S. Gokhale, Abhishek Dubey, Friedhelm Wolf, Chenyang Lu, Christopher D. Gill, Douglas C. Schmidt
Cite DOI URL
Integrated Monitoring and Control for Performance Management of Distributed Enterprise Systems
This paper describes an integrated monitoring and control framework for managing performance of distributed enterprise systems.
Rajat Mehrotra, Abhishek Dubey, Sherif Abdelwahed, Asser N. Tantawi
Cite DOI URL
Enabling self-management by using model-based design space exploration
Reconfiguration and self-management are important properties for systems that operate in hazardous and uncontrolled environments, such …
Tripti Saxena, Abhishek Dubey, Daniel Balasubramanian, Gabor Karsai
Cite
A Real-Time Component Framework: Experience with CCM and ARINC-653
The complexity of software in systems like aerospace vehicles has reached the point where new techniques are needed to ensure system …
Abhishek Dubey, Gabor Karsai, Robert Kereskenyi, Nagabhushan Mahadevan
Cite DOI URL
Towards a Real-time Component Framework for Software Health Management
The complexity of software in systems like aerospace vehicles has reached the point where new techniques are needed to ensure system …
Abhishek Dubey, Gabor Karsai, Robert Kereskenyi, Nagabhushan Mahadevan
Cite
A Discussion on Supervisory Control Theory in Real-Time Discrete Event Systems
Abhishek Dubey
Cite
Resource-Aware Deployment and Configuration of Fault-tolerant Real-time Systems
Jaiganesh Balasubramanian, Aniruddha Gokhale, Friedhelm Wolf, Abhishek Dubey, Chenyang Lu, Chris Gill, Douglas C. Schmidt
Cite
Using Runtime Verification to Design a Reliable Execution Framework for Scientific Workflows
In this paper, we describe the design of a scientific workflow execution framework that integrates runtime verification to monitor its …
Abhishek Dubey, L. Piccoli, J. B. Kowalkowski, J. N. Simone, X. Sun, G. Karsai, S. Neema
Cite DOI
Towards Dynamic CPU Demand Estimation in Multi-Tiered Web Setup
The complexity of software in systems like aerospace vehicles has reached the point where new techniques are needed to ensure system …
Abhishek Dubey
PDF Cite
Reflex and healing architecture for software health management
Abhishek Dubey, Nagbhushan Mahadevan, Robert Kereskenyi
Cite
Performance modeling of distributed multi-tier enterprise systems
Abhishek Dubey, Rajat Mehrotra, Sherif Abdelwahed, Asser N. Tantawi
Cite DOI URL
Modeling and Analysis of Probabilistic Timed Systems
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a …
Abhishek Dubey, Derek Riley, Sherif Abdelwahed, Ted Bapty
Cite DOI URL
Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems
Fault-tolerant frameworks for large scale computing clusters require sensor programs, which are executed periodically to facilitate …
Abhishek Dubey, Gabor Karsai, Sherif Abdelwahed
Cite DOI URL
Algorithms for Synthesizing Safe Sets of Operation for Embedded Systems
A large number of embedded computing systems are modeled as hybrid system with both discrete and continuous dynamics. In this paper, we …
Abhishek Dubey
Cite DOI URL
Towards A Model-Based Autonomic Reliability Framework for Computing Clusters
One of the primary problems with computing clusters is to ensure that they maintain a reliable working state most of the time to …
Abhishek Dubey, S. Nordstrom, T. Keskinpala, S. Neema, T. Bapty, G. Karsai
Cite DOI
Scientific Computing Autonomic Reliability Framework
Large scientific computing clusters require a distributed dependability subsystem that can provide fault isolation and recovery and is …
Abhishek Dubey, Sandeep Neema, Jim Kowalkowski, Amitoj Singh
Cite DOI URL
Model Predictive Analysis for AutonomicWorkflow Management in Large-scale Scientific Computing Environments
In large scale scientific computing, proper planning and management of computational resources lead to higher system utilizations and …
S. Nordstrom, Abhishek Dubey, T. Keskinpala, R. Datta, S. Neema, T. Bapty
Cite DOI
Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems
Designing autonomic fault responses is difficult, particularly in large-scale systems, as there is no single …
Abhishek Dubey, Steven Nordstrom, Turker Keskinpala, Sandeep Neema, Ted Bapty, Gabor Karsai
Cite DOI URL
A Guided Explorative Approach for Autonomic Healing of Model-Based Systems
Embedded computing is an area in which many of the Self-* properties of autonomic systems are desirable. Model based tools for …
Steven Nordstrom, Ted Bapty, Sandeep Neema, Abhishek Dubey, Turker Keskinpala
Cite
Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems
In large scale real-time systems many problems associated with self-management are exacerbated by the addition of time deadlines. In …
Abhishek Dubey, S. Nordstrom, T. Keskinpala, S. Neema, T. Bapty
Cite DOI
GHOST: Guided Healing and Optimization Search Technique for Healing Large-Scale Embedded Systems
Reflex and healing architectures have been shown to provide adequate user-defined initial failure mitigation behaviors in the presence …
S. Nordstrom, Abhishek Dubey, T. Keskinpala, S. Neema, T. Bapty
Cite DOI
A Model Driven Tool for Automated System Level Testing of Middleware
This paper presents a contribution to the challenges of manually creating test configurations and deployments for high performance …
Turker Keskinpala, Abhishek Dubey, Steve Nordstrom, Ted Bapty, Sandeep Neema
Cite
Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach
In this paper, we describe a computation platform called ReachLab, which enables automatic analysis of embedded software systems that …
Abhishek Dubey, X. Wu, H. Su, T. J. Koo
Cite