EMSOFT: Theory and Control

Talks -

Title: Differentiable Inference of Temporal Logic Formulas
Authors: Nicole Fronda (Oregon State University); Houssam Abbas (Oregon State University)

Title: Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes
Authors: Liren Yang (Huazhong University); Hang Zhang (University of Wisconsin-Madison); Jean-Baptiste Jeannin (University of Michigan); Necmiye Ozay (University of Michigan)

Title: Toward Minimum WCRT Bound for DAG Tasks Under Prioritized List Scheduling Algorithms
Author: Shuangshuang Chang (Northeastern University); Ran Bi (Dalian University of Technology); Jinghao Sun (Dalian University of Technology); Weichen Liu (Nanyang Technological University); Qi Yu (Dalian University of Technology); Qingxu Deng (Northeastern University); Zonghua Gu (Umeå University)

Title: Response-Time Analysis of Limited-Preemptive Sporadic DAG Tasks
Author: Gaoyang Dai (Uppsala University); Morteza Mohaqeqi (Uppsala University); Petros Voudouris (Uppsala University); Wang Yi (Uppsala University)