University of California at Berkeley

Design and Verification of Cyber-Physical Systems with Machine Leaning Components

Tommaso Dreossi, Shromona Ghosh

更多

Daniel J. Fremont,Edward Kim, Hadi Ravanbakhsh,

Marcell Vazquez-Chanlatte, and Sanjit A. Seshia

iCyPhy Mini Workshop, Berkeley, Feb. 14, 2019

UC Berkeley

iCyPhy Mini Workshop, Feb. 14, 2019

收起

Future trends and Research Priorities for CPS in Manufacturing

| Whitepaper |

- January 2017 -

University of California at Berkeley

Welcome and Introduction

Edward A. Lee

更多

iCyPhy Mini Workshop, Berkeley, Feb. 14, 2019

Professor of the Graduate School

iCyPhy Mini Workshop, Feb. 14, 2019

收起

Connected Cars

Ravi Akella, Denso

iCyPhy Mini Workshop, Feb. 14, 2019

Modeling and Simulation of Industrial Control Systems

Ines Ugalde

Advanced Manufacturing Automation Siemens Corporate Technology USA

更多

Unrestricted © Siemens AG 2019 Siemens Corporate Technology

iCyPhy Mini Workshop, Feb. 14, 2019

收起

CAMOZZI GROUP & ICYPHY:

COLLABORATION OVERVIEW

ICyPhy Mini-Workshop – 02/14/2019

更多

Antonio Iannopollo

antonio@berkeley.edu

aiannopollo@camozzi-usa.com

iCyPhy Mini Workshop, Feb. 14, 2019

收起

(the new) iCyPhy: Industrial Cyber-Physical Systems

Prabal Dutta, Edward A. Lee, Sanjit Seshia, Alberto Sangiovanni-Vincentelli

Citation

更多

Prabal Dutta, Edward A. Lee, Sanjit Seshia, Alberto Sangiovanni-Vincentelli. "(the new) iCyPhy: Industrial Cyber-Physical Systems". Talk or presentation, 15, November, 2016; Presented at the SwarmLab 2016 Fall Retreat, Berkeley.

Abstract

The goal of iCyPhy (pronounced eye-sigh-fie) is to conduct pre-competitive research on architectures and design, modeling, and analysis techniques for cyber-physical systems, with emphasis on industrial applications. Cyber-physical systems integrate computing, networking, and physical components. Applications include transportation systems, automation, security, smart buildings, smart cities, medical systems, energy generation and distribution, water distribution, agriculture, military systems, process control, asset management, and robotics.

收起

A Programming Model for Distributed IoT

Marten Lohstroh, UCB

iCyPhy Mini Workshop, Feb. 14, 2019