Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Exact controller"'
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