Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

AIC Seminar Series

Logic Programming Foundations of Cyber-Physical Systems

Neda SaeedloeiErik Jonsson School of Engineering and Computer Science, the University of Texas at Dallas

Notice:  Hosted by Vinay Chaudhri.

Date:  2010-08-05 at 16:00

Location:  EJ228 (SRI E building).  (Directions)

   Abstract

Cyber-Physical Systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions through actuators. Examples include controller systems in cars (Anti-lock Brake System, Cruise Controllers, Collision Avoidance, etc.), automated manufacturing, smart homes, robots, etc. These controllers are discrete digital systems whose inputs are continuous physical quantities (e.g., time, distance, acceleration, temperature, etc.) and whose outputs control physical (analog) devices. Thus, CPS involve both digital and analog data. In addition, CPS are assumed to run forever, and many CPS may run concurrently with each other. In this research work we will develop techniques for faithfully and elegantly modeling CPS for which no good formalisms exist within computer science.

   Bio for Neda Saeedloei

Neda Saeedloei is a Ph.D student at Erik Jonsson School of Engineering and Computer Science, the University of Texas at Dallas. She received her M.S degree in computer science from University of Texas at Dallas in 2007, and the B.S degree in Applied Mathematics from Sharif University of Technology in 2000. She has been working in Applied Logic Programming-Languages and Systems (ALPS) Lab from January 2008 until April 2010. Her research interests are Logic Programming, Constraint Logic Programming, Verification of complex systems, Cyber-Physical Systems, Model checking.

   Note for Visitors to SRI

Please arrive at least 10 minutes early in order to sign in and be escorted to the conference room. SRI is located at 333 Ravenswood Avenue in Menlo Park. Visitors may park in the visitors lot in front of Building E, and should follow the instructions by the lobby phone to be escorted to the meeting room. Detailed directions to SRI, as well as maps, are available from the Visiting AIC web page.

SRI International
©2014 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy