paper-conference

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