paper-conference

Out-of-Distribution Detection in Multi-Label Datasets using Latent Space of beta-VAE
V. Sundar, S. Ramakrishna, Z. Rahiminasab, A. Easwaran, A. Dubey
Cite DOI URL
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
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
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
A Binary Decision Diagram Based Cascade Prognostics Scheme For Power Systems
Ajay Chhokra, Saqib Hasan, Abhishek Dubey, Gabor Karsai
Cite
A Binary Decision Diagram Based Cascade Prognostics Scheme For Power Systems
Ajay Chhokra, Saqib Hasan, Abhishek Dubey, Gabor Karsai
Cite
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 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 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 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