Rensselaer Polytechnic Institute
video
Submitted by akarns on Fri, 05/11/2018 - 3:42pm
video
Submitted by srirams on Tue, 01/09/2018 - 5:22pm
file
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.
file
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.
file
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.
video
Submitted by Wencen on Sun, 02/14/2016 - 7:00pm
file
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.
