PhD Scholar at Stony Brook University. Find more here.

Scott A. Smolka

Scott D. Stoller

• Control Theory
• Deep Learning
• Autonomous Systems
• Formal Verification
• Runtime Safety Assurance
• Simplex Architecture
• Networked Microgrids

• Neural Flocking
• V-Formation
• Flock Maneuver
• Runtime Safety Assurance
• Power Systems

• Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari. Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding, in Proceedings of the American Control Conference, pp. 2745-2750, 2021.
• Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari. Learning Distributed Controllers for V-Formation. IEEE International Conference on Autonomic Computing and Self-Organizing Systems, pp. 119–128, 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.
• 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, Scott D. Stoller, Radu Grosu, Shouvik Roy, Amol Damare, Scott A. Smolka. A Distributed Simplex Architecture for Multi-Agent Systems, in Proceedings of SETTA 2021: 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.