Formal Methods for Cyber-Physical Systems: State of the Art and Future Challenges
Dr. Necmiye Ozay, University of Michigan
Seminars
MSU Robotics and Control Seminars
Learning in Large-Population Games and Application to Multi-robot Task Allocation
Dr. Shinkyu Park, King Abdullah University of Science and Technology
Safety validation for autonomous vehicles with naturalistic and adversarial driving environment
Dr. Shuo Feng, University of Michigan Transportation Research Institute
Event-Triggered Control Using a Positive Systems Approach
Dr. Michael Malisoff, Louisiana State University
Boundary Constrained Swarms, a New Concept in Soft Robotics
Dr. Matthew Spenko, Illinois Institute of Technology
Network distributionally robust optimization: Applications in generation planning and distributed optimization
Dr. Ashish Cherukuri, University of Groningen, Netherlands
