1

Computing State Invariants Using Point-Wise Integral Quadratic Constraints and the S-Procedure

A Continuation Method for Computation of H $ınfty$ Gains of Linear Continuous Time Periodic Systems

The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained

Bridging the Gap Between Requirements and Simulink Model Analysis

CoCoSim, a code generation framework for control/command applications An overview of CoCoSim for multi-periodic discrete Simulink models

CoCoSim: an automated analysis framework for Simulink/Stateflow

Guaranteed Simulation of Dynamical Systems with Integral Constraints & Application on Delayed Dynamical Systems

Improving the Numerical Accuracy of Parallel Programs by Data Mapping

Parabolic Set Simulation for Reachability Analysis of Linear Time Invariant Systems with Integral Quadratic Constraint

Credible Autocoding of The Ellipsoid Algorithm Solving Second-Order Cone Programs