Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Louis Viard"'
Publikováno v:
Formal Methods. FM 2019 International Workshops
Formal Methods. FM 2019 International Workshops, 12232, pp.281-287, 2020, 978-3-030-54993-0. ⟨10.1007/978-3-030-54994-7_20⟩
Lecture Notes in Computer Science ISBN: 9783030549930
FM Workshops (1)
Formal Methods. FM 2019 International Workshops, 12232, pp.281-287, 2020, 978-3-030-54993-0. ⟨10.1007/978-3-030-54994-7_20⟩
Lecture Notes in Computer Science ISBN: 9783030549930
FM Workshops (1)
International audience; Safe operation of Cyber-Physical Systems such as Unmanned Aircraft Systems requires guarantees not only on the system, but also on the mission. Following approaches that are used to produce robust Cyber-Physical Controllers, w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::46475c7acc565093ee701bef68e83185
https://hal.archives-ouvertes.fr/hal-02963914
https://hal.archives-ouvertes.fr/hal-02963914
Publikováno v:
ICUAS-2019 International Conference on Unmanned Aircraft Systems
ICUAS-2019 International Conference on Unmanned Aircraft Systems, Jun 2019, Atlanta, United States
ICUAS-2019 International Conference on Unmanned Aircraft Systems, Jun 2019, Atlanta, United States
International audience; The operations of Cyber-Physical Systems – such as Unmanned Aircrafts – are drastically evolving. Worked up legislations are enabling new kinds of tasks in complex environments, inducing a change of policy in mission defin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e0fd7b62085f4b2344f9adb2cb347f70
https://hal.science/hal-02170193
https://hal.science/hal-02170193