Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Hela Kadri"'
Publikováno v:
Operating Rules and Interoperability in Trans-National High-Speed Rail ISBN: 9783030720018
Operating Rules and Interoperability in Trans-National High-Speed Rail
Operating Rules and Interoperability in Trans-National High-Speed Rail
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2bff2b00155d6b327d09983370c8f569
https://doi.org/10.1007/978-3-030-72003-2_10
https://doi.org/10.1007/978-3-030-72003-2_10
Publikováno v:
Operating Rules and Interoperability in Trans-National High-Speed Rail ISBN: 9783030720018
This chapter deals with operating mode management of European railway systems, and this contribution is based on Supervisory Control Theory (SCT). The studied system contains several trains, and each one presents several operating modes varying by co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::21306f9526d938592d534853e2889577
https://doi.org/10.1007/978-3-030-72003-2_8
https://doi.org/10.1007/978-3-030-72003-2_8
Publikováno v:
TRA2020, 8th Transport Research Arena : Rethinking transport – towards clean and inclusive mobility
TRA2020, 8th Transport Research Arena : Rethinking transport – towards clean and inclusive mobility, Apr 2020, Helsinki, Finland
HAL
TRA2020, 8th Transport Research Arena : Rethinking transport – towards clean and inclusive mobility, Apr 2020, Helsinki, Finland
HAL
International audience; This paper proposes a methodology to address the problem of international multi modal hubs crisis management. The analysis starts from the case study of the Brussel airport terrorist attacks to highlight multi-modal and intern
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2e7b8abe6e9f3ff8ada3e4ba4b0a0943
https://hal-enac.archives-ouvertes.fr/hal-02952135
https://hal-enac.archives-ouvertes.fr/hal-02952135
Publikováno v:
ICCS
In this paper, we tackle the design of complex discrete event systems whose structures change as they are developed in different operating modes. Based on the Supervisory Control Theory (SCT), we propose a formal hierarchical approach for controlling
Publikováno v:
ENASE 2019, 14th International Conference on Evaluation of Novel Approaches to Software Engineering
ENASE 2019, 14th International Conference on Evaluation of Novel Approaches to Software Engineering, May 2019, Heraklion, France. ENASE 2019, 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 1p, 2019
ENASE 2019, 14th International Conference on Evaluation of Novel Approaches to Software Engineering, May 2019, Heraklion, France. pp377-384, ⟨10.5220/0007730903770384⟩
ENASE
ENASE 2019, 14th International Conference on Evaluation of Novel Approaches to Software Engineering, May 2019, Heraklion, France. ENASE 2019, 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 1p, 2019
ENASE 2019, 14th International Conference on Evaluation of Novel Approaches to Software Engineering, May 2019, Heraklion, France. pp377-384, ⟨10.5220/0007730903770384⟩
ENASE
ENASE 2019, 14th International Conference on Evaluation of Novel Approaches to Software Engineering, Heraklion, GRECE, 04-/05/2019 - 05/05/2019; This paper deals with the problem of System-of-Systems (SoS) modeling whose structure change due to thedy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::decf0995252199da3e30e03a94cac04e
https://hal.archives-ouvertes.fr/hal-02182024
https://hal.archives-ouvertes.fr/hal-02182024
Publikováno v:
ICSOFT
ICSOFT 2018, 13th International Conference on Software Technologies
ICSOFT 2018, 13th International Conference on Software Technologies, Jul 2018, Porto, Portugal. pp607-614, ⟨10.5220/0006865606410648⟩
ICSOFT 2018, 13th International Conference on Software Technologies
ICSOFT 2018, 13th International Conference on Software Technologies, Jul 2018, Porto, Portugal. pp607-614, ⟨10.5220/0006865606410648⟩
ICSOFT 2018, 13th International Conference on Software Technologies, Porto, PORTUGAL, 26-/07/2018 - 28/07/2018; Having observed the need from the state of the art concerning crisis management, a formal expression is proposed. In the case of neighbour
Publikováno v:
IFAC Proceedings Volumes. 46:420-426
Formal modelling techniques can be exploited for the operating modes management in discrete event systems (DES). In this context, this paper presents a coloured Petri nets (CP- nets) based approach modelling and managing system behaviour on the basis
Autor:
Simon Collart-Dutilleul, Hela Kadri
Publikováno v:
ICARCV
The aim of this work is to propose a formal model for determining the dynamic optimal path for transfer operations on an oil flow network within real conditions of exploitation such as maintenance activities and alignments in-service. The study focus
Publikováno v:
EMS
Dynamic reliability notions have gained popularity as an efficient indicator to assess performance degradation during system's life. Time dependent failure rates, as well as impact of operating constraints, cannot more be ignored to characterize serv