Skip to Main content Skip to Navigation
New interface

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-01383584v1  Conference papers
Alexandre ChapoutotJulien Alexandre Dit Sandretto. Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon
International Workshop on Numerical Software Verification, Jul 2016, Toronto, Canada. pp.52-62, ⟨10.1007/978-3-319-54292-8_5⟩
hal-01304292v1  Conference papers
Adrien Le CoentJulien Alexandre Dit SandrettoAlexandre ChapoutotLaurent 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. ⟨10.1109/SNR.2016.7479377⟩
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-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-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-01164340v1  Conference papers
Nasrine DamoucheMatthieu MartelAlexandre Chapoutot. Intra-procedural Optimization of the Numerical Accuracy of Programs
FMICS: Formal Methods for Industrial Critical Systems, Jun 2015, Oslo, Norway. pp.31-46, ⟨10.1007/978-3-319-19458-5_3⟩
hal-00819378v1  Conference papers
Walid TahaPaul BraunerYingfu ZengRobert CartwrightVeronica 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, ⟨10.1109/ICDCSW.2012.72⟩
hal-01272514v1  Book sections
Nasrine DamoucheMatthieu MartelAlexandre Chapoutot. Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods
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⟩
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-00851282v1  Conference papers
Alexandre ChapoutotLaurent-Stéphane DidierFanny 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
hal-01297273v1  Conference papers
Julien Alexandre Dit SandrettoAlexandre Chapoutot. DynBEX: a Differential Constraint Library for Studying Dynamical Systems
Conference on Hybrid Systems: Computation and Control (HSCC 2016), Apr 2016, Vienne, Austria
hal-03035228v1  Conference papers
Adrien Le CoentJulien Alexandre Dit SandrettoAlexandre Chapoutot. Cosimulation-based control synthesis
Workshop on Formal Co-Simulation of Cyber-Physical Systems, Sep 2020, Amsterdam, Netherlands. ⟨10.1007/978-3-030-67220-1_24⟩
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-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-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-01164474v1  Conference papers
Julien Alexandre Dit SandrettoAlexandre Chapoutot. Validated Simulation of Differential Algebraic Equations
Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
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⟩