Publications

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

2018

Journal articles

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, 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://hal-ensta.archives-ouvertes.fr/hal-01806133/file/2018_NonsmoothStringHAL.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, Springer Verlag, 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://hal.inria.fr/hal-01562703/file/3D_Revolute_Joint.pdf BibTex
titre
The Contact Dynamics method: A nonsmooth story
auteur
Frédéric Dubois, Vincent Acary, Michel Jean
article
Comptes Rendus Mécanique, Elsevier Masson, 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.archives-ouvertes.fr/hal-01676287/file/Art_Dubois_al_Contact_dynamics_method_2018.pdf 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://hal.inria.fr/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, Elsevier, 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://hal.inria.fr/hal-01549183/file/paper.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, Springer Verlag, 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.archives-ouvertes.fr/hal-01232365/file/safe_zones.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, Springer Verlag, 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://hal.inria.fr/hal-01562700/file/paperv6.pdf BibTex
titre
Operational Models for Piecewise-Smooth Systems
auteur
Andrew Sogokon, Khalil Ghorbal, Taylor Johnson
article
ACM Transactions on Embedded Computing Systems (TECS), ACM, 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://hal.inria.fr/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, Elsevier, 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.archives-ouvertes.fr/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
International Journal of Robotics Research, SAGE Publications, 2017, 36 (12), pp.1312–1340. 〈10.1177/0278364917733549〉
DOI
DOI : 10.1177/0278364917733549
Accès au texte intégral et bibtex
https://hal.inria.fr/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
Lukas Bulwahn; Maryam Kamali; Sven Linker. FVAV 2017 – 1st Formal Verification of Autonomous Vehicles Workshop, Sep 2017, Turin, Italy. EPTCS, 257, pp.91–104, 2017, FVAV@iFM 2017. 〈https://sites.google.com/site/fvav2017/〉. 〈10.4204/EPTCS.257.9〉
DOI
DOI : 10.4204/EPTCS.257.9
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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. 2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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. Springer, Computational Kinematics, pp.11-18, 2017, 〈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.archives-ouvertes.fr/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
CSMA 2017 – 13ème Colloque National en Calcul des Structures, May 2017, Presqu’île de Giens (Var), France. pp.8, 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01562706/file/acary_bremond_dubois_csma2017.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, 2017, Apr 2017, Pittsburgh, PA, United States. 2017, 〈http://hscc2017.ece.illinois.edu〉. 〈10.1145/3049797.3049806〉
DOI
DOI : 10.1145/3049797.3049806
Accès au texte intégral et bibtex
https://hal.inria.fr/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://hal.inria.fr/hal-01616369/file/Kim.pdf BibTex
titre
Periodic motions of coupled impact oscillators
auteur
Guillaume James, Vincent Acary, Franck Pérignon
article
Advanced Topics in Nonsmooth Dynamics, Transactions of the European Network for Nonsmooth Dynamics, In press
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01660891/file/James_Acary_Perignon.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://hal.inria.fr/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://hal.inria.fr/hal-01343967/file/techreport.pdf BibTex

Preprints, Working Papers, …

titre
Lyapunov stability analysis of the implicit discrete-time twisting control algorithm
auteur
Olivier Huber, Vincent Acary, Bernard Brogliato
article
2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01622092/file/Huber_etal_double.pdf BibTex

Comments are closed.