About Me...

My work focuses on the design, analysis, optimizing, testing, and verification of high performance AI-based controllers for intelligent systems. My research interests include Machine Learning, Artificial Intelligence, Intelligent Systems, Formal Verification, Control Theory and Algorithms

Researchgate Profile

Google Scholar Profile

Teaching

Spring 2025

CS 484 - Introduction to Machine Learning

CS 485 - Computers and Society

CS 577 - Deep Learning

CS 584 - Machine Learning

Research

Barrier-based Simplex

Bb-Simplex is a provably correct design framework for the runtime assurance of dynamical systems

Flock Maneuver

Acceleration-Weighted Neighborhooding synthesizes MPC controller for flocking maneuvers

V-Formation

Distributed and symmetric deep neural V-formation controller is learned using Supervised Learning

Neural Flocking

Distributed and symmetric neural flight-formation controller is learned using Supervised Learning

Published Work

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.

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.

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.

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.

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.

Shouvik Roy. Generating Summaries using Sentence Compression and Statistical Measures. International Journal of Natural Language Computing, Vol 5, Number 5, pp. 13-27, 2016.