The formalization of system engineering models and approaches.
file
Objective: The objective of this project is to improve the performance and current capabilities of automotive active safety control systems by taking into account the interactions between the driver, the vehicle, the active safety system and the environment. The current approach in the design of automotive active safety systems follows the philosophy "one size fits all," in the sense that active safety systems are the same for all vehicles and do not take into account the skills, habits and state of the human driver who may operate the vehicle.
file
Visual identification of structural flaws is quite valuable not only to predict an imminent collapse of a bridge, but also to determine effective precautionary measures and repairs.
file
This project features conception, design, and deployment of a wireless network of embedded devices, for monitoring the behavior of animals in the wild. The system is being deployed and tested in biologically relevant scenarios.
file
This project is focused on the fundamental research in establishing a foundational framework towards the development of an autonomous Cyber-Physical System (CPS) through distributed computation in a Networked Control Systems (NCS) paradigm. Specific attention is focused on an application where the computational, and communication challenges are unique due to the sheer dimensionality of the physical system. An example of such CPS is the smart power grid, which includes large-scale deployment of distributed and networked Phasor Measurement Units (PMUs) and wind energy resources.
file
This project is to develop dynamical models of distributed computation systems that are resilient to noise, unreliable communication and other source uncertainty. The key idea is centered on the development of optimization systems. These are dynamical systems that (solve) stabilize around the optimal solution of a (static) convex optimization problem. If the optimization problem is separable, then the designed dynamic system decomposes into a set of locally interacting dynamic systems.
file
SCALE (Safe Community Awareness and Alerting) is a Global Cities Challenge Project with multiple deployments, the primary one being in in Montgomery County, Maryland. SCALE2 is a community government/academic/industry partnership effort that aims to deploy, actuate and evaluate techniques to support multiple heterogeneous IoT technologies in real world communities. Through SCALE, significant public benefits can be enabled in the areas of emergency preparedness/response at the individual and community scale.
file
AquaSCALE is a cyber-physical-human middleware for gathering, analyzing and adapting operations of increasingly failure-prone community water services. Today, detection of anomalous events in civil infrastructures (e.g. water pipe breaks and leaks) is time consuming and often takes hours or days. AquaSCALE leverages dynamic data from multiple information sources including IoT sensing data, geophysical data, human input, and simulation and modeling engines to accurately and quickly identify vulnerable spots in water networks.
file
This project is developing a formal methods approach to meet temporal logic specifications in traffic control. Formal methods offer efficient techniques for proving the correct operation of systems, such as computer programs and digital circuits, and for designing systems that are correct by construction. This project is bringing these powerful techniques to bear on traffic networks.
