Publications HAL du labo/EPI Hycomes
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〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01549183/file/paper.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〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01658196/file/op-semantics_emsoft17.pdf BibTex
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〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01657848/file/stationkeeping.pdf BibTex