Alexandre Chapoutot

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Successive Convexification for Optimal Control with Signal Temporal Logic Specifications 25th ACM International Conference on Hybrid Systems: Computation and Control	2024-02-21	Paper
Prospects on Solving an Optimal Control Problem with Bounded Uncertainties on Parameters using Interval Arithmetics Acta Cybernetica	2021-06-25	Paper
Round-Off Error and Exceptional Behavior Analysis of Explicit Runge-Kutta Methods IEEE Transactions on Computers	2020-12-14	Paper
Optimal Switching Instants for the Control of Hybrid Systems Acta Cybernetica	2020-10-02	Paper
Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis	2019-10-24	Paper
An improved algorithm for the control synthesis of nonlinear sampled switched systems Formal Methods in System Design	2018-11-15	Paper
Validated computation of the local truncation error of Runge-Kutta methods with automatic differentiation Optimization Methods & Software	2018-10-09	Paper
Distributed control synthesis using Euler's method	2017-12-20	Paper
Construction of parametric barrier functions for dynamical systems using interval analysis Automatica	2017-03-28	Paper
Transformation of a PID controller for numerical accuracy	2016-12-16	Paper
Abstract fixpoint computations with numerical acceleration methods Electronic Notes in Theoretical Computer Science	2016-06-17	Paper
Impact of accuracy optimization on the convergence of numerical iterative methods Logic-Based Program Synthesis and Transformation	2016-02-05	Paper
Acceleration of the abstract fixpoint computation in numerical program analysis Journal of Symbolic Computation	2012-07-13	Paper
Interval slopes as a numerical abstract domain for floating-point variables Static Analysis	2010-10-01	Paper

Research outcomes over time

This page was built for person: Alexandre Chapoutot