index - IRT Railenium - L'Institut de Recherche Technologique (IRT) de la filière ferroviaire Accéder directement au contenu

Bienvenue dans la collection HAL de l'IRT Railenium !

Véritable outil au service de la filière ferroviaire, l’Institut de Recherche Technologique (IRT) Railenium conduit des projets de recherche et d’innovation partenariales rassemblant académiques et industriels, en lien avec les pouvoirs publics. Ensemble, ils développent collaborativement, valident et testent des technologies de rupture et des solutions innovantes répondant aux grands défis sociétaux et technologiques de la filière ferroviaire, en France et à l’international.

Né en 2012 dans le cadre du Plan d’investissement d’avenir, Railenium est un Institut de Recherche Technologique (IRT) expert dans le système ferroviaire. Grâce à l’expertise de ses équipes, Railenium offre des compétences permettant de lever des verrous technologiques et scientifiques, notamment dans les domaines de l’intelligence artificielle, l’énergie, la modélisation numérique, les télécommunications, la sûreté de fonctionnement (IA de confiance) et les facteurs organisationnels et humains (FOH).

Basé dans les Hauts-de-France et présent en région parisienne, Railenium a mené, grâce à son expertise en ingénierie de financement et coordination de projets collaboratifs, plus de 80 projets en 10 ans mobilisant environ 140 partenaires.

Derniers dépôts

Chargement de la page

Mots-clés

ON-BOARD TRAIN INTEGRITY RAILWAYS SIGNALING EUROPEAN TRAIN CONTROL SYSTEM RAILWAY SAFETY FORMAL MODELS PROBABILISTIC TIMED AUTOMATA STATISTICAL MODEL CHECKING Railway FAULT TREE ANALYSIS ERTMS/ETCS EPISTEMIC UNCERTAINTY NN verification COMMANDE AUTOMATIQUE Abstract interpretation Multi-Model approach RAILWAY SAFETY Multi-model approach Minimisation énergétique Optimisation quadratique Neural network abstraction European Train Control System GOAL STRUCTURING NOTATION GSN ON-BOARD TRAIN INTEGRITY Human reliability Formal veriication Autonomous train Quadratic optimization Neural networks NNs Formal models GAME principle Formal verification ETCS Man-machine systems Artificial intelligence SECURITE Human-Machine System Démonstration de sécurité Autonomous systems TRANSPORT FERROVIAIRE Neural network verification Analyse Préliminaire des Risques Control systems OPERATIONAL DESIGN DOMAIN Argumentation de sécurité AUTONOMOUS TRANSPORTATION Principe GAME SURETE DE FONCTIONNEMENT MOVING BLOCK GEOLOCALISATION ET NAVIGATION PAR UN SYSTEME DE SATELLITES - GNSS Evaluation method Over-approximation EXPOSITION AU RISQUE INTERVAL METHOD Goal Structuring Notation Autonomous trains Automobiles METHODE FORMELLE Integrity On-board train integrity train length Railways signalling ETCS urban transport safety risk from automation On-board train integrity train length Railways signalling ETCS urban transport safety risk from automation AUTONOMIE Minimization of energy consumption Goal Structuring Notation Railway safety Automation Identification of human parameters Railway safety On-board train integrity Railways signaling European Train Control System Railway safety Formal models Probabilistic Timed Automata Statistical Model Checking Probabilistic Timed Automata RAILWAY SIGNALING Output range computation Dossier de sécurité AUTONOMOUS TRAINS CONTROLE COMMANDE INTEGRITE FORMAL VERIFICATION LEARNING SYSTEMS Model predictive control ANALYSE DU RISQUE TRAIN Abstraction On-board train integrity Preliminary hazard analysis Neural network veriication INTELLIGENCE ARTIFICIELLE Train autonome Autonomous train ERTMS integrity safety requirements traceability MODELE STATISTIQUE Formal verification neural network NN abstraction neural networks NNs NN verification SAFETY ASSURANCE AUTOMATISATION Human factors Design Human-machine cooperation Rail transportation ERTMS Neural network NN abstraction DYNAMIC RISK ASSESSMENT Operational risk assessment Adaptive level of automation Autonomous automobiles Approche multi-Modèle Process control MODELISATION CONDUITE AUTOMATISEE AUTONOMOUS TRAIN ARTIFICIAL INTELLIGENCE Human-Machine system

Documents en texte intégral

13

Notices

21

SHERPA/RoMEO