Hybrid Models

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

Visible to the public  HSCC 2023
May 09, 2023 7:00 am - May 12, 2023 6:00 pm CDT

26th ACM International Conference on Hybrid Systems: Computation and Control

9-12 May 2023 | San Antonio, TX, USA

forum

Visible to the public Postdoctoral Scholar Positions at the University of California, Santa Cruz

Postdoctoral Scholar positions are available at the Hybrid Systems Laboratory at the Department of Electrical and Computer Engineering, University of California in Santa Cruz, California, in the area of modeling, analysis, and design of hybrid and cyber-physical systems. The projects associated with the positions pertain to the generation of new theory for the design of algorithms guaranteeing safety, security, and robustness in autonomous systems. Relevant areas of expertise include nonlinear and hybrid control, model predictive control, model-based learning, and

forum

Visible to the public CfP: 18th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2021)

18th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2021)

July 6-8, 2021 | Paris, France | http://www.icinco.org/

Important Dates:

Regular Papers

  • Paper Submission: February 16, 2021
  • Authors Notification: April 15, 2021
  • Camera Ready and Registration: April 29, 2021

Position Papers

forum

Visible to the public Call for Submissions - 7th Int. Workshop on Applied Verification for Continuous and Hybrid Systems

7th Int. Workshop on
Applied Verification for Continuous and Hybrid Systems

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