The overall research objective of the project is to establish and demonstrate a generic motion- sensing co-design procedure that significantly reduces the complexity of mission design for swarm- ing CPS, and greatly facilitates the development of effective and efficient control and sensing strategies.

We apply formal specification and verification techniques for checking correctness properties of artificial pancreas control algorithms. Formal specification and verification techniques attempt to systematically and exhaustively explore the behaviors of closed loop in silico models to understand the worst case effects of disturbances such as meals, external boluses, sensor noise, pressure induced sensor attenuation and set failures on the predicted blood glucose levels of a “virtual” patient.

The overall research objective of the project is to establish and demonstrate a generic motion- sensing co-design procedure that significantly reduces the complexity of mission design for swarm- ing CPS, and greatly facilitates the development of effective and efficient control and sensing strategies.

Abstract: The overall research objective of the project is to establish and demonstrate a generic motion sensing co-design procedure that significantly reduces the complexity of mission design for swarming CPS, and greatly facilitates the development of effective and efficient control and sensing strategies.