CPS-PI Meeting 2017

file

Visible to the public CPS: Synergy: Security of Distributed Cyber-Physical Systems with Connected Vehicle Applications

Submitted by babanera on Wed, 11/29/2017 - 5:21pm. Contributors:

This project aims at accelerating the deployment of security measures for cyber-physical systems (CPSs) by proposing a framework that combines anomaly identification approaches, which emphasizes on the development of decentralized cyber-attack monitoring and diagnostic-like components, with robust control countermeasure to improve reliability and maintain system functionality. One of the main challenges for cyber physical systems is the security of transmitted data over the communication network.

file

Visible to the public CRII: CPS: Emerging Markets and Myopic Decision-Making in Multi-Modal Transportation Systems: Modeling and Validation

Submitted by ratlifflj on Wed, 11/29/2017 - 5:21pm. Contributor:

In this project, we aim to create high-fidelity models, validated with real-world data, of mixed- mode travel decisions and emerging mobility markets. A growing subset of travelers make decisions informed by apps that optimize (mixed-mode) routes based on user-defined preferences. Locally optimized solutions tend to cause inefficiencies that are exacerbated by risk-sensitivity (arising from endogenous and exogenous uncertainties) in travelers.

file

Visible to the public Provably-safe Interventions for Human-Cyber-Physical Systems (HCPS)

Submitted by Sam Burden on Wed, 11/29/2017 - 5:21pm. Contributors:

Human interaction with the physical world is increasingly mediated by autonomy, as planes assist pilots, robots assist surgeons, and cars assist drivers. Automation is introduced in such systems to aid humans and guarantee safety and performance. However, such guarantees are hard to provide, since humans may misunderstand the automation's intentions or behave in an unanticipated manner; tragic examples like the crash of Air France flight 447 illustrate that such confusion between pilots and autopilots can lead to catastrophic outcomes. Although some applications may someda

file

Visible to the public Cyber Physical Manufacturing Cloud: Architecture, Communication Methods, Testbed, and Applications

Submitted by cpsfliu2015 on Wed, 11/29/2017 - 5:21pm. Contributors:

Cyber-physical systems are integrations of computation, networking, and physical processes and they are increasingly finding applications in manufacturing. Cloud manufacturing integrates cloud computing and service- oriented technologies with manufacturing processes and provides manufacturing services in manufacturing clouds. A cyber physical system for manufacturing is not a manufacturing cloud if it does not use virtualization technique in cloud computing and service oriented architecture in service computing.

file

Visible to the public Interdisciplinary Undergraduate Workshop on Dynamics of Excitable Systems

Submitted by Flavio Fenton on Wed, 11/29/2017 - 5:21pm. Contributors:

This project is a component of a larger effort is to develop the foundations of modeling, synthesis and development of verified medical device software and systems from verified closed-loop models of the device and organ(s). This research spans both implantable medical devices such as cardiac pacemakers and physiological control systems such as drug infusion pumps which have multiple networked medical systems. Here we focus on an education and outreach activity associated with the project.

file

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

Submitted by XiaoboTan on Wed, 11/29/2017 - 5:21pm. Contributors:

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).