Keynote Speakers
Dr. Andrea Serrani, Ohio State University
Prof. Serrani's research interests lie in the field of control and systems theory, with emphasis on nonlinear control, tracking and regulation, nonlinear dynamical systems, and application to aerospace and marine systems. He is currently involved in research projects on modeling, guidance and control of air-breathing hypersonic vehicle, flight control systems design for flapping-wing micro air vehicles, aerodynamic flow control, and automotive systems, supported by NASA, AFRL and Ford. He is the co-author (with A. Isidori and L. Marconi) of the book Robust Autonomous Guidance: An Internal Model-Based Approach, published by Springer-Verlag, and the author or co-author of more than 100 journal and conference papers, and chapters in edited books. Prof. Serrani is a Fulbright Fellow, the recipient of a 2007 Lumley Research Award and the co-recipient (with Prof. Mo Samimy) of the 2008 Lumley Interdisciplinary Research Award, both from the College of Engineering at OSU. He is a member of IEEE, AIAA and IFAC. He is a past Associate Editor for Automatica, the IEEE Transactions on Control Systems Technology, The International Journal of Robust and Nonlinear Control, and serves in the IEEE Conference Editorial Board as Associate Editor for invited and regular papers in Nonlinear, Adaptive, and Aerospace Systems. He is currently serving as Vice President for Publication Activities of the IEEE Control Systems Society.
Dr. Necmiye Ozay, University of Michigan
Prof. Ozay's research interests include dynamical systems, control, optimization and formal methods with applications in cyber-physical systems, system identification, verification and validation, and autonomy. Her papers received several awards including a best paper award from the Journal of Nonlinear Analysis: Hybrid Systems for the years 2014-2016. She received a DARPA Young Faculty Award in 2014, an NSF CAREER Award, a NASA Early Career Faculty Award and a DARPA Director’s Fellowship in 2016, an ONR Young Investigator Award and the 1938E Award from the University of Michigan College of Engineering in 2018, and a 2019 Henry Russel Award from the University of Michigan, Rackham Graduate School. She was selected as an Outstanding Reviewer of the IEEE Transactions on Automatic Control in 2011 and recieved the 2021 Antonio Ruberti Young Researcher Prize from the IEEE Control Systems Society for her fundamental contributions to the control and identification of hybrid and cyber-physical systems. She was a co-chair of the 22nd ACM Conference on Hybrid Systems: Computation and Control in 2019 and program co-chair for the IFAC Conference on Analysis and Design of Hybrid Systems (ADHS) in 2021. She is currently an associate editor for the Journal of Discrete Event Dynamic Systems, Nonlinear Analysis: Hybrid Systems, and Automatica and a member of the IEEE Control Systems Society Technical Committees on Hybrid Systems and on Robust and Complex Systems.
Keynote Speaker Abstracts
Dr. Andrea Serrani, Ohio State University
Title: Dynamic Control Allocation: from Theory to Applications through Geometric and Adaptive Control
We present an approach to the systematic design of dynamic control allocation schemes for general classes of input-redundant systems that results in plug-in modules for existing or desired control architectures. The enabling methodology is a geometric characterization of over-actuated systems that leads to the exploitation of input redundancy in the system inverse, rather than in the plant model itself. In the proposed approach, the steady-state behavior of the system is shaped through adaptation of free parameters stemming from dynamic optimization of selected performance criteria penalizing both the control input and the state trajectory, all while maintaining invariance of the error-zeroing manifold. The method is applied to fault-tolerant control of over-actuated aircraft, where results from flight tests on a scaled model are presented alongside simulation studies.
Dr. Necmiye Ozay, University of Michigan
Title: Formal methods for Cyber Physical Systems: State of the Art and Future Challenges
Modern cyber-physical systems, like high-end passenger vehicles, aircraft, or robots, are equipped with advanced sensing, learning, and decision making modules. On one hand these modules render the overall system more informed, possibly providing predictions into the future. On the other hand, they can be unreliable due to problems in information processing pipelines or decision making software. Formal methods, from verification and falsification to correct-by-construction synthesis hold the promise to detect and possibly eliminate such problems at design-time and to provide formal guarantees on systems' correct operation. In this talk, I will discuss several recent advances in control synthesis and corner case generation for cyber-physical systems with a focus on scalability, and what role data and learning can play in this process. I will conclude the talk with some thoughts on challenges and interesting future directions.