Publications HAL du labo/EPI Hycomes
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, Institute of Electrical and Electronics Engineers, 2018, Design Automation for Cyber-Physical Systems, 106 (9), pp.1568 - 1592. 〈https://ieeexplore.ieee.org/document/8466987/〉. 〈10.1109/JPROC.2018.2858016〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01879026/file/hybridsyncieee.pdf BibTex
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
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〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01232365/file/safe_zones.pdf BibTex