Publications
Affichage de 2041 à 2050 sur 5406
Génération automatique et vérification formelle de programmes d'API sécurisés pour les systèmes de contrôle ferroviaires Génération automatique et vérification formelle de programmes d'API sécurisés pour les systèmes de contrôle ferroviaires
Mohamed Niang, Bernard Riera, Philippot Alexandre, Serge Debernard
Journées STP du GDR MACS, 2018, Clermont-Ferrand, France. ⟨hal-02151107⟩
HOW ROBOTICS VISION AND COMPUTER VISION IMPROVE INTERDISCIPLINARITY
Jean-Paul Becar, Jean-Charles Canonne, Laurent Vermeiren, Abdelmalik Taleb-Ahmed
10th International Conference on Education and New Learning Technologies, Jul 2018, Palma de Mallorca, Spain. ⟨10.21125/edulearn.2018⟩. ⟨hal-02508946⟩
Evolution of holonic control architectures towards Industry 4.0: A short overview
Olivier Cardin, William Derigent, Damien Trentesaux
16th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2018, Jun 2018, Bergamo, Italy. pp.1243-1248, ⟨10.1016/j.ifacol.2018.08.420⟩. ⟨hal-01900270⟩
Timetable rearrangement to cope with railway maintenance activities
Luis Diego Arenas Pimentel, Paola Pellegrini, Said Hanafi, Joaquin Rodriguez
Computers and Operations Research, 2018, 95, pp123-138. ⟨10.1016/j.cor.2018.02.018⟩. ⟨hal-01764963⟩
Cyber Security of the Railway wireless system: detection, decision and Human-in-the-Loop
Christophe Gransart, Virginie Deniau, Eric Pierre Simon, Anthony Fleury, Stéphane Lecoeuche, Emilie Masson, Patrick Millot
TRA 2018 (Transport Research Arena), Apr 2018, Vienna, Austria. 10p. ⟨hal-01854846⟩
Special Issue : Applied Logistics Management
Mounir Benaissa, Mourad Abed
International Journal of Applied Management Science, 10 (1), 2018, 1755-8921. ⟨hal-03391472⟩
Ordonnancement sur machines parallèles identiques avec un serveur partagé
Abdelhak El Idrissi, Mohammed Benbrahim, Rachid Benmansour, David Duvivier
Supply Chain Workshop - S&OP, Ecole Centrale De Casablanca, Jan 2018, Casablanca, Maroc. ⟨hal-03394391⟩
Friction coefficients in cold forging: A global perspective
Peter Groche, Philipp Kramer, Niels Bay, Peter Christiansen, Laurent Dubar, K. Hayakawa, Chengliang Hu, K. Kitamura, Philippe Moreau
CIRP Annals - Manufacturing Technology, 2018, 67 (1), pp.261-264. ⟨10.1016/j.cirp.2018.04.106⟩. ⟨hal-03450016⟩
Observer-Based Assistive Control Design Under Time-Varying Sampling for Power-Assisted Wheelchairs
Guoxi Feng, Thierry-Marie Guerra, Sami Mohammad, Lucian Busoniu
3rd IFAC Conference on Embedded Systems, Computational Intelligence and Telematics in Control CESCIT 2018, Jun 2018, Faro, Portugal. pp.151-156, ⟨10.1016/j.ifacol.2018.06.253⟩. ⟨hal-03411302⟩
Healthcare decision support tool: multi-agent system for bed management
Nesrine Zoghlami, Besma Glaa, Souad Rabah, Mourad Abed
International Journal of Applied Management Science, 2018, 10 (1), pp.59-71. ⟨10.1504/IJAMS.2018.10010975⟩. ⟨hal-03400921⟩