Search - Archive ouverte HAL

68 Results

authIdHal_s : alexandre-chapoutot

	For these 68 documents Send to ORCID RSS ATOM Export BibTeX TEI CSV RTF EndNote PDF HTML Advanced export Share Gmail Facebook Twitter LinkedIn More	Page : Page précédente 1 2 3 Page suivante	sorted by Relevance Author A→Z Author Z→A Title A→Z Title Z→A Increasing publication date Decreasing publication date Increasing deposit date Decreasing deposit date

		Inner and Outer Computation of the Viability Kernel based on Interval Analysis Dominique Monnet , Luc Jaulin , Jordan Ninin , Alexandre Chapoutot , Julien Alexandre Dit Sandretto et al. International Symposium on Set Membership - Applications, Reliability and Theory, Sep 2015, Manchester, United Kingdom Conference papers hal-01371498v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Intra-procedural Optimization of the Numerical Accuracy of Programs Nasrine Damouche , Matthieu Martel , Alexandre Chapoutot FMICS: Formal Methods for Industrial Critical Systems, Jun 2015, Oslo, Norway. pp.31-46, ⟨10.1007/978-3-319-19458-5_3⟩ Conference papers hal-01164340v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Control of Nonlinear Switched Systems Based on Validated Simulation Adrien Le Coent , Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Laurent Fribourg International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR’16), Apr 2016, Vienne, Austria. ⟨10.1109/SNR.2016.7479377⟩ Conference papers hal-01304292v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon Alexandre Chapoutot , Julien Alexandre Dit Sandretto International Workshop on Numerical Software Verification, Jul 2016, Toronto, Canada. pp.52-62, ⟨10.1007/978-3-319-54292-8_5⟩ Conference papers hal-01383584v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation Olivier Mullier , Alexandre Chapoutot , Julien Alexandre Dit Sandretto Optimization Methods and Software, 2018, ⟨10.1080/10556788.2018.1459620⟩ Journal articles hal-01498372v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Successive Convexification for Optimal Control with Signal Temporal Logic Specifications Yuanqi Mao , Behcet Acikmese , Pierre-Loïc Garoche , Alexandre Chapoutot 25th ACM International Conference on Hybrid Systems: Computation and Control (HSCC '22), May 2022, Milan, Italy. ⟨10.1145/3501710.3519518⟩ Conference papers hal-03663984v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Appropriate Design Guided by Simulation: An Hovercraft Application Julien Alexandre Dit Sandretto , Douglas Piccani de Souza , Alexandre Chapoutot Workshop on Model-Driven Robot Software Engineering, Jul 2016, Leipzig, Germany. ⟨10.1145/3022099.3022100⟩ Conference papers hal-01304012v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Set-based Simulation for Design and Verification of Simulink Models Olivier Bouissou , Samuel Mimram , Baptiste Strazzulla , Alexandre Chapoutot Embedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France Conference papers hal-01290286v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		HySon: Set-based simulation of hybrid systems Olivier Bouissou , Alexandre Chapoutot , Samuel Mimram 23rd IEEE International Symposium on Rapid System Prototyping, Oct 2012, Tempere, Finland. pp.79-85, ⟨10.1109/RSP.2012.6380694⟩ Conference papers hal-00819377v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report) Walid Taha , Paul Brauner , Yingfu Zeng , Robert Cartwright , Veronica Gaspes et al. 32nd International Conference on Distributed Computing Systems Workshops, Jun 2012, Macau, China. pp.129-138, ⟨10.1109/ICDCSW.2012.72⟩ Conference papers hal-00819378v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems Paul Rousse , Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Pierre-Loïc Garoche 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, Oct 2019, New York, United States. pp.89-107, ⟨10.1007/978-3-030-41131-2_5⟩ Conference papers hal-03199339v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Prospects on Solving an Optimal Control Problem with Bounded Uncertainties on Parameters using Interval Arithmetics Etienne Bertin , Elliot Brendel , Bruno Hérissé , Julien Alexandre Dit Sandretto , Alexandre Chapoutot et al. Acta Cybernetica, 2021, pp.1-25. ⟨10.14232/actacyb.285798⟩ Journal articles hal-03142715v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Logical Differential Constraints Based on Interval Boolean Tests Julien Alexandre Dit Sandretto , Alexandre Chapoutot Kearfott R., Batyrshin I., Reformat M., Ceberio M., Kreinovich V. IFSA/NAFIPS 2019 2019: Fuzzy Techniques: Theory and Applications, 1000, Springer, Cham, pp.788-792, 2019, ⟨10.1007/978-3-030-21920-8_70⟩ Book sections hal-02146655v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Hybrid Systems and Contracts with Zélus and DynIbex Zeldyn: a Compilation and Verification Toolchain François Pessaux , Julien Alexandre Dit Sandretto , Alexandre Chapoutot [Research Report] Ensta ParisTech. 2022 Reports hal-03635298v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Abstract domains for constraint programming with differential equations Ghiles Ziat , Olivier Mullier , Julien Alexandre Dit Sandretto , Christophe Garion , Alexandre Chapoutot et al. NSAD 2020: Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, Nov 2020, Virtual USA, France. pp.2-11, ⟨10.1145/3427762.3429453⟩ Conference papers hal-03068260v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Transformation of a PID Controller for Numerical Accuracy Nasrine Damouche , Matthieu Martel , Alexandre Chapoutot Electronic Notes in Theoretical Computer Science, 2015, 317, pp.47-54. ⟨10.1016/j.entcs.2015.10.006⟩ Journal articles hal-01255942v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Olivier Mullier Workshop on Synthesis of Complex Parameters, Apr 2015, Londres, United Kingdom. ⟨10.4230/OASIcs.SynCoP.2015.91⟩ Conference papers hal-01272513v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		An Interval-based Sliding Horizon Motion Planning Method Julien Alexandre Dit Sandretto , Elliot Brendel , Alexandre Chapoutot IFAC-PapersOnLine, 2018, 51 (16), pp.296-301. ⟨10.1016/j.ifacol.2018.08.050⟩ Journal articles hal-01992048v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Constraint-based Verification of Formation Control Julien Alexandre Dit Sandretto , Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Christophe Garion , Xavier Thirioux et al. 2021 60th IEEE Conference on Decision and Control (CDC), Dec 2021, Austin, France. pp.7136-7141, ⟨10.1109/CDC45484.2021.9683622⟩ Conference papers hal-03587686v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods Olivier Bouissou , Alexandre Chapoutot , Samuel Mimram 2013 Reports hal-00831438v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Optimal Switching Instants for the Control of Hybrid Systems Olivier Mullier , Julien Alexandre Dit Sandretto , Alexandre Chapoutot Acta Cybernetica, 2020, 24 (3), pp.449-465. ⟨10.14232/actacyb.24.3.2020.10⟩ Journal articles hal-03158488v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Validated Simulation of Differential Algebraic Equations Julien Alexandre Dit Sandretto , Alexandre Chapoutot Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic Conference papers hal-01164474v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Guaranteed cosimulation of Cyber-Physical Systems Adrien Le Coënt , Julien Alexandre Dit Sandretto , Alexandre Chapoutot 2020 Preprints, Working Papers, ... hal-02505237v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Data-Types Optimization for Floating-Point Formats by Program Transformation Nasrine Damouche , Matthieu Martel , Alexandre Chapoutot Control, Decision and Information Technologies (CoDIT), Apr 2016, Saint Julian's, Malta. ⟨10.1109/CoDIT.2016.7593626⟩ Conference papers hal-01290292v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Numerical Accuracy Improvement by Interprocedural Program Transformation Nasrine Damouche , Matthieu Martel , Alexandre Chapoutot International Workshop on Software and Compilers for Embedded Systems, Jun 2017, Sankt Goar, Germany. ⟨10.1145/3078659.3078662⟩ Conference papers hal-01598851v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Optimizing the Accuracy of a Rocket Trajectory Simulation by Program Transformation Nasrine Damouche , Matthieu Martel , Alexandre Chapoutot CF: Computing Frontiers, May 2015, Ischia, Italy. pp.40, ⟨10.1145/2742854.2742894⟩ Conference papers hal-01133695v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Survey of what DynIbex can do for you Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Olivier Mullier 2018 Preprints, Working Papers, ... hal-01927784v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Acceleration of the abstract fixpoint computation in numerical program analysis Olivier Bouissou , Yassamine Seladji , Alexandre Chapoutot Journal of Symbolic Computation, 2012, 47 (12), pp.1413-1560. ⟨10.1016/j.jsc.2011.12.050⟩ Journal articles hal-00766769v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods Nasrine Damouche , Matthieu Martel , Alexandre Chapoutot Logic-Based Program Synthesis and Transformation, 9527, Springer Verlag, pp.143-160, 2015, Lecture Notes in Computer Science, 978-3-319-27435-5. ⟨10.1007/978-3-319-27436-2_9⟩ Book sections hal-01272514v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		DynIBEX: a Differential Constraint Library for Studying Dynamical Systems Julien Alexandre Dit Sandretto , Alexandre Chapoutot HSCC, Apr 2016, Vienne, Austria. , HSCC 2016 Conference poster hal-01302504v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More

Filter your results

Inner and Outer Computation of the Viability Kernel based on Interval Analysis

Intra-procedural Optimization of the Numerical Accuracy of Programs

Control of Nonlinear Switched Systems Based on Validated Simulation

Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon

Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation

Successive Convexification for Optimal Control with Signal Temporal Logic Specifications

Appropriate Design Guided by Simulation: An Hovercraft Application

Set-based Simulation for Design and Verification of Simulink Models

HySon: Set-based simulation of hybrid systems

A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report)

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

Prospects on Solving an Optimal Control Problem with Bounded Uncertainties on Parameters using Interval Arithmetics

Logical Differential Constraints Based on Interval Boolean Tests

Hybrid Systems and Contracts with Zélus and DynIbex Zeldyn: a Compilation and Verification Toolchain

Abstract domains for constraint programming with differential equations

Transformation of a PID Controller for Numerical Accuracy

Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis

An Interval-based Sliding Horizon Motion Planning Method

Constraint-based Verification of Formation Control

Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods

Optimal Switching Instants for the Control of Hybrid Systems

Validated Simulation of Differential Algebraic Equations

Guaranteed cosimulation of Cyber-Physical Systems

Data-Types Optimization for Floating-Point Formats by Program Transformation

Numerical Accuracy Improvement by Interprocedural Program Transformation

Optimizing the Accuracy of a Rocket Trajectory Simulation by Program Transformation

Survey of what DynIbex can do for you

Acceleration of the abstract fixpoint computation in numerical program analysis

Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods

DynIBEX: a Differential Constraint Library for Studying Dynamical Systems