paper-conference

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
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
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
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
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
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
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
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
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
Smart City Hubs: Opportunities for Integrating and Studying Human CPS at Scale
Abhishek Dubey, Monika Sturm, Martin Lehofer, Janos Sztipanovits
PDF Cite