Foundations

Theoretical aspects of cyber-physical systems.
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

Submitted by Anonymous on Fri, 03/27/2015 - 4:35pm

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

Submitted by Anonymous on Thu, 06/12/2014 - 4:59pm

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

Submitted by muralib on Mon, 05/26/2014 - 11:00pm

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

Submitted by Anonymous on Thu, 09/05/2013 - 11:11am

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

Submitted by KNEW on Mon, 06/10/2013 - 11:54pm

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

Submitted by Anonymous on Fri, 09/13/2019 - 9:58am

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 2020 HSCC CfP -- Submissions due October 23

Submitted by Ricardo Sanfelice on Thu, 09/12/2019 - 3:42pm

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

April 21-24, 2020

Sydney Australia

https://berkeleylearnverify.github.io/HSCC_2020/