Skip to Main content Skip to Navigation


...
hal-01290286v1  Conference papers
Olivier BouissouSamuel MimramBaptiste StrazzullaAlexandre Chapoutot. Set-based Simulation for Design and Verification of Simulink Models
Embedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France
hal-00816115v1  Conference papers
Alexandre ChapoutotLaurent-Stéphane DidierFanny Villers. Range estimation of floating-point variables in Simulink models
Conference on Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. pp.1-8
...
hal-01593225v1  Book sections
Adrien Le CoëntJulien Alexandre Dit SandrettoAlexandre ChapoutotLaurent FribourgFlorian de Vuyst et al.  Distributed control synthesis using Euler's method
International Workshop on Reachability Problems, Lecture Notes in Computer Science (10506), pp.118-131, 2017, ⟨10.1007/978-3-319-67089-8_9⟩
hal-03068407v1  Conference papers
Luca GerettiJulien Alexandre Dit SandrettoMatthias AlthoffLuis BenetAlexandre Chapoutot et al.  ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Jul 2020, Berlin, Germany. pp.49-21, ⟨10.29007/zkf6⟩
hal-01598851v1  Conference papers
Nasrine DamoucheMatthieu MartelAlexandre 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-03068260v1  Conference papers
Ghiles ZiatOlivier MullierJulien Alexandre Dit SandrettoChristophe GarionAlexandre Chapoutot et al.  Abstract domains for constraint programming with differential equations
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⟩
hal-03158488v1  Journal articles
Olivier MullierJulien Alexandre Dit SandrettoAlexandre Chapoutot. Optimal Switching Instants for the Control of Hybrid Systems
Acta Cybernetica, University of Szeged, Institute of Informatics, 2020, 24 (3), pp.449-465. ⟨10.14232/actacyb.24.3.2020.10⟩
...
hal-01574921v1  Conference papers
Adina PancheaAlexandre ChapoutotDavid Filliat. BoxRRT* -A Reliable Motion Planner
10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory, Jun 2017, Manchester, United Kingdom
hal-01490406v1  Conference papers
Walid TahaAdam DuraczYingfu ZengAtkinson KevinPaul Brauner et al.  Acumen: An Open-Source Testbed for Cyber-Physical Systems Research
International Internet of Things Summit, Oct 2015, Rome, Italy. pp.118-130, ⟨10.1007/978-3-319-47063-4_11⟩
hal-02167586v1  Conference papers
Fabian ImmlerMatthias AlthoffLuis BenetAlexandre ChapoutotXin Chen et al.  ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, Apr 2019, Montréal, Canada. pp.41-19
hal-01371484v1  Conference papers
Dominique MonnetLuc JaulinJordan NininAlexandre ChapoutotJulien Alexandre Dit Sandretto. Viability kernel computation based on interval methods
Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
hal-00819373v1  Conference papers
Olivier BouissouAlexandre 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, ⟨10.1145/2248418.2248437⟩
hal-01371498v1  Conference papers
Dominique MonnetLuc JaulinJordan NininAlexandre ChapoutotJulien 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-00819377v1  Conference papers
Olivier BouissouAlexandre ChapoutotSamuel Mimram. HySon: Set-based simulation of hybrid systems
23rd IEEE International Symposium on Rapid System Prototyping, Oct 2012, Tempere, Finland. pp.79-85, ⟨10.1109/RSP.2012.6380694⟩
...
hal-01316503v1  Poster communications
Olivier MullierAlexandre ChapoutotJulien Alexandre Dit Sandretto. Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation
nternational Conference on Algorithmic Differentiation, Sep 2016, Oxford, United Kingdom
hal-01450917v1  Conference papers
Julien Alexandre Dit SandrettoAlexandre 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
...
hal-01583834v1  Conference papers
Adrien BisuttiJulien Alexandre Dit SandrettoAlexandre ChapoutotRémi Delmas. Interval-based QuickXplain Algorithm
10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory, Jun 2017, Manchester, United Kingdom
...
hal-02146655v1  Book sections
Julien Alexandre Dit SandrettoAlexandre Chapoutot. Logical Differential Constraints Based on Interval Boolean Tests
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⟩
...
hal-01583836v1  Conference papers
Elliot BrendelJulien Alexandre Dit SandrettoAlexandre Chapoutot. Robust Motion Planning Based on Sliding Horizon and Validated Simulation
10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory, Jun 2017, Manchester, United Kingdom
hal-01290292v1  Conference papers
Nasrine DamoucheMatthieu MartelAlexandre Chapoutot. Data-Types Optimization for Floating-Point Formats by Program Transformation
Control, Decision and Information Technologies (CoDIT), Apr 2016, Saint Julian's, Malta. ⟨10.1109/CoDIT.2016.7593626⟩