Výsledky vyhledávání - "INTERPRÉTATION ABSTRAIRE"

Contrôle de systèmes symboliques, discrets ou hybrides

Autor: Le Gall, Tristan, Jeannet, Bertrand, Marchand, Hervé

Publikováno v: [Rapport de recherche] RR-5474, INRIA. 2005, pp.30

Nous abordons le problème de la synthèse de contrôleurs à travers différents modèles allant des systèmes de transitions finis aux systèmes hybrides en nous intéressant à des propriétés de sûreté. Dans ce cadre, nous nous intéressons pr

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______165::6ba4897be75468e4c4376ccd7e901b15
https://inria.hal.science/inria-00070534/document

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání