Research
Below, you’ll find my research work organized by publication year. For questions on any specific publication, feel free to contact me. For further information visit my research website. Currently, I am taking a break from research work.
Publications
2023
Shouvik Roy. Neural Controllers and Safety Assurance for Cyber-Physical Systems. State University of New York at Stony Brook. ProQuest Dissertations Publishing, 2023.
2022
Amol Damare, Shouvik Roy, Scott A. Smolka, Scott D. Stoller. A Barrier Certificate-based Simplex Architecture with Application to Microgrids. In: T. Dang and V. Stolz (eds) Runtime Verification. RV 2022. Lecture Notes in Computer Science, Vol 13498, pp. 105-123. Springer, Cham.
2021
Shouvik Roy, Usama Mehmood, Radu Grosu, Scott Smolka, Scott Stoller, Ashish Tiwari. Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding, in Proceedings of the American Control Conference, 2021.
Usama Mehmood, Scott D. Stoller, Radu Grosu, Shouvik Roy, Amol Damare, Scott A. Smolka. A Distributed Simplex Architecture for Multi-Agent Systems, in Proceedings of SETTA: Dependable Software Engineering. Theories, Tools, and Applications, pp. 239-257. Springer International Publishing, 2021.
2020
Shouvik Roy, Usama Mehmood, Radu Grosu, Scott Smolka, Scott Stoller, Ashish Tiwari. Learning Distributed Controllers for V-Formation. IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020.
Usama Mehmood, Shouvik Roy, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari. Neural Flocking: MPC-based Supervised Learning of Flocking Controllers, in Foundations of Software Science and Computation Structures, pp. 1–16. Springer International Publishing, 2020.
2016
Shouvik Roy. Generating Summaries using Sentence Compression and Statistical Measures. International Journal of Natural Language Computing, Vol 5, Number 5, pp. 13-27, 2016.