People
PhD Students
Tonmoy Sarker, Fall 2021
Jones Bismark Essuman, Fall 2022
Yunpeng Han, Fall 2023
Pranav Pothapragada, Fall 2023
Amaal Mohey elden mahmoud Ahmed, Fall 2024
Master Students
Samer Tahboub, Fall 2022
Research Associates
Undergraduate Researchers
Malek N Badawi, Louisiana State University, Fall 2024
Logan Anthony Davis, Louisiana State University, Fall 2024
Katherine Winchester, Louisiana State University, Summer and Fall 2024
Pooja Garlapati, Louisiana State University, Spring - Fall 2024
Aiden Davis Richard, Louisiana State University, 2023 - 2024
Michael D Curry, Louisiana State University, 2023 - 2024
Jacoby Johnson, Louisiana State University, Spring 2024
Alcina Costa, Louisiana State University, August 21, 2023 - May 24, 2024
Sunella A Ramnath, Louisiana State University, August 22, 2022 - December 10, 2022
Tia Fisher, Baton Rouge Community College, June 8, 2020 - August 7, 2020
High School Summer Research Interns
Marigny Gill, Willow School, New Orleans, LA, Summer 2024
Kennedi Jackson, Baton Rouge Magnet High School, Baton Rouge, LA, Summer 2024
Joseph Arauz, Dutchtown High school, Geismar, LA, Summer 2024
Kareem Elseifi, Baton Rouge Magnet High School, Baton Rouge, LA, Summer 2024
Alvin Cheng, Baton Rouge Magnet High School, Baton Rouge, LA, Summer 2023
Varun Gala, Baton Rouge Magnet High School, Baton Rouge, LA, Summer 2023
Visitors
Pavithra Prabhakar, Kansas State University
Title: Robust Verification of Hybrid Systems
Abstract: Cyber-physical systems (CPSs) consist of complex systems that combine control, computation and communication to achieve sophisticated functionalities as in autonomous driving in driverless cars and automated load balancing in smart grids. The safety criticality of these systems demands strong guarantees about their correct functioning. In this talk, we will present some of our work on formal verification techniques for cyber-physical systems analysis using the framework of hybrid systems. Hybrid systems capture an important feature of CPSs, namely, mixed discrete-continuous behaviors that arise due to the interaction of complex digital control software (discrete elements) with physical systems (continuous elements). We will focus on certain robustness properties of these systems, and present scalable techniques based on abstraction-refinement for their analyses.
Time: 10:00 - 11: 00, Tuesday, November 26th, 2019
Location: Room 3316E Patrick F. Taylor Hall
Daniel Abramovitch, Agilent Technologies
Title: Trying to Keep it Real: 25 Years of Trying to Get the Stuff I Learned in Grad School to Work on Mechatronic Systems
Abstract: This talk is about the difficulty of making well known and widely accepted advanced textbook control techniques work in an industrial environment, particularly with mechatronic systems that have large numbers of flexible modes. I will go through the methods that fail if done the standard way and the adjustments I have learned to make over the years which get a lot of them to work. I will also go over the methods that seem to work robustly and without much thought in the industrial environment, explaining why they do work. Finally, I will try to show that understanding the differences and commonalities in these two world views allows us to use the principles of one to improve the other.
Time: 10:30 - 11: 30, Wednesday, April 3rd, 2019
Location: Room 3316E Patrick F. Taylor Hall