Michigan State University

file

Visible to the public CPS: Synergy: Tracking Fish Movement with a School of Gliding Robotic Fish

The goal of this project is to create an integrative framework for the design of coupled biological and robotic systems that accommodates system uncertainties and competing objectives in a rigorous, holistic, and effective manner. The design principles are developed using a concrete, end-to-end application of tracking and modeling fish movement with a network of gliding robotic fish. The proposed robotic platform is an energy-efficient underwater gliding robotic fish that travels by changing its buoyancy and mass distribution (gliding) or by flapping tail fin (swimming).

file

Visible to the public CPS: TTP Option: Synergy: Collaborative: Internet of self-powered sensors-Towards a scalable long-term condition-based monitori

Abstract: This research is investigating a cyber-physical framework for scalable, long-term monitoring and condition- based maintenance of civil infrastructures. Civil infrastructure constitutes a network of interdependent sys- tems and utilities (e.g., highways, bridges, rail systems, buildings) that are necessary for supporting social and economic activities.

file

Visible to the public Scalable Component-based Model Revision of Cyber-Physical Systems with Separation of Concerns

Abstract:

As part of our CPS project, we have focused on the problem of model repair for cyber-physical systems. This work involves identifying constraints caused due to physical components during revision. We consider four types of constraints cyber-cyber, cyber-physical, physical-cyber and physical-physical. Based on the complexity limitations caused by these constraints we are developing efficient heuristics to mitigate the cost of model repair. We have also focused on extending revision to code level.

file

Visible to the public CPS: Synergy: Tracking Fish Movement with a School of Gliding Robotic Fish

Abstract:

The goal of this project is to create an integrative framework for the design of coupled biological and robotic systems that accommodates system uncertainties and competing objectives in a rigorous, holistic, and effective manner. The design principles are developed using a concrete, end-to-end application of tracking and modeling fish movement with a network of gliding robotic fish based on acoustic telemetry.

file

Visible to the public Scalable Component-based Model Revision of Cyber-Physical Systems with Separation of Concerns

Abstract:

As part of our CPS project, we have focused on the problem of model repair for cyber-physical systems. This work involves identifying constraints caused due to physical components during revision. We consider four types of constraints cyber-cyber, cyber-physical, physical-cyber and physical-physical. Based on the complexity limitations caused by these constraints we are developing efficient heuristics to mitigate the cost of model repair. We have also focused on extending revision to code level.