People

Tonmoy Sarker, Fall 2021

Jones Bismark Essuman, Fall 2022

Yunpeng Han, Fall 2023

Pranav Pothapragada, Fall 2023

Samer Tahboub, Fall 2022

Jacoby Johnson,  Louisiana State University, Spring 2024

Pooja Garlapati, Louisiana State University, Spring 2024

Aiden Davis Richard, Louisiana State University, 2023 - 2024

Michael D Curry, Louisiana State University, 2023 - 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

Alvin Cheng, Baton Rouge Magnet High School, Summer 2023

Varun Gala, Baton Rouge Magnet High School, 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