Publications

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

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

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, 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

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

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

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, Vietnam. ⟨10.1109/NICS56915.2022⟩

DOI

DOI : 10.1109/NICS56915.2022

Accès au texte intégral et 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

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

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, 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

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, Var, 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