Bineet Ghosh

According to our database, Bineet Ghosh authored at least 14 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model.

Bineet Ghosh, Étienne André

Log. Methods Comput. Sci., 2024

Certifiable and Efficient Autonomous Cyber-Physical Systems Design.

Shengjie Xu, Clara Hobbs, Bineet Ghosh, Parasara Sridhar Duggirala, Samarjit Chakraborty

Proceedings of the 37th International Conference on VLSI Design and 23rd International Conference on Embedded Systems, 2024

2023

MoULDyS: Monitoring of autonomous systems in the presence of uncertainties.

Bineet Ghosh, Étienne André

Sci. Comput. Program., August, 2023

Safety-Aware Implementation of Control Tasks via Scheduling with Period Boosting and Compressing.

Shengjie Xu, Bineet Ghosh, Clara Hobbs, P. S. Thiagarajan, Prachi Joshi, Samarjit Chakraborty

Proceedings of the 29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2023

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

Shengjie Xu, Bineet Ghosh, Clara Hobbs, Enrico Fraccaroli, Parasara Sridhar Duggirala, Samarjit Chakraborty

Proceedings of the Automated Technology for Verification and Analysis, 2023

Safety-Aware Flexible Schedule Synthesis for Cyber-Physical Systems Using Weakly-Hard Constraints.

Shengjie Xu, Bineet Ghosh, Clara Hobbs, P. S. Thiagarajan, Samarjit Chakraborty

Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023

2022

Safety Analysis of Embedded Controllers Under Implementation Platform Timing Uncertainties.

Clara Hobbs, Bineet Ghosh, Shengjie Xu, Parasara Sridhar Duggirala, Samarjit Chakraborty

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Dynamic Selection of Perception Models for Robotic Control.

Bineet Ghosh, Masaad Khan, Adithya Ashok, Sandeep Chinchali, Parasara Sridhar Duggirala

CoRR, 2022

Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties.

Bineet Ghosh, Clara Hobbs, Shengjie Xu, Parasara Sridhar Duggirala, James H. Anderson, P. S. Thiagarajan, Samarjit Chakraborty

Proceedings of the 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2022

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

Bineet Ghosh, Étienne André

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022

2021

Reachability of Linear Uncertain Systems: Sampling Based Approaches.

Bineet Ghosh, Parasara Sridhar Duggirala

CoRR, 2021

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

Bineet Ghosh, Parasara Sridhar Duggirala

CoRR, 2021

Interpretable Trade-offs Between Robot Task Accuracy and Compute Efficiency.

Bineet Ghosh, Sandeep Chinchali, Parasara Sridhar Duggirala

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

2019

Robust Reachable Set: Accounting for Uncertainties in Linear Dynamical Systems.

Bineet Ghosh, Parasara Sridhar Duggirala

ACM Trans. Embed. Comput. Syst., 2019