Loading...
Derniers dépôts
-
Augustin Viot, Benjamin Lussier, Walter Schön, Armando Tacchella, Stéphane Geronimi. New Threat on Formal Verification for Neural Networks: Example and Fault Tolerance. 11th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS 2022), Jun 2022, Pafos, Cyprus. pp.623-630, ⟨10.1016/j.ifacol.2022.07.197⟩. ⟨hal-03823896⟩
-
Lahcene Mezouari, Lucas Wicher, Jean-Paul Boufflet, Aziz Moukrim. Scheduling in an Emergency Department, Linear Formulation and Heuristic Approach. 9th International Conference on Control, Decision and Information Technologies (CoDIT 2023), Jul 2023, Rome, France. pp.1547-1552, ⟨10.1109/CoDIT58514.2023.10284409⟩. ⟨hal-04365844⟩
-
Chiara Bersani, Matteo Cardano, Stefano Lavaggi, Roberto Sacile, Simona Sacone, et al.. Stochastic Linear Quadratic Optimal Control of Speed and Position of Multiple Trains on a Single-Track Line. IEEE Transactions on Intelligent Transportation Systems, 2023, 24 (9), pp.9110 - 9120. ⟨10.1109/TITS.2023.3268319⟩. ⟨hal-04119979⟩
-
Mohammad Beyrouti, Ahmed Lounis, Benjamin Lussier, Abdelmadjid Bouadallah, Abed Ellatif Samhat. Vulnerability and Threat Assessment Framework for Internet of Things Systems. 6th Conference on Cloud and Internet of Things (CIoT 2023), Mar 2023, Lisbon, Portugal. pp.62-69, ⟨10.1109/CIoT57267.2023.10084894⟩. ⟨hal-04323209⟩