There is an urgent need to build structural health monitoring (SHM) systems that can automatically detect, identify, localize, prognose and mitigate anomalies and damages in a structure at an early stage such that catastrophic failures can be avoided.
This collaborative research project examines the role of software synthesis for monitoring and planning of autonomous sensors evolving on tidally forced rivers. The goal of the sensors is the coordinated sampling of currents and salinity to reconstruct the distributed state of the river. This project integrates the development of theory for the coordination of autonomous agents in motion-constrained environments, and of algorithms to perform motion planning tasks, with software tools for design, analysis, and code synthesis for implementation, as well as inverse modeling (i.e.
The objective of this inter-disciplinary research is to develop new technologies that transform the streets of a city into a hybrid transportation/communication system, called the Intelligent Road (iRoad), where autonomous wireless devices are co-located with traffic signals, forming a wireless network that fuses real-time transportation data from all over the city to support a wide range of new applications.
This CPS research focuses on collaborative driving, specifically in convoy type applications, and testing of hybrid systems. Specfically, this research investigates the development of the computational issues and testing aspects of a newer, more tactical hybrid state autonomous controller for multi-robot exploration scenarios for DSTO Multi Autonomous Ground-robotic International Challenge (MAGIC 2010) and the evaluation of th eautomotive convoy-based scenarios of the Grand Cooperative Driving Challenge (May 2011).
Augmenting dedicated control systems with real-time sensor and actuator networks poses a number of new challenges in control system design that cannot be addressed with traditional process control methods, including: a) the handling of additional, potentially asynchronous and/or delayed measurements in the overall networked control system, and b) the substantial increase in the number of process state variables, manipulated inputs, and measurements which may impede the ability of centralized control systems to carry out real-time calculations within th
