Foundations

Theoretical aspects of cyber-physical systems.
news

Visible to the public NIST Releases Draft Security Feature Recommendations for IoT Devices

NIST Releases Draft Security Feature Recommendations for IoT Devices

"Core Baseline" guide offers practical advice for using everyday items that link to computer networks.

August 01, 2019

group

Visible to the public 2016 NSF Cyber-Physical Systems Principal Investigators' Meeting

2016 NSF Cyber-Physical Systems Principal Investigators' Meeting
event

Visible to the public  RTSS 2015
Dec 01, 2015 8:00 am - Dec 04, 2015 5:00 pm CST

The 36th IEEE Real-Time Systems Symposium (RTSS'15)

sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems

event

Visible to the public  NIST CPS PWG
Jun 30, 2014 1:00 pm - 2:30 pm EDT

NIST Cyber-Physical Systems Public Working Group

What are Cyber-Physical Systems or CPS?

  • Is a CPS any engineered system with a microprocessor?
  • Do all CPS need to be connected to the internet?
  • Are there a set of basic functions and architectural elements common to all CPS?

You are invited to join us in answering these questions and charting the path to the future.

event

Visible to the public  BuildSys 2014
Nov 04, 2014 12:00 am - Nov 07, 2014 1:00 am EST

1st ACM International Conference on Embedded Systems for Energy-Efficient Buildings

co-located with ACM SenSys 2014

event

Visible to the public  CPS Week 2014
Apr 14, 2014 8:00 am - Apr 17, 2014 6:00 pm EDT

The CPSWeek brings together five leading conferences - HSCC, ICCPS, IPSN, HiCoNS, RTAS - as well as several workshops and tutorials on various aspects on the research and development of cyber-physical systems: Embedded Systems, Hybrid Systems, Real-Time and Sensor Networks.

event

Visible to the public  2013 CPS PI Meeting
Oct 17, 2013 7:00 am - Oct 18, 2013 5:30 pm EDT

The fourth annual CPS PI Meeting will be held Thursday and Friday, October 17-18, 2013 at the Crystal Gateway Marriott Hotel in the Crystal City section of Arlington, Virginia near the Crystal City Metro and Reagan Washington National Airport (DCA).

event

Visible to the public  HSCC 2020
Apr 21, 2020 7:00 am - Apr 24, 2020 6:00 pm AEST

23rd ACM International Conference on Hybrid Systems: Computation and Control

April 21-24, 2020 | Sydney Australia | https://berkeleylearnverify.github.io/HSCC_2020/

forum

Visible to the public CfP: CyPhy '19 - Final Call

CALL FOR PAPERS - Final Call

Model-Based Design of Cyber-Physical Systems (CyPhy'19)

CyPhy'19 will be held as part of ESWeek in NYC, NY. The conference will take place at the Kimmel Center for University Life.