Skip to main content
  Cornell University

MAE Publications and Papers

Sibley School of Mechanical and Aerospace Engineering

Tag Archives: Discrete abstractions

New article: Automated Generation of Dynamics-Based Runtime Certificates for High-Level Control

Article:  DeCastro, J; Ehlers, R; Rungger, M; Dagger, A; Kress-Gazit, H; “Automated Generation of Dynamics-Based Runtime Certificates for High-Level Control”, Discrete Event Dynamic Systems-Theory and Applications, 27 (2):371-405 DOI Abstract:  This paper addresses the problem ...
Read More

Skip to toolbar