Zobrazeno 1 - 10
of 422
pro vyhledávání: '"réseaux de Petri"'
Publikováno v:
Revue des Énergies Renouvelables, Vol 21, Iss 3, Pp 355-364 (2018)
Cet article vise à faire la présentation d’une étude comparative sur les différentes topologies usuelles des convertisseurs multi niveaux. Compte tenu de la forte présence des harmoniques de tension et de courant qui sont néfastes pour le bon
Externí odkaz:
https://doaj.org/article/23bf2fb3d9014e61931f9b5ad370ebde
Publikováno v:
Revue des Énergies Renouvelables, Vol 21, Iss 2, Pp 155-164 (2018)
Les convertisseurs multi niveaux sont utilisés dans des applications industrielles de forte puissance car, elles permettent de réduire de manière considérable les harmoniques de courant et de tension qui sont néfastes pour les machines électriq
Externí odkaz:
https://doaj.org/article/716907d019424748baf6d7fe2e74f4c4
Autor:
Haur, Imane
Publikováno v:
Automatic. École centrale de Nantes, 2022. English. ⟨NNT : 2022ECDN0057⟩
Formal verification is a solution to increase the system’s implementation reliability. In our thesis work, we are interestedin using these methods to verify multi-core RTOS. We propose a model-checking approach using time Petri nets extended with c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::72669f42cd2b43ac51436282b1205f7d
https://theses.hal.science/tel-04025811/document
https://theses.hal.science/tel-04025811/document
Autor:
Khmelnitsky, Igor
Publikováno v:
Computer science. Université Paris-Saclay, 2022. English. ⟨NNT : 2022UPASG001⟩
This thesis consists of three parts. The first one is devoted to the verification of Petri nets, the second one to the verification of recursive Petri nets which extend Petri nets, and the final one aims at combining active learning and verification.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::c39350aecc6259451a7a435271fcbca8
https://theses.hal.science/tel-04054017/document
https://theses.hal.science/tel-04054017/document
Publikováno v:
ISTE Editions, 182 p., 2022, Systèmes et génie industriel, Jean Paul Bourrières, 9781784058128
HAL
HAL
International audience; Par sa déclinaison omniprésente dans l’organisation économique et sociale, le concept de réseau apparaît comme un paradigme du monde contemporain. Les besoins en services divers (transports, énergie, consommation de bi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4d91080dc81c75bfe3d6c58f133b044a
https://hal.archives-ouvertes.fr/hal-03506386
https://hal.archives-ouvertes.fr/hal-03506386
Autor:
Lubat, Eric
Publikováno v:
Embedded Systems. INSA, 2021. English
National audience; We study the behaviour of Discrete Event Systems (DES) subjectto strong temporal constraints. We are more particularly interested in theformal verification of properties on the timed languages associated with theirexecutions. In th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______4074::2bf123a19589c98081dd878552004b40
https://hal.laas.fr/tel-03528121
https://hal.laas.fr/tel-03528121
Autor:
Jairo R Montoya-Torres
Publikováno v:
Revista EIA, Iss 7, Pp 9-24 (2007)
La modélisation des systèmes de production est difficile en raison du nombre et de la diversité des paramètres à prendre en compte et de la complexité des relations entre ces paramètres. Dans cet article, nous nous intéressons à l´étude d
Externí odkaz:
https://doaj.org/article/eb8f97f0811c49f8af7400fc129f2228
Autor:
Chahrour, Nour
Natural hazards in mountains pose threat to people, properties and infrastructures. Several protection structures are implemented in such areas aiming to reduce the induced risk and to protect vulnerable exposed issues. These structures constitute cr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______166::5d660860ef6fd6078ce9576160b3d3e8
https://theses.hal.science/tel-03563893
https://theses.hal.science/tel-03563893
Autor:
Cazenave, Paul
Publikováno v:
Automatique. Centrale Lille Institut, 2020. Français. ⟨NNT : 2020CLIL0012⟩
Collisions and deadlocks are unwanted situations in many transport applications such as railway systems. Control synthesis methods can assure that a closed-loop system cannot lead to deadlock situations. Methods issued from the historical approach of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3e5ac2bfdc439b24d7978cb6efd76dec
https://theses.hal.science/tel-03164847
https://theses.hal.science/tel-03164847
Autor:
Cazenave, Paul
Publikováno v:
Automatique. Centrale Lille Institut, 2020. Français. ⟨NNT : 2020CLIL0012⟩
Collisions and deadlocks are unwanted situations in many transport applications such as railway systems. Control synthesis methods can assure that a closed-loop system cannot lead to deadlock situations. Methods issued from the historical approach of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2592::3e5ac2bfdc439b24d7978cb6efd76dec
https://tel.archives-ouvertes.fr/tel-03164847/document
https://tel.archives-ouvertes.fr/tel-03164847/document