Denso sponsored "Best Student Paper Award"

Forward stochastic reachability analysis for uncontrolled linear systems using Fourier transforms
Abraham Vinod, Baisravan Homchaudhuri and Meeko Oishi

Best Repeatability Evaluation Award

Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems
Bastian Schürmann and Matthias Althoff

2nd Place Repeatability Evaluation Award

Sapo: A Tool for the Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems
Tommaso Dreossi

Best Poster/Demo Award

A Sheaf Theoretic Modeling and Composition Framework for Complex Systems of Systems
Alberto Speranzon, David I. Spivak, and Srivatsan Varadarajan

Best paper nominees

Dynamic Periodic Event-Triggered Control for Linear Systems
D.P. Borgers, V.S. Dolk and W.P.M.H. Heemels

A Small Gain Theorem for Parametric Assume-Guarantee Contracts
Eric Kim, Murat Arcak and Sanjit A. Seshia

Piecewise–differentiable trajectory outcomes in mechanical systems subject to unilateral constraints
Andrew M. Pace and Samuel A. Burden

Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems
Bastian Schürmann and Matthias Althoff

Optimal Data Rate for State Estimation of Switched Nonlinear Systems
Hussein Sibai and Sayan Mitra

Contact