Publications

Publications HAL de Khalil,Ghorbal;Benoît,Caillaud;Albert,Benveniste;Vincent,Acary

2024

Journal articles

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, pp.1-31. ⟨10.1080/10556788.2023.2296438⟩
DOI
DOI : 10.1080/10556788.2023.2296438
Accès au texte intégral et bibtex
https://hal.science/hal-03913568/file/pp-postprint.pdf BibTex

Conference papers

titre
Semi-smooth Newton method for nonassociative plasticity using the bi-potential approach
auteur
Louis Guillet, Vincent Acary, Franck Bourrier, Olivier Goury
article
CSMA 2024 – 16ème Colloque National en Calcul de Structures, CNRS, CSMA, ENS Paris-Saclay, CentraleSupélec, May 2024, Giens, France
Accès au bibtex
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
https://inria.hal.science/hal-04447397/file/hal_version_1.pdf 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
https://inria.hal.science/hal-04444572/file/Q_covering_n3_GHORBAL_KOZAILY.pdf BibTex
titre
What can we learn from 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
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04583058/file/Projet_2A_Energy_dissipiation_HAL.pdf 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
https://inria.hal.science/hal-04230941/file/HAL_version_3.pdf 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
https://hal.science/hal-04039263/file/Smart_Protect_article_revised_Non_highlighted_version.pdf BibTex
titre
Mixed Nondeterministic-Probabilistic Automata
auteur
Albert Benveniste, Jean-Baptiste Raclet
article
Discrete Event Dynamic Systems, 2023, 2023, pp.1-58. ⟨10.1007/s10626-023-00375-x⟩
DOI
DOI : 10.1007/s10626-023-00375-x
Accès au texte intégral et bibtex
https://ut3-toulouseinp.hal.science/hal-04276789/file/HAL_Mixed_Nondeterministic_Probabilistic_Automata____HAL.pdf 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
https://inria.hal.science/hal-03978387/file/article_ABV_r2_black.pdf 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
https://inria.hal.science/hal-04295096/file/ModelicaModularSA.pdf 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
https://inria.hal.science/hal-04361934/file/main.pdf 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
https://hal.science/hal-03540862/file/LZZ_note_merged-7.pdf 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
https://hal.science/hal-03371667/file/note.pdf 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
https://inria.hal.science/hal-03768331/file/electronics-11-02755.pdf 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
https://hal.science/hal-03377906/file/romfnldc_asce.pdf 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
https://hal.science/hal-03155240/file/main_figend_NCC_new.pdf 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, Vietnam. ⟨10.1109/NICS56915.2022⟩
DOI
DOI : 10.1109/NICS56915.2022
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03741048/file/High-accuracy%20computation%20of%20rolling%20friction%20contact%20problems.pdf BibTex

Book sections

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
https://inria.hal.science/hal-03921708/file/main.pdf BibTex
titre
Hypercontracts
auteur
Inigo Incer, Albert Benveniste, Sanjit Seshia, Alberto Sangiovanni-Vincentelli
article
NASA Formal Methods, 13260, Springer International Publishing, pp.674-692, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-06773-0_36⟩
DOI
DOI : 10.1007/978-3-031-06773-0_36
Accès au bibtex
https://arxiv.org/pdf/2106.02449 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
https://inria.hal.science/hal-03761228/file/NGUYEN_poster_SMAI-MODE-2022.pdf 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
https://inria.hal.science/hal-03580636/file/RR-9459.pdf 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
https://inria.hal.science/hal-03531059/file/RR-9447.pdf 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
https://inria.hal.science/hal-03897633/file/QCovering_Ghorbal-Kozaily.pdf 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
https://inria.hal.science/hal-02960923/file/Mojallizadeh_etal_022021.pdf 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
https://inria.hal.science/hal-02382213/file/rolling_paper_without_mark.pdf 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
https://inria.hal.science/hal-03281410/file/Modelica2021_ModeChangEx.pdf 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
https://inria.hal.science/hal-03320499/file/Modelica2021_RIMIS.pdf 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
https://inria.hal.science/hal-03281394/file/Modelica2021_ImpulseAnalysis.pdf 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
https://inria.hal.science/hal-03104030/file/RR-9387.pdf 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
https://inria.hal.science/hal-02439982/file/main.pdf 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
https://inria.hal.science/hal-01622092/file/TAC_R2-2.pdf 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, József Kövecses, 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
https://inria.hal.science/hal-02315547/file/paper_hal.pdf 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
https://inria.hal.science/hal-02879083/file/Demodocos_x_XRaken__Visual_Computer_-4.pdf 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
https://inria.hal.science/hal-03045498/file/JARAP_726%20%281%29.pdf 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
https://hal.science/hal-02971772/file/FDL%202020%20-%20DPAA%20Algebra.pdf 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
https://hal.science/hal-02391311/file/IFAC_WORD_CONGRESS_2020.pdf 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
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
https://inria.hal.science/hal-02545380/file/caillaud_poster.pdf 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
https://inria.hal.science/hal-02985273/file/RR-9372.pdf 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
https://inria.hal.science/hal-02521747/file/RR-9334.pdf 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
https://inria.hal.science/hal-02476541/file/RR-9322.pdf 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
https://inria.hal.science/hal-02512117/file/RR-9333.pdf 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
https://hal.science/hal-02864665/file/main.pdf 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
https://univ-rennes.hal.science/hal-02150192/file/Bracq%2C%20Michinov%20%26%20al.%20%282019%29-NET.pdf 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
https://inria.hal.science/hal-02440880/file/IFToMM2019_paper.pdf 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
https://inria.hal.science/hal-02333603/file/_lncs10k_multimode.pdf 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
https://hal.science/hal-02123682/file/Conf%20IMSH-2019%20V6.pdf 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
https://inria.hal.science/inria-00162911/file/RR-0340-v3.pdf 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
https://inria.hal.science/hal-02381489/file/Research_Report_NSDAE_HAL.pdf 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
https://inria.hal.science/hal-02369112/file/RR-9306.pdf 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
https://inria.hal.science/hal-01879026/file/hybridsyncieee.pdf 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
https://ensta-paris.hal.science/hal-01806133/file/2018_NonsmoothStringHAL.pdf 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
https://hal.science/hal-01676287/file/Art_Dubois_al_Contact_dynamics_method_2018.pdf 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
https://inria.hal.science/hal-01562703/file/3D_Revolute_Joint.pdf 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
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
https://inria.hal.science/hal-01878550/file/1%20BrulsEtal_ENNSDBook2017_SubmittedVersion.pdf 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
https://inria.hal.science/hal-01878539/file/Acary_Bremond_Huber.pdf 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
https://hal.science/hal-01660891/file/James_Acary_Perignon.pdf 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
https://hal.science/hal-01929567/file/SignalAndBeyond_2018_pdf.pdf 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
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
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
https://inria.hal.science/hal-01739845/file/RR-9158.pdf 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
https://inria.hal.science/hal-01549183/file/paper.pdf 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
https://inria.hal.science/hal-01562700/file/paperv6.pdf 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
https://hal.science/hal-01232365/file/safe_zones.pdf 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
https://inria.hal.science/hal-01658196/file/op-semantics_emsoft17.pdf 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
https://hal.science/hal-01232288/file/root.pdf 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
https://inria.hal.science/hal-01658197/file/morerobix.pdf 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
https://hal.science/hal-01657848/file/stationkeeping.pdf 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
https://hal.science/hal-01569841/file/abstractYAL.pdf 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
https://hal.science/hal-01625733/file/NAVABB.pdf 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, Var, France
Accès au texte intégral et bibtex
https://hal.science/hal-01899306/file/acary_bremond_dubois_csma2017_current.pdf 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
https://inria.hal.science/hal-01521918/file/paper-author-version.pdf 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
https://inria.hal.science/hal-01616369/file/Kim.pdf 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
https://inria.hal.science/hal-01630836/file/RR-9118.pdf 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
https://inria.hal.science/hal-01343967/file/techreport.pdf BibTex

Comments are closed.