CPS PI Poster Session

file

Visible to the public Co-Design of Multimodal CPS Architectures and Adaptive Controllers

Submitted by ancs-cps11 on Wed, 10/23/2013 - 11:04am. Contributors:

Abstract:

The project is an on-going collaborative effort between Massachusetts Institute of Technology and University of Pennsylvania since 2011.

file

Visible to the public Cyborg Insect Networks for Exploration and Mapping (CINEMa)

Submitted by alperboz on Wed, 10/23/2013 - 10:55am. Contributors:

Abstract:

The present day technology falls short in offering centimeter scale mobile robots that can function effectively under unknown and dynamic environmental conditions. Insects, on the other hand, exhibit an unmatched ability to navigate through a wide variety of environments and overcome perturbations by successfully maintaining control and stability.

file

Visible to the public CPS: Synergy: Collaborative Research: Engineering Safety-Critical Cyber-Physical-Human Systems

Submitted by gjbalas on Wed, 10/23/2013 - 10:26am. Contributors:

Abstract:

This cross-disciplinary project brings together a team of engineering and computer science researchers to create, validate, and demonstrate the value of new techniques for ensuring that systems composed of combinations of hardware, software, and people are designed to operate in a truly synergistic and safe fashion.

file

Visible to the public StarExec: A Web Service for Evaluating Logic Solvers

Submitted by astump on Tue, 10/22/2013 - 3:06pm. Contributors:

Abstract:

Ongoing breakthroughs in nationally important research areas like Verification and Artificial Intelligence depend on continuing advances in high-performance automated theorem proving tools. The typical use of these tools is as backends: application problems are translated by an application tool into (typically very large and complex) logic formulas, which are then handed off to a logic solver. Different tradeoffs between linguistic expressiveness and the difficulty of solving the resulting problems give rise to different logics.

file

Visible to the public FORCES Overview - Shankar Sastry

Submitted by S. Shankar Sastry on Mon, 10/21/2013 - 12:34pm. Contributor:

Abstract:

Cyber-Physical Systems (CPS) are being increasingly deployed in critical infrastructures such as electric- power, water, transportation, and other networks. These deployments are facilitating real-time monitoring and control by exploiting the advances in wireless sensor-actuator networks, the internet of "everything", data-driven analytics, and machine-to-machine interfaces. CPS operations depend on the synergy of com- putational and physical components. In addition, in many cases, CPS also interact with human decision makers.

page

Visible to the public 2013 CPS PI Meeting - Presentation Submission Confirmation

Submitted by Anonymous on Mon, 10/07/2013 - 1:49pm

Thank you so much for your involvement in the 2013 CPS PI Meeting. We look forward to your presentation. A confirmation message will be sent to the email address you provided.

Should you need to update your submission you may do so by navigating to http://cps-vo.org/node/8115. Select 'view your previous submissions' from the notification box at the top of the page. You will be directed to a page where you can 'view' or 'edit' your previous submissions.

file

Visible to the public Cyberphysical Challenges of Transient Stability and Security in Power Grids

Submitted by Ian Dobson on Wed, 10/02/2013 - 4:23pm. Contributors:

Abstract:

Motivation: Power transmission networks underpin our way of life and are at the center of the transformation of the US energy system. "Keeping the lights on" as we transform an already large and complicated power system is a fundamental challenge for cyber- physical engineering. Future power networks will be instrumented with synchrophasor measurement units, communication infrastructures and distributed computing, and are therefore prototypical examples of cyber-physical systems with tightly coupled compu- tational and physical resources.