Abstract: The physical environment of a cyber-physical system is unboundedly complex, changing continuously in time and space. An embodied cyber- physical system, embedded in the physical world, receives a high bandwidth stream of sensory information, and sends continuous control signals. Traditional embedded systems restrict the environment or the attributes considered relevant, and depend on human supervision.

Abstract: Many practical barriers continue to exist for a blind individual who strives to live an independent and active life, despite decades of development of assistive technologies. This project addresses the following two most prominent challenges: (1) disparity in information-sharing among people with visual impairment and its limited understanding by the research community; and (2) lack of methods and tools for effectively addressing the disparity.

Abstract: The objective of this NSF-CPS Synergy proposal is to develop a distributed algorithmic framework, supported by a highly fault-tolerant software system, for executing critical transmission-level operations of the North American power grid using gigantic volumes of Synchrophasor data.

Darren Cofer is a Principal Systems Engineer with Rockwell Collinsí Advanced Technology Center.  He received the Ph.D. in Electrical and Computer Engineering from The University of Texas at Austin.  His principal area of expertise is applying formal methods and tools to the verification and certification of high-integrity avionics systems.  He is the principal investigator for the air vehicle team in DARPA's High Assurance Cyber Military Systems project, focusing on formal proof of security properties for unmanned air vehicles.

  Speaker Bio: