Previous 30 days30 days60 days90 days | Short FormatLong Format


16248 bytes

fixing date 2020-10-13 18:30:00 US/Pacific

fixing date 2020-10-13 20:30:00 US/Pacific

fixing date 2020-10-03 09:00:00 US/Pacific

fixing date 2020-10-03 10:00:00 US/Pacific

fixing date 2020-10-02 11:00:00 US/Pacific

fixing date 2020-10-02 12:00:00 US/Pacific

3 meetings

IEEE SPS Chapter Technical Meeting (Speaker: Prof. Houssam Abbas, Oregon State Univ)
October 2nd
11:00 AM (1 hour)

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 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

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


Section ExCom - October (VIRTUAL)
October 13th
6:30 PM (2 hours)
Meet Online
Following the advice of authorities, all local IEEE gatherings and meetings are being held as online meetings only.You Must Register To Receive the Webex Link to Join Us On The Bridge For The June ExCom MeetingAs you are aware, the World Health Organization officially declared the novel coronavirus COVID-19 a pandemic. This global health crisis is a unique challenge that has impacted many members of the IEEE family. We would like to express our concern and support for all the members of the IEEE community, our families and all others affected by this outbreak.

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 (

3 meetings. Generated Saturday, September 26 2020, at 1:48:01 AM. All times America/Los_Angeles