Výsledky vyhledávání - "Félix Ingrand"

A formal toolchain for offline and run-time verification of robotic systems

Autor: Silvano Dal Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet

Publikováno v: Robotics and Autonomous Systems
Robotics and Autonomous Systems, 2023, 159, pp.104301. ⟨10.1016/j.robot.2022.104301⟩

International audience; Validation and Verification (V&V) of autonomous robotic system software is becoming a critical issue. Among the V&V techniques at our disposal, formal approaches are among the most rigorous and trustworthy ones. Yet, the level

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::55fdd73c51783fab933e840e21cf967a
https://hal.laas.fr/hal-03683044

Zobrazit plný text záznamu

Hippo: A Formal-Model Execution Engine to Control and Verify Critical Real-Time Systems

Autor: Pierre-Emmanuel Hladik, Reyyan Tekin, Silvano Dal Zilio, Félix Ingrand

Publikováno v: Journal of Systems and Software
Journal of Systems and Software, Elsevier, In press
Journal of Systems and Software, 2021, 181, pp.111033. ⟨10.1016/j.jss.2021.111033⟩
Journal of Systems and Software, Elsevier, 2021, 181, pp.111033. ⟨10.1016/j.jss.2021.111033⟩

International audience; The design of embedded real-time systems requires specific toolchains to guarantee time constraints and safe behavior. These tools need to be managed in a coherent way all along the design process and need to address timing co

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8e6f012f1fa5d7aa067ab8848a5c7d60
https://hal.laas.fr/hal-03017661v3/file/main_jss.pdf

Zobrazit plný text záznamu

Verification of Autonomous Robots: A Roboticist’s Bottom-Up Approach

Autor: Félix Ingrand

Publikováno v: RoboSoft: Software engineering for robotics
RoboSoft: Software engineering for robotics, In press
Software engineering for robotics
Software engineering for robotics, Springer, pp.219-248, 2021, 978-3-030-66493-0. ⟨10.1007/978-3-030-66494-7_8⟩
Software Engineering for Robotics ISBN: 9783030664930

International audience; Autonomous robots may be one day allowed to fly or to drive around in large numbers, but this will require their makers and programmers to show that the most critical parts of their software are robust and reliable. Moreover,

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c22c985670a652cd5064b1caac95bb35
https://hal.laas.fr/hal-02927311

Zobrazit plný text záznamu

Runtime Verification of Timed Properties in Autonomous Robots

Autor: Saddek Bensalem, Mohammed Foughali, Jacques Combaz, Félix Ingrand

Publikováno v: 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), ACM/IEEE, Dec 2020, Jaipur (virtual), India. ⟨10.1109/MEMOCODE51338.2020.9315156⟩
MEMOCODE

International audience; Throughout the last few decades, researchers and practitioners are showing more and more interest in using formal methods in order to predict and prevent software failures in robotic and autonomous systems. However, the applic

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3009f6f483332a6727699350493ebcf5
https://hal.science/hal-03093298

Zobrazit plný text záznamu

Robotics and Artificial Intelligence

Autor: Félix Ingrand, Malik Ghallab

Publikováno v: A Guided Tour of Artificial Intelligence Research ISBN: 9783030061692

Robotics is an interdisciplinary research field leveraging on control theory, mechanical engineering, electronic engineering and computer science. It aims at designing machines able to perceive, move around and interact with their environment in orde

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::8997a7d76fa0d6d9cf4dc673e1f3e68e
https://doi.org/10.1007/978-3-030-06170-8_12

Zobrazit plný text záznamu

Statistical Model Checking of Complex Robotic Systems

Autor: Cristina Seceleanu, Mohammed Foughali, Félix Ingrand

Publikováno v: 26th International SPIN Symposium on Model Checking of Software
26th International SPIN Symposium on Model Checking of Software, Jul 2019, Beijing, China
Model Checking Software ISBN: 9783030309220
SPIN
HAL

International audience; Failure of robotic software may cause catastrophic damages. In order to establish a higher level of trust in robotic systems, formal methods are often proposed. However, their applicability to the functional layer of robots re

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3561c106a87cdbc5a706b08f99e13a0c
https://hal.laas.fr/hal-02152286

Zobrazit plný text záznamu

Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms

Autor: Anthony Mallet, Mohammed Foughali, Bernard Berthomieu, Pierre-Emmanuel Hladik, Silvano Dal Zilio, Félix Ingrand

Publikováno v: FormaliSE: 6th International Conference on Formal Methods in Software Engineering
FormaliSE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden
FormaliSE@ICSE
HAL

International audience; Software constitutes a major part of the development of robotic and autonomous systems and is critical to their successful deployment in our everyday life. Robotic software must thus run and perform as specified. Since most of

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::95ab1b2fa84c4d0e3a9f16ad8c282cb4
https://hal.laas.fr/hal-01778960

Zobrazit plný text záznamu

Deliberation for autonomous robots: A survey

Autor: Félix Ingrand, Malik Ghallab

Publikováno v: Artificial Intelligence
Artificial Intelligence, Elsevier, 2017, 247 pp.10-44. ⟨10.1016/j.artint.2014.11.003⟩
Artificial Intelligence, 2017, 247 pp.10-44. ⟨10.1016/j.artint.2014.11.003⟩

International audience; Autonomous robots facing a diversity of open environments and performing a variety of tasks and interactions need explicit deliberation in order to fulfill their missions. Deliberation is meant to endow a robotic system with e

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a1f2a3c78085c86f5a806c5e3c27a1ee
https://hal.archives-ouvertes.fr/hal-01137921/document

Zobrazit plný text záznamu

Robotics and artificial intelligence: A perspective on deliberation functions

Autor: Félix Ingrand, Malik Ghallab

Publikováno v: AI Communications
AI Communications, 2014, 27 (1), pp.63-80. ⟨10.3233/AIC-130578⟩
AI Communications, IOS Press, 2014, 27 (1), pp.63-80. ⟨10.3233/AIC-130578⟩

International audience; Despite a very strong synergy between Robotics and AI at their early beginning, the two fields progressed widely apart in the following decades. However , we are witnessing a revival of interest in the fertile domain of embodi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::88d545aa1cafbe2fbc110e1747d572ee
https://doi.org/10.3233/aic-130578

Zobrazit plný text záznamu

Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots

Autor: Anthony Mallet, Silvano Dal Zilio, Félix Ingrand, Mohammed Foughali, Bernard Berthomieu

Publikováno v: Proceedings of the 18th International Conference on Formal Engineering Methods
18th International Conference on Formal Engineering Methods (ICFEM 2016)
18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Formal Methods and Software Engineering
HAL
Formal Methods and Software Engineering ISBN: 9783319478456
ICFEM

International audience; Software is an essential part of robotic systems. As robots and autonomous systems are more and more deployed in human environments, we need to use elaborate validation and verification techniques in order to gain a higher lev

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e949eb8f627b7073cee1d49ffb6573e8
https://hal.archives-ouvertes.fr/hal-01346080

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání