Abstract: The objective of this research is an injection of new modeling techniques into the area of Cyber-Physical Systems (CPSs). The approach is to design new architectures for domain- specific modeling tools in order to permit feedback from analysis, validation, and verification engines to influence how CPSs are designed. This project outlines new research into the integration of existing, heterogeneous modeling languages in order to address problems in CPS design, rather than a single language used to design any CPS.

ABSTRACT

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.