default search action
Alexandre Chapoutot
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c37]Caroline Pascal, Olivier Doaré, Alexandre Chapoutot:
A ROS-Based Kinematic Calibration Tool for Serial Robots. IROS 2023: 1767-1773 - 2022
- [c36]Yuanqi Mao, Behçet Açikmese, Pierre-Loïc Garoche, Alexandre Chapoutot:
Successive Convexification for Optimal Control with Signal Temporal Logic Specifications. HSCC 2022: 9:1-9:7 - 2021
- [j13]Julien Alexandre Dit Sandretto
, Olivier Mullier
Preface. Acta Cybern. 25(1): 3 (2021) - [j12]Etienne Bertin
Prospects on Solving an Optimal Control Problem with Bounded Uncertainties on Parameters using Interval Arithmetics. Acta Cybern. 25(1): 101-125 (2021) - [j11]Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot:
Guaranteed master for interval-based cosimulation. Softw. Syst. Model. 20(3): 711-724 (2021) - [c35]Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS 2021: 32-54 - [c34]Etienne Bertin, Bruno Hérissé, Julien Alexandre Dit Sandretto, Alexandre Chapoutot:
Spatio-temporal constrained zonotopes for validation of optimal control problems *. CDC 2021: 6708-6713 - [c33]Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux, Ghiles Ziat:
Constraint-based Verification of Formation Control. CDC 2021: 7136-7141 - 2020
- [j10]Olivier Mullier
Optimal Switching Instants for the Control of Hybrid Systems. Acta Cybern. 24(3): 449-465 (2020) - [j9]Sylvie Boldo
Round-Off Error and Exceptional Behavior Analysis of Explicit Runge-Kutta Methods. IEEE Trans. Computers 69(12): 1745-1756 (2020) - [c32]Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH 2020: 49-75 - [c31]Adrien Le Coënt
Cosimulation-Based Control Synthesis. SEFM 2020: 318-333
2010 – 2019
- 2019
- [c30]Fabian Immler, Matthias Althoff, Luis Benet
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@CPSIoTWeek 2019: 41-61 - [c29]Paul Rousse, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems. CyPhy/WESE 2019: 89-107 - [c28]Julien Alexandre Dit Sandretto, Alexandre Chapoutot
Logical Differential Constraints Based on Interval Boolean Tests. IFSA/NAFIPS 2019: 788-792 - 2018
- [j8]Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
An improved algorithm for the control synthesis of nonlinear sampled switched systems. Formal Methods Syst. Des. 53(3): 363-383 (2018) - [j7]Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot:
Numerical program optimisation by automatic improvement of the accuracy of computations. Int. J. Intell. Eng. Informatics 6(1/2): 115-145 (2018) - [j6]Olivier Mullier, Alexandre Chapoutot
Validated computation of the local truncation error of Runge-Kutta methods with automatic differentiation. Optim. Methods Softw. 33(4-6): 718-728 (2018) - [c27]Julien Alexandre Dit Sandretto, Elliot Brendel, Alexandre Chapoutot
An Interval-based Sliding Horizon Motion Planning Method. ADHS 2018: 296-301 - [c26]Élise Crepon, Adina Marlena Panchea, Alexandre Chapoutot
Reliable Navigation Planning Implementation on a Two-Wheeled Mobile Robot. IRC 2018: 173-174 - [c25]Élise Crepon, Adina Marlena Panchea, Alexandre Chapoutot
Reliable Motion Plannning for a Mobile Robot. IRC 2018: 413-418 - [p1]Julien Alexandre Dit Sandretto, Alexandre Chapoutot
Constraint-Based Framework for Reasoning with Differential Equations. Cyber-Physical Systems Security 2018: 23-41 - 2017
- [j5]Adel Djaballah, Alexandre Chapoutot
Construction of parametric barrier functions for dynamical systems using interval analysis. Autom. 78: 287-296 (2017) - [j4]Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Improving the numerical accuracy of programs by automatic transformation. Int. J. Softw. Tools Technol. Transf. 19(4): 427-448 (2017) - [c24]Sylvie Boldo, Florian Faissole, Alexandre Chapoutot
Round-off Error Analysis of Explicit One-Step Numerical Integration Methods. ARITH 2017: 82-89 - [c23]Adina M. Panchea, Alexandre Chapoutot
Extended reliable robust motion planners. CDC 2017: 1112-1117 - [c22]Julien Alexandre Dit Sandretto, Alexandre Chapoutot
Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties. IRC 2017: 81-88 - [c21]Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
Distributed Control Synthesis Using Euler's Method. RP 2017: 118-131 - [c20]Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Numerical Accuracy Improvement by Interprocedural Program Transformation. SCOPES 2017: 1-10 - 2016
- [c19]Alexandre Chapoutot
Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon. NSV@CAV 2016: 52-62 - [c18]Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Data-types optimization for floating-point formats by program transformation. CoDIT 2016: 576-581 - [c17]Julien Alexandre Dit Sandretto, Douglas Picciani de Suza, Alexandre Chapoutot
Appropriate Design Guided by Simulation: An Hovercraft Application. MORSE@RoboCup 2016: 1-8 - [i5]Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg:
Control of nonlinear switched systems based on validated simulation. CoRR abs/1611.06692 (2016) - 2015
- [c16]Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Optimizing the accuracy of a rocket trajectory simulation by program transformation. Conf. Computing Frontiers 2015: 40:1-40:2 - [c15]Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Intra-procedural Optimization of the Numerical Accuracy of Programs. FMICS 2015: 31-46 - [c14]Walid Taha, Adam Duracz, Yingfu Zeng, Kevin Atkinson, Ferenc A. Bartha
Acumen: An Open-Source Testbed for Cyber-Physical Systems Research. IoT 360 (1) 2015: 118-130 - [c13]Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods. LOPSTR 2015: 143-160 - [c12]Julien Alexandre Dit Sandretto, Alexandre Chapoutot
Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis. SynCoP 2015: 91-102 - [c11]Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Transformation of a PID Controller for Numerical Accuracy. NSV 2015: 47-54 - [i4]Adel Djaballah, Alexandre Chapoutot, Michel Kieffer, Olivier Bouissou:
Construction of Parametric Barrier Functions for Dynamical Systems using Interval Analysis. CoRR abs/1506.05885 (2015) - 2014
- [c10]Olivier Bouissou, Alexandre Chapoutot
Computation of parametric barrier functions for dynamical systems using interval analysis. CDC 2014: 753-758 - 2013
- [c9]Olivier Bouissou, Alexandre Chapoutot
Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods. NASA Formal Methods 2013: 108-123 - [i3]Olivier Bouissou, Alexandre Chapoutot, Samuel Mimram:
Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods. CoRR abs/1306.2305 (2013) - 2012
- [j3]Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
Acceleration of the abstract fixpoint computation in numerical program analysis. J. Symb. Comput. 47(12): 1479-1511 (2012) - [c8]Alexandre Chapoutot, Laurent-Stéphane Didier, Fanny Villers:
Range estimation of floating-point variables in Simulink models. DASIP 2012: 1-8 - [c7]Walid Taha, Paul Brauner, Yingfu Zeng, Robert Cartwright, Verónica Gaspes, Aaron D. Ames
A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report). ICDCS Workshops 2012: 303-308 - [c6]Olivier Bouissou, Alexandre Chapoutot
An operational semantics for Simulink's simulation engine. LCTES 2012: 129-138 - [c5]Olivier Bouissou, Samuel Mimram, Alexandre Chapoutot
HySon: Set-based simulation of hybrid systems. RSP 2012: 79-85 - 2011
- [j2]Walid Taha, Paul Brauner, Robert Cartwright, Verónica Gaspes, Aaron D. Ames, Alexandre Chapoutot
A core language for executable models of cyber physical systems: work in progress report. SIGBED Rev. 8(2): 39-43 (2011) - 2010
- [c4]Angela Yun Zhu, Edwin M. Westbrook, Jun Inoue, Alexandre Chapoutot
Mathematical equations as executable models of mechanical systems. ICCPS 2010: 1-11 - [c3]Alexandre Chapoutot
Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables. SAS 2010: 184-200 - [c2]Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
Abstract Fixpoint Computations with Numerical Acceleration Methods. NSAD@SAS 2010: 29-42 - [i2]Alexandre Chapoutot:
Interval Slopes as Numerical Abstract Domain for Floating-Point Variables. CoRR abs/1004.0202 (2010) - [i1]Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot:
Abstract Fixpoint Computations with Numerical Acceleration Methods. CoRR abs/1006.3159 (2010)
2000 – 2009
- 2009
- [j1]Alexandre Chapoutot
Différentiation automatique et formes de Taylor en analyse statique de programmes numériques. Tech. Sci. Informatiques 28(4): 503-531 (2009) - [c1]Alexandre Chapoutot
Abstract Simulation: A Static Analysis of Simulink Models. ICESS 2009: 83-92 - 2008
- [b1]Alexandre Chapoutot:
Simulation abstraite : une analyse statique de modèles Simulink. (Abstract Simulation: a Static Analysis of Simulink Models). École Polytechnique, Palaiseau, France, 2008
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: