Hybrid Models

Models having two kinds of components that produce the same or similar results.
forum

Visible to the public Call for Papers: The 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2019)

CALL FOR PAPERS

The 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2019)

San Diego, USA | October 9-11, 2019 | https://memocode.github.io/2019

OVERVIEW

forum

Visible to the public Verification Tool Competition:

ARCH brings together researchers and practitioners to establish a curated set of benchmarks for verification, testing and reachability, and evaluate them in a friendly competition. ARCH started in 2014 and has sustained a vibrant community since. Since 2017, ARCH has organized as a part of the workshop the International Competition on Verifying Continuous and Hybrid Systems (ARCH-COMP, https://cps-vo.org/group/ARCH/), now in its 3rd iteration.

event

Visible to the public  AMC 2020
Apr 20, 2020 7:00 am - Apr 22, 2020 6:00 pm CEST

IEEE 16th International Workshop on Advanced Motion Control (AMC2020)

AMC2020 is the 16th in a series of biennial international workshops on Advanced Motion Control that will be held on April 20-22, 2020, at the University of Agder, Campus Kristiansand, Norway. The workshop aims bringing together researchers from both academia and industry, and to promote omnipresent motion control technologies and applications.

Main AMC2020 topics are

forum

Visible to the public Postoctoral positions in learning-enabled CPS at University of Pennsylvania

Postdoctoral Research Positions in Assured Autonomy at PRECISE Center
School of Engineering and Applied Science, University of Pennsylvania
http://precise.seas.upenn.edu/