People

Michael D Curry, Louisiana State University, 2023 - 2025

Sanai L Jackson, Louisiana State University, Fall 2025

Landon Knight, Louisiana State University, Spring 2025 - Fall 2025

Pooja Garlapati, Louisiana State University, 2024 - Fall 2025

Aiden Davis Richard, Louisiana State University, 2023 - Fall 2025

Sefton Francis Edwards, Louisiana State University, Spring 2025

Isaac Luke Jimney, Louisiana State University, 2024 - 2025

Malek N Badawi, Louisiana State University, 2024 - 2025

Logan Anthony Davis, Louisiana State University, 2024 - 2025

Katherine Winchester, Louisiana State University, Summer 2024 - 2025

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

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

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