SB
Sanjoy Baruah
math.OCComputer Systemscs.SYeess.SYLinear ModelsNeural Networks, Computer
On Valency
published · living versionsW_9zv6edxy·v1 · currentpublished
Assuring Learning-Enabled Cyber-Physical Systems with Foundation Models: A Neuro-Symbolic Agenda for Testing, Verification, and Runtime Assurance
with Xi Zheng, Ivan Ruchkin, Hong Jin Kang, Tevfik Bultan +9
1 version
W_78syzwke·v1published
Preprints & journals
5 papers in the corpus · 2015–2022MPC-Based Emergency Vehicle-Centered Multi-Intersection Traffic Control2204.05405v1 · Mehdi Hosseinzadeh, Bruno Sinopoli, Ilya Kolmanovsky et al.2022 · 31 citationsarXiv
Implementing Optimization-Based Control Tasks in Cyber-Physical Systems With Limited Computing Capacity2203.05745v1 · Mehdi Hosseinzadeh, Bruno Sinopoli, Ilya Kolmanovsky et al.2022 · 11 citationsarXiv
ROTEC: Robust to Early Termination Command Governor for Systems with Limited Computing Capacity2201.02856v1 · Mehdi Hosseinzadeh, Bruno Sinopoli, Ilya Kolmanovsky et al.2022 · 19 citationsarXiv
Reference Governor-Based Fault-Tolerant Constrained Control2107.08457v1 · Mehdi Hosseinzadeh, Ilya Kolmanovsky, Sanjoy Baruah et al.2021 · 21 citationsarXiv
A Neurodynamic Approach for Real-Time Scheduling via Maximizing Piecewise Linear Utility.26336153 · Guo, Zhishan, Baruah, Sanjoy K2016 · 27 citationsIEEE transactions on neural networks and learning systems. 2016;27(2):238-48
Career total: 477 works. 5 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.