Zobrazeno 1 - 4
of 4
pro vyhledávání: '"DCS - Discrete Controller Synthesis"'
Autor:
Mezni, Anis
Publikováno v:
Automatique / Robotique. Université de Lyon; Université de Tunis El Manar, 2019. Français. ⟨NNT : 2019LYSEI030⟩
Wireless Sensor networks are attracted many activities of research and development during the last decade. Yet, the distributed behavior of a WSN remains centered on two main objectives: sensing and routing. This thesis advocates the introduction of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2592::1f6e71ed09e48275896d77d5dc9a99a6
https://tel.archives-ouvertes.fr/tel-02900641
https://tel.archives-ouvertes.fr/tel-02900641
Autor:
Mezni, Anis
Publikováno v:
Automatique / Robotique. Université de Lyon; Université de Tunis El Manar, 2019. Français. ⟨NNT : 2019LYSEI030⟩
Wireless Sensor networks are attracted many activities of research and development during the last decade. Yet, the distributed behavior of a WSN remains centered on two main objectives: sensing and routing. This thesis advocates the introduction of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1f6e71ed09e48275896d77d5dc9a99a6
https://tel.archives-ouvertes.fr/tel-02900641
https://tel.archives-ouvertes.fr/tel-02900641
Autor:
Ren, Mingming
La synthèse de contrôleurs discrets (SCD) est appliquée pour générer automatiquement des contrôleurs matériels corrects par construction. Pour un système donné (un modèle à états), et une spécification de contrôle associée (une exigenc
Externí odkaz:
http://www.theses.fr/2011ISAL0071/document
Autor:
Ren , Mingming
Publikováno v:
Other. INSA de Lyon, 2011. English. 〈NNT : 2011ISAL0071〉
Other. INSA de Lyon, 2011. English. ⟨NNT : 2011ISAL0071⟩
Other. INSA de Lyon, 2011. English. ⟨NNT : 2011ISAL0071⟩
The Discrete Controller Synthesis (DCS) technique is used for automatic generation of correct-by-construction hardware controllers. For a given plant (a state-based model), and an associated control specification (a behavioral requirement), DCS gener
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::16317565ac8bbbadc35b32b383aa7d5c
https://tel.archives-ouvertes.fr/tel-00679296/file/these.pdf
https://tel.archives-ouvertes.fr/tel-00679296/file/these.pdf