Zobrazeno 1 - 10
of 69
pro vyhledávání: '"Rémi Delmas"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 105, Iss Proc. FTSCS 2012, Pp 22-38 (2012)
This paper addresses the issue of lemma generation in a k-induction-based formal analysis of transition systems, in the linear real/integer arithmetic fragment. A backward analysis, powered by quantifier elimination, is used to output preimages of th
Externí odkaz:
https://doaj.org/article/7504b9a5266f46adb662a8f034469f56
Autor:
Sylvie Putot, Nicola Bernini, Eric Goubault, Arthur Gold, Romain Pennec, François X. Sillion, Rémi Delmas, Mikhail Bessa
Publikováno v:
HSCC
In the context of developing safe air transportation, our work is focused on understanding how Reinforcement Learning methods can improve the state of the art in traditional control, in nominal as well as non-nominal cases. The end goal is to train p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::afbe2c4169e7873c1b0ca0409f5ab78d
https://doi.org/10.1145/3447928.3456707
https://doi.org/10.1145/3447928.3456707
Urban Air Mobility (UAM) has the potential to revolutionize transportation. It will exploit the third dimension to help smooth ground traffic in densely populated areas. To be successful, it will require an integrated approach able to balance efficie
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c99e247e7431cd03e4b5a7cfc6538558
Publikováno v:
Numerical Software Verification ISBN: 9783030284220
NSV@CAV
NSV + CAV 2019
NSV + CAV 2019, Jul 2019, NEW YORK, United States. pp.45-59, ⟨10.1007/978-3-030-28423-7_3⟩
NSV@CAV
NSV + CAV 2019
NSV + CAV 2019, Jul 2019, NEW YORK, United States. pp.45-59, ⟨10.1007/978-3-030-28423-7_3⟩
International audience; The formal verification and validation of real-world, industrial critical hybrid flight controllers remains a very challenging task. An increasingly popular and quite successful alternative to formal verification is the use of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bef7ab08a7689565e97532351750d47d
https://doi.org/10.1007/978-3-030-28423-7_3
https://doi.org/10.1007/978-3-030-28423-7_3
Autor:
Thomas Polacsek, Rémi Delmas
Publikováno v:
Ingénierie des systèmes d'information. 21:39-63
RESUME. Que cela soit pour la surveillance de la Terre ou meme la gestion des relations interentreprises, il existe de plus de plus d’organisations interconnectees formant des systemes d’information decentralises avec des echanges d’information
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e4831e6620c4ab388dcbc24ad0219d97
https://doi.org/10.3166/isi.21.2.39-63
https://doi.org/10.3166/isi.21.2.39-63
Publikováno v:
Science of Computer Programming. 103:71-87
This paper addresses the issue of potential invariant generation in the formal analysis of transition systems with k-induction, in the linear real/integer arithmetic fragment. First, quantifier elimination is used to find parameters for generic templ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7212a438a14277435b0f5578a116a91f
https://doi.org/10.1016/j.scico.2014.10.004
https://doi.org/10.1016/j.scico.2014.10.004
Publikováno v:
SIES
Safety is one of the main guidelines for critical systems design. Designers are in charge of developing architectures that comply with the safety requirements. Thus they must ensure that qualitative safety indicators such as the minimal size of failu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::63b13cd944952e4fad2d4583d001de62
https://doi.org/10.1109/sies.2017.7993379
https://doi.org/10.1109/sies.2017.7993379
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319662657
SAFECOMP
SAFECOMP
Safety-critical systems must satisfy safety requirements ensuring that catastrophic consequences of combined component failures are kept below a certain probability occurrence threshold. Therefore, designers must define a hardened architecture of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::31ea52ddceef4d683294b578a4b91a7f
https://doi.org/10.1007/978-3-319-66266-4_19
https://doi.org/10.1007/978-3-319-66266-4_19
Autor:
Romain Jobredeaux, Michael Dierkes, Rémi Delmas, Adrien Champion, Pierre Roux, Pierre-Loïc Garoche
Publikováno v:
SAE International Journal of Aerospace. 6:150-160
Critical control systems are often built as a combination of a control core with safety mechanisms allowing to recover from failures. For example a PID controller used with triplicated inputs and voting. Typically these systems would be designed at t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::34762e6e56e11d7798e35b9ae13c44d0
https://doi.org/10.4271/2013-01-2109
https://doi.org/10.4271/2013-01-2109
Autor:
Rémi Delmas, Adrien Champion
Publikováno v:
Journal Européen des Systèmes Automatisés. 47:45-59
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a9225dec54d9a8255b4f758a669acdd8
https://doi.org/10.3166/jesa.47.45-59
https://doi.org/10.3166/jesa.47.45-59