paper-conference

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
A Decentralized Approach for Real Time Anomaly Detection in Transportation Networks
Michael Wilbur, Abhishek Dubey, Bruno Leao, Shameek Bhattacharjee
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
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
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
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
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
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
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
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