Mots-clés

Identifiants chercheur

Export Publications

Exporter les publications affichées :
Nombre de documents

50

Page de Alexandre Chapoutot


Je travaille sur la vérification formelle de programmes de contrôle-commande. En particulier, je m'intéresse à définir des méthodes de résolution garantie d'équations différentielles.


Article dans une revue9 documents

Communication dans un congrès31 documents

  • Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier. Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties. First IEEE International Conference on Robotic Computing, Apr 2017, Taichung, Taiwan. 〈http://icrc.asia.edu.tw〉. 〈10.1109/IRC.2017.17〉. 〈hal-01490364〉
  • Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot. Numerical Accuracy Improvement by Interprocedural Program Transformation. International Workshop on Software and Compilers for Embedded Systems, Jun 2017, Sankt Goar, Germany. 〈10.1145/3078659.3078662〉. 〈hal-01598851〉
  • Adina Panchea, Alexandre Chapoutot, David Filliat. Extended Reliable Robust Motion Planners. 56th IEEE Conference on Decision and Control, Dec 2017, Melbourne, Australia. IEEE, 2017, 〈http://cdc2017.ieeecss.org〉. 〈hal-01493576〉
  • Julien Alexandre Dit Sandretto, Douglas Piccani de Souza, Alexandre Chapoutot. Appropriate Design Guided by Simulation: An Hovercraft Application. Workshop on Model-Driven Robot Software Engineering, Jul 2016, Leipzig, Germany. 〈http://st.inf.tu-dresden.de/MORSE16/〉. 〈10.1145/3022099.3022100〉. 〈hal-01304012〉
  • Julien Alexandre Dit Sandretto, Alexandre Chapoutot. DynBEX: a Differential Constraint Library for Studying Dynamical Systems. Conference on Hybrid Systems: Computation and Control (HSCC 2016), Apr 2016, Vienne, Austria. 2016, 〈http://www.cs.ox.ac.uk/conferences/hscc2016/index.html〉. 〈hal-01297273〉
  • Adrien Le Coent, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg. Control of Nonlinear Switched Systems Based on Validated Simulation. International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR’16), Apr 2016, Vienne, Austria. 2016, 〈https://snr2016.pages.ist.ac.at〉. 〈10.1109/SNR.2016.7479377〉. 〈hal-01304292〉
  • Alexandre Chapoutot, Julien Alexandre Dit Sandretto. Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon. International Workshop on Numerical Software Verification, Jul 2016, Toronto, Canada. Springer Verlag, Lecture Notes in Computer Science, 10152, pp.52-62, International Workshop on Numerical Software Verification. 〈http://nsv2016.pages.ist.ac.at〉. 〈10.1007/978-3-319-54292-8_5〉. 〈hal-01383584〉
  • Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot. Data-Types Optimization for Floating-Point Formats by Program Transformation. Control, Decision and Information Technologies (CoDIT), Apr 2016, Saint Julian's, Malta. 〈http://www.codit2016.com〉. 〈10.1109/CoDIT.2016.7593626〉. 〈hal-01290292〉
  • Julien Alexandre Dit Sandretto, Alexandre Chapoutot. DynIBEX: une boîte à outils pour la vérification des systèmes cyber-physiques. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France. 〈http://afadl2016.conf.citi-lab.fr〉. 〈hal-01450917〉
  • Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot. Optimizing the Accuracy of a Rocket Trajectory Simulation by Program Transformation. ACM International Conference on Computing Frontiers, May 2015, Ischia, Italy. 〈10.1145/2742854.2742894〉. 〈hal-01133695〉
  • Dominique Monnet, Luc Jaulin, Jordan Ninin, Alexandre Chapoutot, Julien Alexandre Dit Sandretto. Viability kernel computation based on interval methods. Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic. 2015. 〈hal-01371484〉
  • Walid Taha, Adam Duracz, Yingfu Zeng, Atkinson Kevin, Paul Brauner, et al.. Acumen: An Open-Source Testbed for Cyber-Physical Systems Research. Benny Mandler; Johann Marquez-Barja; Radu-Laurentiu Vieriu; Miguel Elias Mitre Campista; Dagmar Cagáňová; Hakima Chaouchi; Sherali Zeadally; Mohamad Badra; Stefano Giordano; Maria Fazio; Andrey Somov. International Internet of Things Summit, Oct 2015, Rome, Italy. Springer, Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 169, pp.118-130, 〈http://link.springer.com/book/10.1007/978-3-319-47063-4〉. 〈10.1007/978-3-319-47063-4_11〉. 〈hal-01490406〉
  • Julien Alexandre Dit Sandretto, Alexandre Chapoutot. Validated Simulation of Differential Algebraic Equations. Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic. 2015. 〈hal-01164474〉
  • Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier. Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis. Workshop on Synthesis of Complex Parameters, Apr 2015, Londres, United Kingdom. 〈10.4230/OASIcs.SynCoP.2015.91〉. 〈hal-01272513〉
  • Dominique Monnet, Luc Jaulin, Jordan Ninin, Alexandre Chapoutot, Julien Alexandre Dit Sandretto. Inner and Outer Computation of the Viability Kernel based on Interval Analysis. International Symposium on Set Membership - Applications, Reliability and Theory, Sep 2015, Manchester, United Kingdom. 〈hal-01371498〉
  • Alexandre Chapoutot, Julien Alexandre Dit Sandretto, Olivier Mullier. Validated Explicit and Implicit Runge-Kutta Methods. Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic. 〈hal-01111240v2〉
  • Olivier Bouissou, Alexandre Chapoutot, Adel Djaballah, Michel Kieffer. Computation of Parametric Barrier Functions for Dynamical Systems using Interval Analysis. IEEE CDC 2014, Dec 2014, Los Angeles, United States. pp.1-4, 2014. 〈hal-01073673〉
  • Olivier Bouissou, Samuel Mimram, Baptiste Strazzulla, Alexandre Chapoutot. Set-based Simulation for Design and Verification of Simulink Models. Embedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France. 2014. 〈hal-01290286〉
  • Alexandre Chapoutot, Thibault Hilaire, Philippe Chevrel. Interval-based Robustness of Linear Parametrized Filters. SCAN'12 - 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Sep 2012, Novosibirsk, Russia. pp.cf. CDROM, 2012. 〈hal-00706772〉
  • Alexandre Chapoutot, Laurent-Stéphane Didier, Fanny Villers. Range estimation of floating-point variables in Simulink models. Conference on Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. IEEE, pp.1-8, 2012. 〈hal-00816115〉
  • Olivier Bouissou, Alexandre Chapoutot. An operational semantics for Simulink's simulation engine. 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, Jun 2012, Pekin, China. pp.129-138, 2012, 〈10.1145/2248418.2248437〉. 〈hal-00819373〉
  • Olivier Bouissou, Alexandre Chapoutot, Samuel Mimram. HySon: Set-based simulation of hybrid systems. 23rd IEEE International Symposium on Rapid System Prototyping, Oct 2012, Tempere, Finland. pp.79-85, 2012, 〈10.1109/RSP.2012.6380694〉. 〈hal-00819377〉
  • Alexandre Chapoutot, Laurent-Stéphane Didier, Fanny Villers. A Statistical Inference Model for the Dynamic Range of LTI Systems. 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, SCAN, Sep 2012, Novosibirsk, Russia. pp.25-26, 2012. 〈hal-00851282〉
  • Walid Taha, Paul Brauner, Yingfu Zeng, Robert Cartwright, Veronica Gaspes, et al.. A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report). 32nd International Conference on Distributed Computing Systems Workshops, Jun 2012, Macau, China. pp.129-138, 2012, 〈10.1109/ICDCSW.2012.72〉. 〈hal-00819378〉
  • Alexandre Chapoutot. Interval Slopes as Numerical Abstract Domain for Floating-Point Variables. SAS 2010 - 17th Static Analysis Symposium, Sep 2010, Perpignan, France. Springer, 6337, pp.184-200, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-15769-1_12〉. 〈hal-00469007v4〉
  • Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot. Abstract Fixpoint Computations with Numerical Acceleration Methods. International Workshop on Numerical and Symbolic Abstract Domains, Sep 2010, Perpignan, France. 267 (1), pp.29-42, 2010, 〈10.1016/j.entcs.2010.09.004〉. 〈hal-00492483〉
  • Yun Zhu, Edwin Westbrook, Jun Inoue, Alexandre Chapoutot, Cherif Salama, et al.. Mathematical equations as executable models of mechanical systems. International Conference on Cyber-Physical Systems, Apr 2010, Stockholm, Sweden. 2010, 〈http://iccps.acm.org/2010/〉. 〈10.1145/1795194.1795196〉. 〈hal-01392882〉
  • Alexandre Chapoutot, Matthieu Martel. Abstract Simulation: a Static Analysis of Simulink Models. International Conference on Embedded Software and Systems, May 2009, Zhejiang, China. International Conference on Embedded Software and Systems, pp.83-92, 2009, 〈10.1109/ICESS.2009.80〉. 〈hal-00332447〉
  • Alexandre Chapoutot, Matthieu Martel. Static Analysis of Simulink Programs. Model-driven High-level Programming of Embedded Systems, Apr 2008, Budapest, Hungary. 〈hal-00819432〉
  • Alexandre Chapoutot, Matthieu Martel. Différentiation automatique et formes de Taylor en analyse statique de programmes numériques. Marie-Laure Potet and Pierre-Yves Schobbens and Hubert Toussaint and Germain Saval. Conférence sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2007, Namur, Belgique. Presses Universitaires de Namur, pp.261-280, 2007. 〈hal-00819434〉
  • Alexandre Chapoutot, Matthieu Martel. Abstract Frequency Analysis of Synchronous Systems. Conference on Languages, Compilers, and Tools for Embedded Systems, Jun 2006, Ottawa, Canada. 〈hal-00819433〉

Poster2 documents

Chapitre d'ouvrage4 documents

Pré-publication, Document de travail1 document

  • Elliot Brendel, Julien Alexandre Dit Sandretto, Alexandre Chapoutot. Robust Motion Planning Based on Sliding Horizon and Validated Simulation *. 2017. 〈hal-01493645〉

Rapport2 documents

  • Julien Alexandre Dit Sandretto, Alexandre Chapoutot. Validated Solution of Initial Value Problem for Ordinary Differential Equations based on Explicit and Implicit Runge-Kutta Schemes. [Research Report] ENSTA ParisTech. 2015. 〈hal-01107685v6〉
  • Olivier Bouissou, Alexandre Chapoutot, Samuel Mimram. Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods. 2013. 〈hal-00831438〉

Thèse1 document

  • Alexandre Chapoutot. Simulation abstraite : une analyse statique de modèles Simulink. Génie logiciel [cs.SE]. Ecole Polytechnique X, 2008. Français. 〈tel-00366685〉