Dr. Ratan Lal

Assistant Professor

Education

• Ph.D. Computer Science; Kansas State University, 2021
• M.Tech. Computer Science; Indian Statistical Institute, India, 2014
• MCA (Master of Computer Application); Motilal Nehru National Institute of Technology, India, 2010
• B.S. Mathematics and Statistics; University of Allahabad, India, 2006

Courses Taught

• 44641 Object Oriented Systems
• 44642 App Des: Patterns & Frmwrks
• 44413/44613 Data Visualization

Academic Interests

• Formal verification of cyber physical systems and neural networks
• Applications in robotics, autonomous cars, unmanned aerial vehicles and unmanned underwater vehicles
• Automation in agriculture and hospital

Scholarly Activity

Google Scholar

Selected Publications:

• Ratan Lal and Pavithra Prabhakar. Time-Optimal Multi-Quadrotor Trajectory Planning for Pesticide Spraying. International Conference on Robotics and Automation (ICRA), 2021.
• Ratan Lal, Aaron McKinnis, Dustin Hauptman, Shawn Keshmiri, Pavithra Prabhakar. Formally Verified Switching Logic for Recoverability of Aircraft Controller. International Conference on Computer Aided Verification (CAV), 2021.
• Ratan Lal and Pavithra Prabhakar. Safety analysis of linear discrete-time stochastic systems. International Conference on Embedded Software (EMSOFT (WiP)), 2020.
• Ratan Lal and Pavithra Prabhakar. Counterexample guided abstraction refinement for polyhedral probabilistic hybrid systems. International Conference on Embedded Software (EMSOFT), 2019.
• Pavithra Prabhakar, Ratan Lal and James Kapinski. Automatic trace generation for signal temporal logic. 39th IEEE Real-Time Systems Symposium (RTSS), 2018.
• Ratan Lal, Ajay Sharda and Pavithra Prabhakar. Optimal multi-robot path planning for pesticide spraying in agricultural fields. 56^th IEEE Conference on Decision and Control (CDC), 2017.
• Pavithra Prabhakar, Miriam Garcia Soto and Ratan Lal. Verification techniques for hybrid systems. 7^th International Symposium, ISoLA 2016.
• Ratan Lal, Pavithra Prabhakar. Bounded error flowpipe computation of parameterized linear systems. 15^th International Conference on Embedded Software (EMSOFT), 2015.

Student Group Advisement

Previously:

• Grow & Excite Summer Camp on Robotics, Kansas State University, 2018
• Summer STEM on Robotics, 2017, Kansas State University, 2017

Other Professional Experiences

Program Committee:

• EdgeDL 2021: Deep Learning on Edge for Smart Health and Wellbeing Applications
• ACCSE 2021: International Conference on Advances in Computation, Communications and Services
• ACCSE 2020: International Conference on Advances in Computation, Communications and Services

RE Program Committee:

• HSCC 2021: International Conference on Hybrid Systems: Computation and Control
• HSCC 2020: International Conference on Hybrid Systems: Computation and Control
• CAV 2020: International Conference on Computer-Aided Verification
• HSCC 2019: International Conference on Hybrid Systems: Computation and Control

Reviewers:

• NAHS 2021: A Journal of IFAC, the International Federation of Automatic Control
• TECS 2021: ACM Transaction on Embedded Computing Systems
• TOMACS 2020: ACM Transactions on Modeling and Computer Simulation
• SADHANA 2020: A Journal of Indian Academy of Sciences
• ICRA 2020: International Conference on Robotics and Automation
• SOCO 2020: International Conference on Soft Computing
• Automatica 2019: A Journal of IFAC, the International Federation of Automatic Control

Other

Honour & Awards:

• Distinguished Graduate Research Award, Kansas State University, 2021
• Graduate Outstanding Publication Award, Kansas State University, 2021
• Gattanni Outstanding Graduate Student Award, Kansas State University, 2019
• Graduate Outstanding Publication Award, Kansas State University, 2019
• Graduate Outstanding Student Award, Kansas State University, 2019