Publications

       

Referred Publications

Quantitative Safety-Driven Co-Synthesis of Cyber-Physical System Implementations

• Authors: Clara Hobbs, Shengjie Xu, Bineet Ghosh, Parasara Sridhar Duggirala, Samarjit Chakraborty.
• In: 15th ACM/IEEE International Conference on Cyber-Physical Systems. 2024.
[Abstract]           [Local PDF]           [cite]

[Poster/Demo] Neural Architecture Sizing for Autonomous Systems

• Authors: Shengjie Xu, Clara Hobbs, Yukai Song, Bineet Ghosh, Sharmin Aktar, Lei Yang, Yi Sheng, Weiwen Jiang, Jingtong Hu, Parasara Sridhar Duggirala and Samarjit Chakraborty.
• In: 15th ACM/IEEE International Conference on Cyber-Physical Systems. 2024.
[Abstract]           [Local PDF]           [cite]

Certifiable and Efficient Autonomous Cyber-Physical Systems Design

• Authors: Shengjie Xu, Clara Hobbs, Bineet Ghosh, Parasara Sridhar Duggirala, Samarjit Chakraborty.
• In: 37th International Conference on VLSI Design. 2024.
[Abstract]           [Local PDF]           [cite]

Statistical Verification of Autonomous System Controllers Under Timing Uncertainties

• Authors: Bineet Ghosh, Clara Hobbs, Shengjie Xu, Parasara Sridhar Duggirala, James Anderson, P.S. Thiagrajan, Samarjit Chakraborty.
• In: Real-Time Systems (TIME). 2024.
[Abstract]           [Local PDF]           [Code]           [cite]

Offline and Online Energy-Efficient Monitoring of Scattered Uncertain Logs Using a Bounding Model

• Authors: Bineet Ghosh, Étienne André.
• In: Logical Methods in Computer Science (LMCS). 2024.
[Abstract]           [arXiv]           [Code]           [cite]

Social Media Posts:           [Tweet]           [LinkedIn]           [Facebook]           [Instagram]

Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical Systems

• Authors: Shengjie Xu, Bineet Ghosh, Clara Hobbs, Enrico Fraccaroli, Parasara Sridhar Duggirala, Samarjit Chakraborty.
• In: International Symposium on Automated Technology for Verification and Analysis (ATVA) 2023.
[Abstract]           [Local PDF]           [cite]

Safety-aware Implementation of Control Tasks via Period Boosting and Compressing

• Authors: Shengjie Xu, Bineet Ghosh, Clara Hobbs, P.S. Thiagrajan, Samarjit Chakraborty.
• In: International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) 2023.
[Abstract]           [Local PDF]           [cite]

MoULDyS: Monitoring of Autonomous Systems Under the Presence of Uncertainties

• Authors: Bineet Ghosh, Étienne André.
• In: Software Track of Science of Computer Programming. 2023.
[Abstract]           [Local PDF]           [Code]           [cite]

Safety-aware Flexible Schedule Synthesis for Cyber-Physical Systems using Weakly-Hard Constraints

• Authors: Shengjie Xu, Bineet Ghosh, Clara Hobbs, P.S. Thiagrajan, Samarjit Chakraborty.
• In: 28th Asia and South Pacific Design Automation Conference (ASP-DAC) 2023.
[Abstract]           [Local PDF]           [cite]

Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties

• Authors: Bineet Ghosh, Clara Hobbs, Shengjie Xu, Parasara Sridhar Duggirala, James Anderson, P.S. Thiagrajan, Samarjit Chakraborty.
• In: International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) 2022.
Best Paper Candidate.
Invited for an extension in Real-Time Systems journal.
[Abstract]           [Local PDF]           [Video Presentation]           [Code]           [cite]

Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems

• Authors: Bineet Ghosh, Étienne André.
• In: Formal Techniques for Distributed Objects, Components, and Systems (FORTE) 2022.
Invited for an extension in LMCS journal.
[Abstract]           [Local PDF]           [Local PPT]           [Code]           [cite]

Safety Analysis of Embedded Controllers under Implementation Platform Timing Uncertainties

• Authors: Clara Hobbs, Bineet Ghosh, Shengjie Xu, Parasara Sridhar Duggirala, Samarjit Chakraborty.
• In: International Conference on Embedded Software (EMSOFT) 2022.
[Abstract]           [Local PDF]          [cite]

Interpretable Trade-offs Between Robot Task Accuracy and Compute Efficiency

• Authors: Bineet Ghosh, Sandeep Chinchali, Parasara Sridhar Duggirala.
• In: International Conference on Intelligent Robots and Systems (IROS) 2021.
[Abstract]           [Local PDF]           [Local PPT]           [Video Presentation]           [cite]

Robust Reachable Set: Accounting for Uncertainties in Linear Dynamical Systems

• Authors: Bineet Ghosh, Parasara Sridhar Duggirala
• In: ACM Transactions on Embedded Computing Systems (TECS). 2019.
This paper was presented at EMSOFT 2019.
[Abstract]           [Local PDF]           [Local PPT]           [Code]           [cite]

Preprints

Please send me an email for the preprints, if not availble here.

GPU Partitioning and Optimal Neural Architecture Sizing for Autonomous Systems.

• Authors: Shengjie Xu, Clara Hobbs, Yukai Song, Bineet Ghosh, Sharmin Aktar, Lei Yang, Yi Sheng, Weiwen Jiang, Jingtong Hu, Parasara Sridhar Duggirala and Samarjit Chakraborty.

Dynamic Selection of Perception Models for Robotic Control

• Authors: Bineet Ghosh, Masaad Khan, Adithya Ashok, Sandeep Chinchali, Parasara Sridhar Duggirala.
[Abstract]           [arXiv]           [Code]           [cite]

Reachability of Linear Uncertain Systems: Sampling Based Approaches

• Authors: Bineet Ghosh, Parasara Sridhar Duggirala.
[Abstract]           [arXiv]           [cite]

Robustness of Safety for Linear Dynamical Systems: Symbolic and Numerical Approaches

• Authors: Bineet Ghosh, Parasara Sridhar Duggirala.
[Abstract]           [arXiv]           [Code]           [cite]