2025
Journal articles
- titre
- On the simulation-based quantification of energy dissipation in rockfall protection structures: Case of an articulated wall modelled with the NSCD method
- auteur
- Stéphane Lambert, Ritesh Gupta, Franck Bourrier, Vincent Acary
- article
- Rock Mechanics and Rock Engineering, 2025, 58 (2), pp.1957-1973. ⟨10.1007/s00603-024-04222-9⟩
- DOI
- DOI : 10.1007/s00603-024-04222-9
- Accès au texte intégral et bibtex
-
Reports
- titre
- AEx-GRANIER: Global Sensitivity Analysis of Rockfall Trajectory
- auteur
- Ritesh Gupta, Emilie Rouzies, Franck Bourrier, Vincent Acary
- article
- Inria Grenoble Rhône-Alpes; IGE – Institut des Géosciences de l’Environnement. 2025
- Accès au texte intégral et bibtex
-
2024
Journal articles
- titre
- Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design
- auteur
- Inigo Incer, Apurva Badithela, Josefine B Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Nicolas Rouquette, Sheng-Jung Yu, Albert Benveniste, Benoit Caillaud, Richard M Murray, Alberto Sangiovanni-Vincentelli, Sanjit A Seshia
- article
- ACM Transactions on Cyber-Physical Systems, 2024, pp.1-33. ⟨10.1145/3704736⟩
- DOI
- DOI : 10.1145/3704736
- Accès au texte intégral et bibtex
-
- titre
- Second order cone programming for frictional contact mechanics using interior point algorithm
- auteur
- Vincent Acary, Paul Armand, Hoang Minh Nguyen, Maksym Shpakovych
- article
- Optimization Methods and Software, 2024, Special issue honoring Oleg Burdakov, 39 (3), pp.634-663. ⟨10.1080/10556788.2023.2296438⟩
- DOI
- DOI : 10.1080/10556788.2023.2296438
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Automated Reasoning For The Existence Of Darboux Polynomials
- auteur
- Khalil Ghorbal, Maxime Bridoux
- article
- ISSAC 2024 – International Symposium on Symbolic and Algebraic Computation, Jul 2024, Raleigh, NC, United States. pp.324-333, ⟨10.1145/3666000.3669705⟩
- DOI
- DOI : 10.1145/3666000.3669705
- Accès au texte intégral et bibtex
-
- titre
- Fault Diagnosability Analysis of Multi-Mode Systems
- auteur
- Fatemeh Hashemniya, Benoît Caillaud, Erik Frisk, Mattias Krysander, Mathias Malandain
- article
- SAFEPROCESS 2024 – 12th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, IFAC, Jun 2024, Ferrara, Italy. pp.210-215, ⟨10.1016/j.ifacol.2024.07.219⟩
- DOI
- DOI : 10.1016/j.ifacol.2024.07.219
- Accès au texte intégral et bibtex
-
- titre
- Semi-smooth Newton method for nonassociative plasticity using the bi-potential approach
- auteur
- Louis Guillet, Vincent Acary, Franck Bourrier, Olivier Goury
- article
- 16ème Colloque National en Calcul de Structures (CSMA 2024), CNRS; CSMA; ENS Paris-Saclay; CentraleSupélec, May 2024, Hyères, France
- Accès au texte intégral et bibtex
-
Other publications
- titre
- Review of “On the Moreau-Jean scheme with the Frémond impact law: energy conservation and dissipation properties for elastodynamics with contact, impact and friction
- auteur
- Vincent Acary, Nicholas Anton Collins-Craft
- article
- 2024
- Accès au bibtex
-
Preprints, Working Papers, …
- titre
- On the formulation and implementation of mixed mode I and mode II extrinsic cohesive zone models with contact and friction
- auteur
- Nicholas Anton Collins-Craft, Franck Bourrier, Vincent Acary
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- On Covering Euclidean Spaces with Q-arrangements of Cones
- auteur
- Khalil Ghorbal, Christelle Kozaily
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- On the Moreau–Jean scheme with the Frémond impact law: energy conservation and dissipation properties for elastodynamics with contact, impact and friction
- auteur
- Vincent Acary, Nicholas Anton Collins-Craft
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- A Mathematica Package for Certifying the Nonexistence of Darboux Polynomials
- auteur
- Maxime Bridoux, Khalil Ghorbal
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Some Algebraic Aspects of Assume-Guarantee Reasoning
- auteur
- Inigo Incer, Albert Benveniste, Alberto Sangiovanni-Vincentelli
- article
- 2024
- DOI
- DOI : 10.48550/arXiv.2309.08875
- Accès au texte intégral et bibtex
-
2023
Journal articles
- titre
- Bayesian interface based calibration of a novel rockfall protection structure modelled in the Non-smooth contact dynamics framework
- auteur
- Ritesh Gupta, Franck Bourrier, Vincent Acary, Stéphane Lambert
- article
- Engineering Structures, 2023, 297, pp.116936. ⟨10.1016/j.engstruct.2023.116936⟩
- DOI
- DOI : 10.1016/j.engstruct.2023.116936
- Accès au texte intégral et bibtex
-
- titre
- Mixed Nondeterministic-Probabilistic Automata
- auteur
- Albert Benveniste, Jean-Baptiste Raclet
- article
- Discrete Event Dynamic Systems, 2023, 33 (4), pp.455-505. ⟨10.1007/s10626-023-00375-x⟩
- DOI
- DOI : 10.1007/s10626-023-00375-x
- Accès au texte intégral et bibtex
-
- titre
- Variational approach for nonsmooth elasto-plastic dynamics with contact and impacts
- auteur
- Vincent Acary, Franck Bourrier, Benoit Viano
- article
- Computer Methods in Applied Mechanics and Engineering, 2023, 414, pp.116156. ⟨10.1016/j.cma.2023.116156⟩
- DOI
- DOI : 10.1016/j.cma.2023.116156
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Towards the separate compilation of Modelica: modularity and interfaces for the index reduction of incomplete DAE systems
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain, Joan Thibault
- article
- Modelica 2023 – 15th International Modelica Conference, Oct 2023, Aachen, Germany. pp.10, ⟨10.3384/ecp204⟩
- DOI
- DOI : 10.3384/ecp204
- Accès au texte intégral et bibtex
-
- titre
- A non-smooth cohesive zone model for rock fracture and contact
- auteur
- Nicholas Collins-Craft, Franck Bourrier, Johan Gaume, Vincent Acary
- article
- EGU General Assembly 2023, European Geophysical Union, Apr 2023, Vienna, Austria. ⟨10.5194/egusphere-egu23-13950⟩
- DOI
- DOI : 10.5194/egusphere-egu23-13950
- Accès au bibtex
-
Preprints, Working Papers, …
- titre
- Fault Diagnosability Analysis of Multi-Mode Systems
- auteur
- Fatemeh Hashemniya, Benoît Caillaud, Erik Frisk, Mattias Krysander, Mathias Malandain
- article
- 2023
- DOI
- DOI : 10.48550/arXiv.2312.14030
- Accès au texte intégral et bibtex
-
- titre
- Context-Aided Variable Elimination for Requirement Engineering
- auteur
- Inigo Incer, Albert Benveniste, Richard M Murray, Alberto Sangiovanni-Vincentelli, Sanjit A Seshia
- article
- 2023
- DOI
- DOI : 10.48550/arXiv.2305.17596
- Accès au texte intégral et bibtex
-
2022
Journal articles
- titre
- Characterizing Positively Invariant Sets: Inductive and Topological Methods
- auteur
- Khalil Ghorbal, Andrew Sogokon
- article
- Journal of Symbolic Computation, 2022
- Accès au texte intégral et bibtex
-
- titre
- On the formulation and implementation of extrinsic cohesive zone models with contact
- auteur
- Nicholas Anton Collins-Craft, Franck Bourrier, Vincent Acary
- article
- Computer Methods in Applied Mechanics and Engineering, 2022, 400, pp.115545. ⟨10.1016/j.cma.2022.115545⟩
- DOI
- DOI : 10.1016/j.cma.2022.115545
- Accès au texte intégral et bibtex
-
- titre
- Algorithms for the Structural Analysis of Multimode Modelica Models
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain, Joan Thibault
- article
- Electronics, 2022, 11 (17), pp.1-63. ⟨10.3390/electronics11172755⟩
- DOI
- DOI : 10.3390/electronics11172755
- Accès au texte intégral et bibtex
-
- titre
- Reduced-order model for the non-linear dynamics of cables
- auteur
- Charlélie Bertrand, Alireza Ture Savadkoohi, Vincent Acary, Claude-Henri Lamarque
- article
- Journal of Engineering Mechanics – ASCE, 2022, 148 (9), ⟨10.1061/(ASCE)EM.1943-7889.0002126⟩
- DOI
- DOI : 10.1061/(ASCE)EM.1943-7889.0002126
- Accès au texte intégral et bibtex
-
- titre
- Predictive capabilities of 2D and 3D block propagation models integrating block shape assessed from field experiments
- auteur
- Franck Bourrier, Vincent Acary
- article
- Rock Mechanics and Rock Engineering, 2022, 55 (2), pp.591-609. ⟨10.1007/s00603-021-02696-5⟩
- DOI
- DOI : 10.1007/s00603-021-02696-5
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- High-accuracy computation of rolling friction contact problems
- auteur
- Vincent Acary, Paul Armand, Hoang Minh Nguyen
- article
- 9th NAFOSTED Conference on Information and Computer Science (NICS), Oct 2022, Ho Chi Minh City, Vietnam. ⟨10.1109/NICS56915.2022⟩
- DOI
- DOI : 10.1109/NICS56915.2022
- Accès au texte intégral et bibtex
-
- titre
- Equilibrium of a non-compressible cable subjected to unilateral constraints
- auteur
- Charlélie Bertrand, Vincent Acary, Claude Henri Lamarque, Alireza Ture Savadkoohi
- article
- 10th European Nonlinear Dynamics Conference (ENOC 2022), Jul 2022, Lyon, France
- Accès au texte intégral et bibtex
-
Book sections
- titre
- From Interface Automata to Hypercontracts
- auteur
- Inigo Incer, Albert Benveniste, Alberto Sangiovanni-Vincentelli, Sanjit Seshia
- article
- Principles of Systems Design, 13660, Springer Nature Switzerland, pp.477-493, 2022, Lecture Notes in Computer Science, 978-3-031-22337-2. ⟨10.1007/978-3-031-22337-2_23⟩
- DOI
- DOI : 10.1007/978-3-031-22337-2_23
- Accès au bibtex
-
- titre
- From Hybrid Automata to DAE-Based Modeling
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain
- article
- Principles of Systems Design, 13660, Springer Nature Switzerland, pp.3-20, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-22337-2_1⟩
- DOI
- DOI : 10.1007/978-3-031-22337-2_1
- Accès au texte intégral et bibtex
-
- titre
- Hypercontracts
- auteur
- Inigo Incer, Albert Benveniste, Alberto Sangiovanni-Vincentelli, Sanjit Seshia
- article
- NASA Formal Methods, 13260, Springer International Publishing, pp.674-692, 2022, Lecture Notes in Computer Science, 978-3-031-06773-0. ⟨10.1007/978-3-031-06773-0_36⟩
- DOI
- DOI : 10.1007/978-3-031-06773-0_36
- Accès au bibtex
-
Poster communications
- titre
- Second-order cone programming for rolling friction contact mechanics
- auteur
- Minh-Hoang Nguyen, Vincent Acary, Paul Armand
- article
- SMAI MODE 2022 – Journées du groupe MODE de la Société de Mathématiques Appliquées et Industrielles, May 2022, Limoges, France. pp.1-1
- Accès au texte intégral et bibtex
-
Reports
- titre
- Exact Structural Analysis of Multimode Modelica Models: Towards the Generation of Correct Simulation Code
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain
- article
- [Research Report] RR-9459, Inria Rennes – Bretagne Atlantique. 2022, pp.1-46
- Accès au texte intégral et bibtex
-
- titre
- Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism
- auteur
- Albert Benveniste, Jean-Baptiste Raclet
- article
- [Research Report] RR-9447, Inria Rennes – Bretagne Atlantique. 2022, pp.1-52
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, …
- titre
- On Covering Smooth Manifolds with a Q-arrangement of Simplicies: An inductive Characterization of Q-matrices
- auteur
- Khalil Ghorbal, Christelle Kozaily
- article
- 2022
- Accès au texte intégral et bibtex
-
2021
Journal articles
- titre
- Discrete-time differentiators: design and comparative analysis
- auteur
- Mohammad Rasool Mojallizadeh, Bernard Brogliato, Vincent Acary
- article
- International Journal of Robust and Nonlinear Control, 2021, 31 (16), pp.7679-7723. ⟨10.1002/rnc.5710⟩
- DOI
- DOI : 10.1002/rnc.5710
- Accès au texte intégral et bibtex
-
- titre
- Coulomb friction with rolling resistance as a cone complementarity problem
- auteur
- Vincent Acary, Franck Bourrier
- article
- European Journal of Mechanics – A/Solids, 2021, 85, pp.1-12. ⟨10.1016/j.euromechsol.2020.104046⟩
- DOI
- DOI : 10.1016/j.euromechsol.2020.104046
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Handling Multimode Models and Mode Changes in Modelica
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain
- article
- Modelica 2021 – 14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11, ⟨10.3384/ecp21181507⟩
- DOI
- DOI : 10.3384/ecp21181507
- Accès au texte intégral et bibtex
-
- titre
- A Reduced Index Mode-Independent Structure Model Transformation for Multimode Modelica Models
- auteur
- Benoît Caillaud, Mathias Malandain, Albert Benveniste
- article
- MODELICA 2021 – 14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11
- Accès au texte intégral et bibtex
-
- titre
- Compile-Time Impulse Analysis in Modelica
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain
- article
- MODELICA 2021 – 14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11
- Accès au texte intégral et bibtex
-
Reports
- titre
- Structural Analysis of Multimode DAE Systems: summary of results
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain
- article
- [Research Report] RR-9387, Inria Rennes – Bretagne Atlantique. 2021, pp.27
- Accès au texte intégral et bibtex
-
2020
Journal articles
- titre
- A robust and efficient numerical finite element method for cables
- auteur
- Charlélie Bertrand, Vincent Acary, Claude-Henri Lamarque, Alireza Ture Savadkoohi
- article
- International Journal for Numerical Methods in Engineering, 2020, 121 (18), pp.4157-4186. ⟨10.1002/nme.6435⟩
- DOI
- DOI : 10.1002/nme.6435
- Accès au texte intégral et bibtex
-
- titre
- Lyapunov stability analysis of the implicit discrete-time twisting control algorithm
- auteur
- Olivier Huber, Vincent Acary, Bernard Brogliato
- article
- IEEE Transactions on Automatic Control, 2020, 65 (6), pp.2619-2626. ⟨10.1109/TAC.2019.2940323⟩
- DOI
- DOI : 10.1109/TAC.2019.2940323
- Accès au texte intégral et bibtex
-
- titre
- The contact problem in Lagrangian systems with redundant frictional bilateral and unilateral constraints and singular mass matrix. The all-sticking contacts problem
- auteur
- Bernard Brogliato, Jozsef Kovecses, Vincent Acary
- article
- Multibody System Dynamics, 2020, 48 (2), pp.151-192. ⟨10.1007/s11044-019-09712-1⟩
- DOI
- DOI : 10.1007/s11044-019-09712-1
- Accès au texte intégral et bibtex
-
- titre
- Unveiling the implicit knowledge, one scenario at a time
- auteur
- Flavien Lécuyer, Valérie Gouranton, Aurélien Lamercerie, Adrien Reuzeau, Bruno Arnaldi, Benoît Caillaud
- article
- The Visual Computer, 2020, pp.1-12. ⟨10.1007/s00371-020-01904-7⟩
- DOI
- DOI : 10.1007/s00371-020-01904-7
- Accès au texte intégral et bibtex
-
- titre
- The mathematical foundations of physical systems modeling languages
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain
- article
- Annual Reviews in Control, 2020, 50, pp.72-118. ⟨10.1016/j.arcontrol.2020.08.001⟩
- DOI
- DOI : 10.1016/j.arcontrol.2020.08.001
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- An Algebra of Deterministic Propositional Acceptance Automata (DPAA)
- auteur
- Aurélien Lamercerie, Benoît Caillaud
- article
- FDL 2020 – Forum on specification & Design Languages, Sep 2020, Kiel, Germany. pp.1-8
- Accès au texte intégral et bibtex
-
- titre
- Index-2 hybrid DAE: a case study with well-posedness and numerical analysis
- auteur
- Alexandre Rocca, Vincent Acary, Bernard Brogliato
- article
- IFAC World Congress 2020, Jul 2020, Berlin, Germany
- Accès au texte intégral et bibtex
-
- titre
- Implicit structural analysis of multimode DAE systems
- auteur
- Benoît Caillaud, Mathias Malandain, Joan Thibault
- article
- HSCC 2020 – 23rd ACM International Conference on Hybrid Systems: Computation and Control, Apr 2020, Sydney New South Wales Australia, France. pp.1-11, ⟨10.1145/3365365.3382201⟩
- DOI
- DOI : 10.1145/3365365.3382201
- Accès au bibtex
-
Poster communications
- titre
- Demo: IsamDAE, an Implicit Structural Analysis Tool for Multimode DAE Systems
- auteur
- Benoit Caillaud, Mathias Malandain, Joan Thibault
- article
- HSCC 2020 – 23rd ACM International Conference on Hybrid Systems: Computation and Control, Apr 2020, Sydney, Australia. pp.1
- Accès au texte intégral et bibtex
-
Reports
- titre
- Mixed Nondeterministic-Probabilistic Interfaces
- auteur
- Albert Benveniste, Kim G Larsen, Jean-Baptiste Raclet
- article
- [Research Report] RR-9372, Inria Rennes Bretagne Atlantique; Aalborg University; Université de Toulouse 3 Paul Sabatier. 2020, pp.40
- Accès au texte intégral et bibtex
-
- titre
- The Mathematical Foundations of Physical Systems Modeling Languages
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain
- article
- [Research Report] RR-9334, Inria. 2020, pp.112
- Accès au texte intégral et bibtex
-
- titre
- Implicit Structural Analysis of Multimode DAE Systems
- auteur
- Benoît Caillaud, Mathias Malandain, Joan Thibault
- article
- [Research Report] RR-9322, Inria Rennes – Bretagne Atlantique; IRISA, Université de Rennes. 2020
- Accès au texte intégral et bibtex
-
- titre
- Ordered Functional Decision Diagrams
- auteur
- Joan Thibault, Khalil Ghorbal
- article
- [Research Report] RR-9333, Inria. 2020
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, …
- titre
- A local damage model of concrete structures by a variational approach including tension and compression mechanisms
- auteur
- Céline Acary-Robert, Vincent Acary
- article
- 2020
- Accès au texte intégral et bibtex
-
2019
Journal articles
- titre
- Learning procedural skills with a virtual reality simulator An acceptability study
- auteur
- Marie-Stéphanie Bracq, Estelle Michinov, Bruno Arnaldi, Benoît Caillaud, Bernard Gibaud, Valérie Gouranton, Pierre Jannin
- article
- Nurse Education Today, 2019, 79, pp.153-160. ⟨10.1016/j.nedt.2019.05.026⟩
- DOI
- DOI : 10.1016/j.nedt.2019.05.026
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Influence of imperfect joints and geometrical tolerances on a circuit breaker dynamics
- auteur
- Narendra Akhadkar, Vincent Acary, Bernard Brogliato
- article
- IFToMM WC 2019: Advances in Mechanism and Machine Science, Jun 2019, Krakow, Poland. pp.3069-3078, ⟨10.1007/978-3-030-20131-9_302⟩
- DOI
- DOI : 10.1007/978-3-030-20131-9_302
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Multi-Mode DAE Models – Challenges, Theory and Implementation
- auteur
- Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet
- article
- Computing and Software Science: State of the Art and Perspectives, LNCS-10000, Springer, pp.283-310, 2019, Lecture Notes in Computer Science, 978-3-319-91907-2. ⟨10.1007/978-3-319-91908-9_16⟩
- DOI
- DOI : 10.1007/978-3-319-91908-9_16
- Accès au texte intégral et bibtex
-
Poster communications
- titre
- Modeling, Simulation and Training Procedural Skills: User experience and acceptability of a virtual reality simulator for scrub nurses in neurosurgery
- auteur
- Marie-Stéphanie Bracq, Estelle Michinov, Bruno Arnaldi, Alexandre Audinot, Benoît Caillaud, Bernard Gibaud, Valérie Gouranton, Pierre-Louis Henaux, Aurélien Lamercerie, Béatrice Nogues, Pierre Jannin
- article
- 19th International Meeting on Simulation in Healthcare (IMSH), Jan 2019, San Antonio, TX, United States. 36, pp.1, 2019
- Accès au texte intégral et bibtex
-
Reports
- titre
- An introduction to Siconos
- auteur
- Vincent Acary, Olivier Bonnefon, Maurice Brémond, Olivier Huber, Franck Pérignon, Stephen Sinclair
- article
- [Technical Report] RT-0340, INRIA. 2019, pp.97
- Accès au texte intégral et bibtex
-
- titre
- Index-2 hybrid DAE: a case study with well-posedness and numerical analysis
- auteur
- Alexandre Rocca, Vincent Acary, Bernard Brogliato
- article
- [Research Report] Inria – Research Centre Grenoble – Rhône-Alpes. 2019
- Accès au texte intégral et bibtex
-
- titre
- Functional Decision Diagrams: A Unifying Data Structure For Binary Decision Diagrams
- auteur
- Joan Thibault, Khalil Ghorbal
- article
- [Research Report] RR-9306, INRIA Rennes – Bretagne Atlantique and University of Rennes 1, France. 2019
- Accès au texte intégral et bibtex
-
2018
Journal articles
- titre
- Building a Hybrid Systems Modeler on Synchronous Languages Principles
- auteur
- Albert Benveniste, Timothy Bourke, Benoit Caillaud, Jean-Louis Colaço, Cédric Pasteur, Marc Pouzet
- article
- Proceedings of the IEEE, 2018, Design Automation for Cyber-Physical Systems, 106 (9), pp.1568 – 1592. ⟨10.1109/JPROC.2018.2858016⟩
- DOI
- DOI : 10.1109/JPROC.2018.2858016
- Accès au texte intégral et bibtex
-
- titre
- Nonsmooth contact dynamics for the numerical simulation of collisions in musical string instruments
- auteur
- Clara Issanchou, Vincent Acary, Franck Pérignon, Cyril Touzé, Jean-Loic Le Carrou
- article
- Journal of the Acoustical Society of America, 2018, 143 (5), pp.1-13. ⟨10.1121/1.5039740⟩
- DOI
- DOI : 10.1121/1.5039740
- Accès au texte intégral et bibtex
-
- titre
- The Contact Dynamics method: A nonsmooth story
- auteur
- Frédéric Dubois, Vincent Acary, Michel Jean
- article
- Comptes Rendus Mécanique, 2018, 346 (3), pp.247-262. ⟨10.1016/j.crme.2017.12.009⟩
- DOI
- DOI : 10.1016/j.crme.2017.12.009
- Accès au texte intégral et bibtex
-
- titre
- Multibody systems with 3D revolute joints with clearances: an industrial case study with an experimental validation
- auteur
- Narendra Akhadkar, Vincent Acary, Bernard Brogliato
- article
- Multibody System Dynamics, 2018, 42 (3), pp.249-282. ⟨10.1007/s11044-017-9584-5⟩
- DOI
- DOI : 10.1007/s11044-017-9584-5
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Vector Barrier Certificates and Comparison Systems
- auteur
- Andrew T Sogokon, Khalil Ghorbal, Yong Kiam Tan, André Platzer
- article
- FM 2018 – 22nd International Symposium on Formal Methods, Jul 2018, Oxford, United Kingdom. pp.418-437, ⟨10.1007/978-3-319-95582-7_25⟩
- DOI
- DOI : 10.1007/978-3-319-95582-7_25
- Accès au bibtex
-
Book sections
- titre
- On the Constraints Formulation in the Nonsmooth Generalized-α Method
- auteur
- Olivier Brüls, Vincent Acary, Alberto Cardona
- article
- Springer International Publishing. Advanced Topics in Nonsmooth Dynamics. Transactions of the European Network for Nonsmooth Dynamics, pp.335-374, 2018, 9783319759715. ⟨10.1007/978-3-319-75972-2_9⟩
- DOI
- DOI : 10.1007/978-3-319-75972-2_9
- Accès au texte intégral et bibtex
-
- titre
- On solving contact problems with Coulomb friction: formulations and numerical comparisons
- auteur
- Vincent Acary, Maurice Brémond, Olivier Huber
- article
- Springer International Publishing. Advanced Topics in Nonsmooth Dynamics – Transactions of the European Network for Nonsmooth Dynamics, pp.375-457, 2018, 9783319759715. ⟨10.1007/978-3-319-75972-2_10⟩
- DOI
- DOI : 10.1007/978-3-319-75972-2_10
- Accès au texte intégral et bibtex
-
- titre
- Periodic motions of coupled impact oscillators
- auteur
- Guillaume James, Vincent Acary, Franck Pérignon
- article
- Remco Leine; Vincent Acary; Olivier Brüls. Advanced Topics in Nonsmooth Dynamics, Transactions of the European Network for Nonsmooth Dynamics, Springer International Publishing, pp.93-134, 2018, 978-3-319-75971-5. ⟨10.1007/978-3-319-75972-2_3⟩
- DOI
- DOI : 10.1007/978-3-319-75972-2_3
- Accès au texte intégral et bibtex
-
Lectures
- titre
- The Signal synchronous language: the principles beyond the language and how to exploit and extend them
- auteur
- Albert Benveniste, Thierry Gautier
- article
- École thématique. France. 2018, pp.1-68
- Accès au texte intégral et bibtex
-
Books
- titre
- Contracts for System Design
- auteur
- Albert Benveniste, Benoit Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Albert Sangiovanni-Vincentelli, Werner Damm, Thomas Henzinger, Kim G. Larsen
- article
- Now Publishers, 12 (2-3), pp.124-400, 2018, Foundations and Trends® in Electronic Design Automation, 978-1-68083-402-4. ⟨10.1561/1000000053⟩
- DOI
- DOI : 10.1561/1000000053
- Accès au bibtex
-
- titre
- Advanced Topics in Nonsmooth Dynamics
- auteur
- Remco Leine, Vincent Acary, Olivier Brüls
- article
- 2018, ⟨10.1007/978-3-319-75972-2⟩
- DOI
- DOI : 10.1007/978-3-319-75972-2
- Accès au bibtex
-
Reports
- titre
- Competencies mining with LookinLabs
- auteur
- William Dedzoe, Jean Hany, Albert Benveniste
- article
- [Research Report] RR-9158, Inria Rennes Bretagne Atlantique. 2018, pp.1-27
- Accès au texte intégral et bibtex
-
2017
Journal articles
- titre
- A Type-based Analysis of Causality Loops in Hybrid Systems Modelers
- auteur
- Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet
- article
- Nonlinear Analysis: Hybrid Systems, 2017, 26, pp.168-189. ⟨10.1016/j.nahs.2017.04.004⟩
- DOI
- DOI : 10.1016/j.nahs.2017.04.004
- Accès au texte intégral et bibtex
-
- titre
- Comparison of several formulations and integration methods for the resolution of DAEs formulations in event-driven simulation of nonsmooth frictionless multibody dynamics
- auteur
- Mounia Haddouni, Vincent Acary, Stéphane Garreau, Jean-Daniel Beley, Bernard Brogliato
- article
- Multibody System Dynamics, 2017, 41 (3), pp.201-231. ⟨10.1007/s11044-017-9570-y⟩
- DOI
- DOI : 10.1007/s11044-017-9570-y
- Accès au texte intégral et bibtex
-
- titre
- A Formally Verified Hybrid System for Safe Advisories in the Next-Generation Airborne Collision Avoidance System
- auteur
- Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Aurora Schmidt, Ryan Gardner, Stefan Mitsch, André Platzer
- article
- International Journal on Software Tools for Technology Transfer, 2017, 19 (6), pp.717-741. ⟨10.1007/s10009-016-0434-1⟩
- DOI
- DOI : 10.1007/s10009-016-0434-1
- Accès au texte intégral et bibtex
-
- titre
- Operational Models for Piecewise-Smooth Systems
- auteur
- Andrew Sogokon, Khalil Ghorbal, Taylor T Johnson
- article
- ACM Transactions on Embedded Computing Systems (TECS), 2017, 16 (5s), pp.185:1–185:19. ⟨10.1145/3126506⟩
- DOI
- DOI : 10.1145/3126506
- Accès au texte intégral et bibtex
-
- titre
- A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets
- auteur
- Khalil Ghorbal, Andrew Sogokon, André Platzer
- article
- Computer Languages, Systems and Structures, 2017, Special issue on the 16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2015), 47 (1), pp.19-43. ⟨10.1016/j.cl.2015.11.003⟩
- DOI
- DOI : 10.1016/j.cl.2015.11.003
- Accès au texte intégral et bibtex
-
- titre
- Formal verification of obstacle avoidance and navigation of ground robots
- auteur
- Stefan Mitsch, Khalil Ghorbal, David Vogelbacher, André Platzer
- article
- The International Journal of Robotics Research, 2017, 36 (12), pp.1312–1340. ⟨10.1177/0278364917733549⟩
- DOI
- DOI : 10.1177/0278364917733549
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System
- auteur
- Benjamin Martin, Khalil Ghorbal, Eric Goubault, Sylvie Putot
- article
- FVAV 2017 – 1st Formal Verification of Autonomous Vehicles Workshop, Sep 2017, Turin, Italy. pp.91–104, ⟨10.4204/EPTCS.257.9⟩
- DOI
- DOI : 10.4204/EPTCS.257.9
- Accès au texte intégral et bibtex
-
- titre
- Modification of Moreau-Jean’s Scheme for Energy Conservation in Inelastic Impact Dynamics
- auteur
- Carlos Yoong, Vincent Acary, Mathias Legrand
- article
- 9th European Nonlinear Dynamics Conference, Jun 2017, Budapest, Hungary
- Accès au texte intégral et bibtex
-
- titre
- 3D Revolute Joint with Clearance in Multibody Systems
- auteur
- Narendra Akhadkar, Vincent Acary, Bernard Brogliato
- article
- CK 2017 – 7th International Workshop on Computational Kinematics, May 2017, Poitiers, France. pp.11-18, ⟨10.1007/978-3-319-60867-9_2⟩
- DOI
- DOI : 10.1007/978-3-319-60867-9_2
- Accès au texte intégral et bibtex
-
- titre
- Méthodes de Newton non–lisses pour les problèmes de contact frottant dans les systèmes de multi–corps flexibles
- auteur
- Vincent Acary, Maurice Brémond, Frédéric Dubois
- article
- 13e colloque national en calcul des structures, Université Paris-Saclay, May 2017, Giens, France
- Accès au texte intégral et bibtex
-
- titre
- Structural Analysis of Multi-Mode DAE Systems
- auteur
- Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet
- article
- Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2017, Apr 2017, Pittsburgh, PA, United States. ⟨10.1145/3049797.3049806⟩
- DOI
- DOI : 10.1145/3049797.3049806
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Synchronous Interfaces and Assume/Guarantee Contracts
- auteur
- Albert Benveniste, Benoît Caillaud
- article
- Luca Aceto; Giorgio Bacci; Giovanni Bacci; Anna Ingólfsdóttir; Radu Mardare. Models, Algorithms, Logics and Tools – Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, 10460, Springer, pp.233-248, 2017, Theoretical Computer Science and General Issues, 978-3-319-63121-9. ⟨10.1007/978-3-319-63121-9_12⟩
- DOI
- DOI : 10.1007/978-3-319-63121-9_12
- Accès au texte intégral et bibtex
-
Reports
- titre
- On solving contact problems with Coulomb friction: formulations and numerical comparisons
- auteur
- Vincent Acary, Maurice Brémond, Olivier Huber
- article
- [Research Report] RR-9118, INRIA. 2017, pp.224
- Accès au texte intégral et bibtex
-
- titre
- Structural Analysis of Multi-Mode DAE Systems
- auteur
- Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet
- article
- [Research Report] RR-8933, Inria. 2017, pp.1-23
- Accès au texte intégral et bibtex
-