Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Statistical verification of autonomous system controllers under timing uncertainties.

B. Ghosh, C. Hobbs, S. Xu, F. Smith, J. Anderson, P. Thiagarajan, B. Berg, P. Duggirala, and S. Chakraborty. Real Time Syst., 60 (1): 108-149 (March 2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michael Ghosh

Subhajit Ghosh

Arabinda Ghosh

Rajat Ghosh

Other publications of authors with the same name

Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties.B. Ghosh, C. Hobbs, S. Xu, P. Duggirala, J. Anderson, P. Thiagarajan, and S. Chakraborty. RTCSA, page 11-20. IEEE, (2022)Interpretable Trade-offs Between Robot Task Accuracy and Compute Efficiency.B. Ghosh, S. Chinchali, and P. Duggirala. IROS, page 5364-5371. IEEE, (2021)Safety Analysis of Embedded Controllers Under Implementation Platform Timing Uncertainties.C. Hobbs, B. Ghosh, S. Xu, P. Duggirala, and S. Chakraborty. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 41 (11): 4016-4027 (2022)Safety-Aware Implementation of Control Tasks via Scheduling with Period Boosting and Compressing.S. Xu, B. Ghosh, C. Hobbs, P. Thiagarajan, P. Joshi, and S. Chakraborty. RTCSA, page 196-205. IEEE, (2023)Certifiable and Efficient Autonomous Cyber-Physical Systems Design.S. Xu, C. Hobbs, B. Ghosh, P. Duggirala, and S. Chakraborty. VLSID, page 259-263. IEEE, (2024)Safety-Aware Flexible Schedule Synthesis for Cyber-Physical Systems Using Weakly-Hard Constraints.S. Xu, B. Ghosh, C. Hobbs, P. Thiagarajan, and S. Chakraborty. ASP-DAC, page 46-51. ACM, (2023)Robust Reachable Set: Accounting for Uncertainties in Linear Dynamical Systems.B. Ghosh, and P. Duggirala. ACM Trans. Embed. Comput. Syst., 18 (5s): 97:1-97:22 (2019)Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical Systems.S. Xu, B. Ghosh, C. Hobbs, E. Fraccaroli, P. Duggirala, and S. Chakraborty. ATVA (1), volume 14215 of Lecture Notes in Computer Science, page 312-333. Springer, (2023)Statistical verification of autonomous system controllers under timing uncertainties.B. Ghosh, C. Hobbs, S. Xu, F. Smith, J. Anderson, P. Thiagarajan, B. Berg, P. Duggirala, and S. Chakraborty. Real Time Syst., 60 (1): 108-149 (March 2024)Reachability of Linear Uncertain Systems: Sampling Based Approaches.B. Ghosh, and P. Duggirala. CoRR, (2021)

BibSonomy

Disambiguation of "Ghosh, Bineet"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Statistical verification of autonomous system controllers under timing uncertainties.

Please choose a person to relate this publication to

Michael Ghosh

Subhajit Ghosh

Arabinda Ghosh

Arabinda Ghosh

Rajat Ghosh

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Ghosh, Bineet"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Statistical verification of autonomous system controllers under timing uncertainties.

Please choose a person to relate this publication to

Michael Ghosh

Subhajit Ghosh

Arabinda Ghosh

Arabinda Ghosh

Rajat Ghosh

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Statistical verification of autonomous system controllers under timing uncertainties.