Abstract: In this work, target or source localization and tracking by a network of primitive binary sensors under various imperfections are studied. Detailed analysis and mathematical modeling of imperfect binary sensors are presented. Imperfections include sensor failures of two types, uncertainty and heterogeneity in binary sensor trigger thresholds, presence of noise and non-radial symmetry of sensing ranges. Numerical algorithms for source localization and tracking are proposed along with convergence and asymptotic normality results.

Abstract:  This project designs algorithms for the integration of plug-in hybrid electric vehicles (PEVs) into the power grid. Specifically, the project will formulate and solve optimization problems critical to various entities in the PEV ecosystem -- PEV owners, commercial charging station owners, aggregators, and distribution companies -- at the distribution / retail level.

Abstract:  General purpose operating systems (OS) are concurrent and multithread, and the primary goal of thread scheduler is to enforce fairness among all threads. This design is unsuitable for Real-Time (RT) systems, because tasks have soft or hard deadline of finishing time. Concurrency breaks timing of RT applications because users never know when their program is actually running. Explicitly allocation of processor resource to programs (threads) is thus necessary for timing-aware applications.

Abstract: The overarching goal of this project is to develop a novel cyberphysical platform for fast and efficient, fully digital, 3-dimensional, 5-axis machining. Proposed methodology is inspired by 3D printing, which is easy to program but limited in terms of the materials that can be used, the finishing quality that can be achieved, and relatively slow printing speeds. By contrast, CNC milling can address these limitations.

Abstract: It's common in controller design to assume that the controller reads the sensors and writes to the actuators at the same time instant. This assumption is often violated in practice because the controller executes its code sequentially on a microprocessor. If the microprocessor is "fast enough," often the controller will still work.

Abstract: The objective of this research is to develop methods and tools for a multimodal and multi-sensor assessment and rehabilitation system called CPLAY to help children with Cerebral Palsy (CP). CPLAY collects and processes multiple types of stimulation and performance data while a child is playing in different types of therapy games simulating traditional therapy sessions.

Abstract:  The project is developing novel architectures for control and diagnosis of complex cyber-physical systems subject to stringent performance requirements in terms of safety, resilience, and adaptivity. These ever-increasing demands necessitate the use of formal model-based approaches to synthesize provably-correct feedback controllers.

Abstract: We describe the process towards the design of a safe, reliable, and intuitive emergency treatment unit to facilitate a higher degree of safety and situational awareness for medical staff, leading to an increased level of patient care during an epidemic outbreak in an unprepared, underdeveloped, or disaster stricken area.

Abstract: Following Smart Cities Initiative from White House, this project was aimed to address urban transportation challenges through ridership sharing in both time and space across different transportation modes. Our research project is uniquely built upon large-scale urban infrastructure systems across different cities in the world, including NYC, Washington D.C., San Francisco, Rome, Beijing, Shanghai and Shenzhen.

Transforming the traditional, single-vehicle-based safety and efficiency control, next-generation vehicles are expected to form platoons for optimizing roadway usage and fuel efficiency while ensuring transportation safety. Two basic enablers of vehicle platooning are vehicular wireless networking and platoon control.