IEEE SPS Chapter hosts a research talk by Prof. Houssam Abbas (School of EECS, Oregon State University). Please join the talk using the Zoom meeting information attached below (note that the Zoom meeting has a password).

Title: Logical Signal Processing: a Fourier Analysis of Temporal Logic

Abstract: Temporal logic is a mathematical language for describing the properties of computer and dynamical systems, and has found wide use in the verification and control of cyber-physical systems. It is obtained by adding temporal modalities to classical boolean logic. In this work we seek to re-cast temporal logic and its various uses as "just another signal processing operation", which is essential for the study of Cyber-Physical Systems. Specifically, we ask: What is the frequency content of temporal logic formulas? That is, when we monitor a signal against a formula, which frequency bands of the signal are relevant to the logic, and which can be safely discarded? To answer this question, we focus on monitors that measure the robustness of a signal relative to a specification in Signal Temporal Logic. We prove that robustness monitors can be modeled using Volterra series. We then study the Fourier transforms of these Volterra representations, and provide a method to derive the Fourier transforms of entire formulas. Experiments illustrate these results. Beyond compression, this work enables a common formalism to study both logical and non-logical operations in the frequency domain, which we refer to as Logical Signal Processing. 

Speaker Bio: Houssam Abbas received the Ph.D. in electrical engineering from Arizona State University. From 2006 to 2014, he worked as a CAD engineer in the SoC Verification Group in Intel. In that role, he developed software tools and methods for SoC verification and testing, including formal verification and coverage-based testing, and for the verification of low-power digital designs. In 2015 he joined the ESE department at the University of Pennsylvania as a research postdoc. While at Penn, he co-lead the F1/10 autonomous racing effort which has grown into an international competition. He also developed a semester-long hands-on class to build, program, and race self-driving cars, with all material at f1tenth.org. In January 2019, Houssam joined the School of Electrical Engineering and Computer Science at Oregon State University as an assistant professor. 

Zoom meeting information:

Kim, Jinsub is inviting you to a scheduled Zoom meeting.

Topic: IEEE SPS Chapter Meeting (Speaker: Prof. Houssam Abbas)
Time: Oct 2, 2020 11:00 AM Pacific Time (US and Canada)

Join Zoom Meeting
https://oregonstate.zoom.us/j/91252300297?pwd=V0VKaWN5cGtQckhyRnVGOE41LzNSZz09

Password: 129913

Phone Dial-In Information
+1 971 247 1195 US (Portland)
+1 253 215 8782 US (Tacoma)
+1 301 715 8592 US (Germantown)

Meeting ID: 912 5230 0297

Join by Polycom/Cisco/Other Room System
91252300297@zoomcrc.com

We request that all members maximize the use of our online and virtual alternatives. IEEE provides many tools to support our membership with virtual engagement, including our online collaboration space IEEE Collabratec (https://ieee-collabratec.ieee.org/).