• “Scalable Set-based Analysis for Verification of Cyber-Physical Systems”

    Name: Stanley Bak Date and Time: Tuesday, July 9, 2019 Location: Engineering Hall 2430 Abstract: Cyber-physical systems combine complex physics with complex software. Although these systems offer significant potential in fields such as smart grid design, autonomous robotics and medical systems, verification of CPS designs remains challenging. Model-based design permits simulations to be used to explore […]

  • Data-Driven Modeling of Cyber-Physical Systems using Side-Channel Analysis

    Title: "Data-Driven Modeling of Cyber-Physical Systems using Side-Channel Analysis" Name: Sujit Rokka Chhetri Date: May 20, 2019 Time: 3:00 PM Location: EH 5200 Committee: Prof. Mohammad Al Faruque (Chair), Prof. Pramod Khargonekar, Prof. Fadi Kurdahi Abstract: Cyber-Physical System consists of the integration of computational components in the cyber-domain with the physical-domain processes. In cyber-domain, embedded computers and networks […]

  • “Safety Verification and Training for Learning-enabled Cyber-Physical Systems”

    Name: Jyotirmoy Vinay Deshmukh Date and Time: Tuesday, May 14, 2019 at 2:00 p.m. Location: Donald Bren Hall 4011 Abstract: With the increasing popularity of deep learning, there have been several efforts to use neural network based controllers in cyber-physical system applications. However, neural networks are equally well-known for their lack of interpretability, explainability and verifiability. […]

  • “Poly-Logarithmic Side Channel Rank Estimation via Exponential Sampling”

    Name: Liron David Date and Time: Tuesday, March 12 at 10:00 a.m. Location: Engineering Hall 5204 Abstract: Rank estimation is an important tool for a side-channel evaluations laboratories. It allows estimating the remaining security after an attack has been performed, quantified as the time complexity and the memory consumption required to brute force the key […]

  • Cyber-Physical Systems Approach to Irrigation Systems

    Title: "Cyber-Physical Systems Approach to Irrigation Systems" Name: Davit Hovhannisyan Date: March 5, 2019 Time: 4:00PM Location: EH 3206  (CECS conference room) Committee:  Prof. Fadi Kurdahi (Chair), Prof. Ahmed Eltawil, Prof. Mohammad Al Faruque Abstract: Semiconductor industry has successfully brought silicon technology to price point that it is accessible for application domains such as irrigation systems, which wastefully utilizes 70% […]

  •  Partial logic synthesis and its application to automatic generation of parallel/distributed algorithms

    Name: Masahiro Fujita Date and Time: Thursday, January 14 at 3:00 p.m. Location:Engineering Hall 3206 Abstract: In this talk first we review the partial logic synthesis problem and its associated algorithm based on QBF (Quantified Boolean Formula) formulation. Partial logic synthesis is to generate appropriate sub-circuits for the missing portions in the target design so that the entire […]

  • Control System Design Automation Using Reinforcement Learning

    Title: "Control System Design Automation Using Reinforcement Learning" Name: Hamid Mirzaei Date: Tuesday, November 20, 2018 Time: 1:00 p.m. Location: Donald Bren Hall 3011 Committee: Professor Tony Givargis (Chair), Professor Eli Bozorgzadeh, Professor Ian Harris Abstract: Conventional control theory has been used in many application domains with great success in the past decades. However, novel […]

  • Accelerated Computing for Edge-Centric IoT

    Name: Tulika Mitra Date and Time: Monday, November 5 at 2:00 p.m. - 3:00 p.m. Location: Donald Bren Hall 3011 Abstract: Internet of Things (IoT), an ever-growing network of billions of devices embedded within physical objects, is revolutionizing our daily life. The IoT devices in the edge are primarily responsible only for collecting and communicating the data […]

  • “Plasmonic Wave Computing: Concepts and Potential”

    Name: Francky Catthoor Date and Time: Wednesday, October 31 at 11:00 a.m. - 12:00 p.m. Location: Engineering Hall 2430 Abstract:  Several beyond CMOS computing directions are being explored given that the CMOS scaling roadmap faces increasing challenges. Any alternative is however facing strong competition from the extremely optimized CMOS roadmap. One of the potential directions which can […]

  • An Initial Study of Simple Approaches To Eliminating Out-of-Thin-Air Results

    Name: Peizhao Ou Chair: Prof. Brian Demsky Date: Tuesday October 16, 2018 Time: 10am - 12pm Location: CALIT2 Room 3008 Title: An Initial Study of Simple Approaches To Eliminating Out-of-Thin-Air Results Abstract: Eliminating so-called "out-of-thin-air" (OOTA) results is an open problem in many existing programming language memory models including Java, C, and C++.  OOTA behaviors […]