- This event has passed.
MAE Seminar: Agung Julius
Title:
Temporal Logics for Control Systems: Verification, Synthesis, and ML-driven Property Inference
Abstract:
Temporal logics provide an interpretable and unambiguous framework for reasoning about temporal behaviors in dynamical and control systems. Their formal semantics and resemblance to natural language make them useful tools for specifying, verifying, and synthesizing control systems, enabling rigorous analysis of system behaviors over time. This talk introduces temporal logics in these contexts and demonstrates their application through examples. Beyond these foundational aspects, we discuss the intersection of temporal logics and machine learning, focusing on how data-driven methods can infer system properties in scenarios where explicit specifications or behavioral descriptions are incomplete or unavailable. By integrating formal methods with machine learning, we explore new possibilities for developing interpretable and high-performance machine learning models.
Bio:
Agung Julius is the Associate Dean of Engineering for Research and Graduate Programs and a Professor of Electrical, Computer, and Systems Engineering at Rensselaer Polytechnic Institute. He earned the Bachelor of Engineering degree in Electrical Engineering from Institut Teknologi Bandung and the Ph.D. degree in Applied Mathematics from the University of Twente, The Netherlands. In 2005 – 2008, he was a Postdoctoral Researcher at the University of Pennsylvania. Dr. Julius’ research interests include systems and control, robotics, control of biological systems, hybrid systems, and mathematical systems theory. He is a co-author of the Best Application Paper in the 10th International Conference on Ubiquitous Robots and Ambient Intelligence (URAI 2013), and a finalist for the Best Paper Award at the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2013). At Rensselaer, he received the School of Engineering Award for Research Excellence (2016) and the James M. Tien’66 Early Career Award for Faculty (2017). He also received an NSF CAREER award in 2010.