Évaluation et gestion des risques basées sur l'analyse par intervalles pour une navigation sûre et fiable des véhicules intelligents

Autor: Ben Lakhal, Nadhir Mansour

Publikováno v: Electronics. Université Clermont Auvergne; Université de Sousse (Tunisie), 2021. English. ⟨NNT : 2021UCFAC067⟩

Huge advancements have been witnessed recently in the field of Intelligent Transportation Systems (ITSs). In particular, a special focus has been dedicated to ensure the safe and reliable operation of Intelligent Vehicles (IVs). This issue is very ch

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::81ab507c3144dd417342326d9705c1df
https://theses.hal.science/tel-03710827

Reachability Analysis of Uncertain Max Plus Linear Systems

Autor: Ferreira candido, Renato markele

Publikováno v: Automatic. Université d'Angers; Universidade estadual de Campinas (Brésil), 2017. English. ⟨NNT : 2017ANGE0014⟩

Discrete Event Dynamic Systems (DEDS) are discrete-state systems whose dynamics areentirely driven by the occurrence of asynchronous events over time. Linear equations in themax-plus algebra can be used to describe DEDS subjected to synchronization a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2a09e64e67f8f59c7b0f27653ae613be
https://tel.archives-ouvertes.fr/tel-01709554

Méthodes formelles pour la construction et la validation de modèles biologiques

Autor: Rocca, Alexandre

Publikováno v: Mathematical Physics [math-ph]. Université Grenoble Alpes, 2018. English. ⟨NNT : 2018GREAM028⟩

The purpose of this thesis is the modelling and analysis of biological systems with mechanistic models (in opposition with black-box models).In particular we use two mathematical formalisms for mechanism modelling: hybrid dynamical systems and polyno

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::411b0af86345dab8c230e0bf56137393
https://theses.hal.science/tel-01913296

Étude de la dynamique des réseaux biologiques : apprentissage des modèles, intégration des données temporelles et analyse formelle des propriétés dynamiques

Autor: Ben Abdallah, Emna

Publikováno v: Bio-Informatique, Biologie Systémique [q-bio.QM]. École centrale de Nantes, 2017. Français. ⟨NNT : 2017ECDN0041⟩

Over the last few decades, the emergence of a wide range of new technologies has produced a massive amount of biological data (genomics, proteomics...). Thus, a very large amount of time series data is now produced every day. The newly produced data

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::68ff3da597eca4cdbd45afe07103fa27
https://tel.archives-ouvertes.fr/tel-02506943

Retail distribution in the city: analyzing point patterns in non-uniform network space

Autor: Araldi, Alessandro, Fusco, Giovanni

Publikováno v: SAGEO 2017 Proceedings
Spatial Analysis and GEOmatics 2017
SAGEO 2017 Proceedings, KLOG Editions, 2017, 979-10-92272-22-2
Spatial Analysis and GEOmatics 2017, Nov 2017, Rouen, France

International audience; Retail distribution in the city has to be analyzed taking into consideration the network structure of urban space. What is more, street networks in contemporary cities vary in intensity and configuration over space. The concep

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f4888d89f41c263f3916ea619cc2cefd
https://hal.archives-ouvertes.fr/hal-01643363/file/ARALDI_FUSCO_SAGEO_2017_v2.pdf