Bineet Ghosh

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 20

Top Topics

Statistical Hypothesis Testing

Hard Constraints

Uncertain Environments

Dynamical Systems

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Clara Hobbs, Shengjie Xu, Bineet Ghosh, Enrico Fraccaroli, Parasara Sridhar Duggirala, Samarjit Chakraborty
Quantitative Safety-Driven Co-Synthesis of Cyber-Physical System Implementations. ICCPS (2024)
Bineet Ghosh, Étienne André
MoULDyS: Monitoring of Autonomous Systems in the Presence of Uncertainties. CoRR (2024)
Shengjie Xu, Clara Hobbs, Bineet Ghosh, Parasara Sridhar Duggirala, Samarjit Chakraborty
Certifiable and Efficient Autonomous Cyber-Physical Systems Design. VLSID (2024)
Bineet Ghosh, Étienne André
Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model. Log. Methods Comput. Sci. 20 (1) (2024)
Bineet Ghosh, Clara Hobbs, Shengjie Xu, F. Donelson Smith, James H. Anderson, P. S. Thiagarajan, Benjamin Berg, Parasara Sridhar Duggirala, Samarjit Chakraborty
Statistical verification of autonomous system controllers under timing uncertainties. Real Time Syst. 60 (1) (2024)
Shengjie Xu, Clara Hobbs, Yukai Song, Bineet Ghosh, Sharmin Aktar, Lei Yang, Yi Sheng, Weiwen Jiang, Jingtong Hu, Parasara Sridhar Duggirala, Samarjit Chakraborty
Poster Abstract: Neural Architecture Sizing for Autonomous Systems. ICCPS (2024)
Shengjie Xu, Bineet Ghosh, Clara Hobbs, Enrico Fraccaroli, Parasara Sridhar Duggirala, Samarjit Chakraborty
Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical Systems. ATVA (1) (2023)
Bineet Ghosh, Étienne André
MoULDyS: Monitoring of autonomous systems in the presence of uncertainties. Sci. Comput. Program. 230 (2023)
Shengjie Xu, Bineet Ghosh, Clara Hobbs, P. S. Thiagarajan, Prachi Joshi, Samarjit Chakraborty
Safety-Aware Implementation of Control Tasks via Scheduling with Period Boosting and Compressing. RTCSA (2023)
Shengjie Xu, Bineet Ghosh, Clara Hobbs, P. S. Thiagarajan, Samarjit Chakraborty
Safety-Aware Flexible Schedule Synthesis for Cyber-Physical Systems Using Weakly-Hard Constraints. ASP-DAC (2023)
Clara Hobbs, Bineet Ghosh, Shengjie Xu, Parasara Sridhar Duggirala, Samarjit Chakraborty
Safety Analysis of Embedded Controllers Under Implementation Platform Timing Uncertainties. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Bineet Ghosh, Étienne André
Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems. FORTE (2022)
Bineet Ghosh, Étienne André
Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems. CoRR (2022)
Bineet Ghosh, Clara Hobbs, Shengjie Xu, Parasara Sridhar Duggirala, James H. Anderson, P. S. Thiagarajan, Samarjit Chakraborty
Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties. RTCSA (2022)
Bineet Ghosh, Masaad Khan, Adithya Ashok, Sandeep Chinchali, Parasara Sridhar Duggirala
Dynamic Selection of Perception Models for Robotic Control. CoRR (2022)
Bineet Ghosh, Sandeep Chinchali, Parasara Sridhar Duggirala
Interpretable Trade-offs Between Robot Task Accuracy and Compute Efficiency. IROS (2021)
Bineet Ghosh, Parasara Sridhar Duggirala
Reachability of Linear Uncertain Systems: Sampling Based Approaches. CoRR (2021)
Bineet Ghosh, Parasara Sridhar Duggirala
Robustness of Safety for Linear Dynamical Systems: Symbolic and Numerical Approaches. CoRR (2021)
Bineet Ghosh, Sandeep Chinchali, Parasara Sridhar Duggirala
Interpretable Trade-offs Between Robot Task Accuracy and Compute Efficiency. CoRR (2021)
Bineet Ghosh, Parasara Sridhar Duggirala
Robust Reachable Set: Accounting for Uncertainties in Linear Dynamical Systems. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)