Design Automation Tools

Software tools for designing electronic systems.
forum

Visible to the public CfP: Workshop on Autonomy in CPS 2020 (AutoCPS 2020)

CALL FOR PAPERS

Workshop on Autonomy in Cyber-Physical Systems at CPS-IoT Week (AutoCPS 2020)

21 April 2020 | Sydney, Australia | https://jainachin.github.io/AutoCPS2020/

forum

Visible to the public CfP: ACM/IEEE DESTION 2020

COVID-19 UPDATE

Given the situation, The workshop is moving to digital format due to COVID-19. Please check the CPS-IoT Week website for more information.

page

Visible to the public ALC Home Page

Short Description

Cyber-Physical Systems (CPS) are commonly used in mission-critical or safety-critical applications which demand high reliability and strong assurance for safety. These systems frequently operate in highly uncertain environments where it is infeasible to explicitly design for all possible situations within the environment. Assuring safety in these systems requires supporting evidence from testing data, formal verification, expert analysis, etc. Data-driven methods, such as machine learning, are being applied in CPS development to address these challenges.

event

Visible to the public  40th Summer School of Automatic Control
Sep 09, 2019 8:00 am - Sep 13, 2019 3:00 pm CEST

40th Summer School of Automatic Control

special topic on Control of Computing Systems

Grenoble, France

September, 09-13, 2019

More informations at

event

Visible to the public  CPS Summer School 2019 (Porto Conte Ricerche, Alghero, Sardinia, Italy)
Sep 23, 2019 8:00 am - Sep 27, 2019 4:00 pm CEST

CPS Summer School 2019 - Designing Cyber-Physical Systems - From concepts to implementation

Cyber-physical systems are complex and autonomous ensembles of different components that directly cooperate to offer smart and adaptive functionalities. They are composed of sensors, actuators, and processing components that are deeply entangled: they constantly exchange information and actively interact with the external environment. So they are increasingly used in a variety of applications with a growing market.