• Français
    • English
  • Français 
    • Français
    • English
  • Login
View Document 
  •   Savoirs UdeS Home
  • Sciences
  • Sciences – Mémoires
  • View Document
  •   Savoirs UdeS Home
  • Sciences
  • Sciences – Mémoires
  • View Document
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

All of Savoirs UdeSDomains & CollectionsBy Issue DateAuthorsTitlesSubjectsDirectorsThis CollectionBy Issue DateAuthorsTitlesSubjectsDirectors

My Account

Login

Statistics

View Usage Statistics

Modélisation et synthèse de contrôleurs des systèmes hybrides linéaires

Thumbnail
View/Open
MQ56880.pdf (4.470Mb)
Publication date
1999
Author(s)
Charfi, Mourad
Show full document record
Abstract
Ce mémoire présente, d'abord, une méthode de modélisation des systèmes hybrides linéaires. Le modèle adopté pour la modélisation d'un procédé physique ayant une composante continue et une composante discrète est un automate hybride linéaire qui définit une sous-classe des automates hybrides. Ce travail se situe dans le cadre des travaux de Thomas Henzinger. Ensuite, une procédure de synthèse de contrôleurs des systèmes hybrides linéaires a été développée. Cette procédure consiste à transformer une procédure de vérification en une procédure de synthèse. D'où, la présentation d'un outil de vérification nommé HYTECH ainsi que son adaptation en un outil de synthèse. Dans ce mémoire, nous considérons un système de positionnement d'antennes comme exemple d'application.
URI
http://savoirs.usherbrooke.ca/handle/11143/4411
Collection
  • Sciences – Mémoires [1215]

DSpace software [version 5.4 XMLUI], copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback
 

 


DSpace software [version 5.4 XMLUI], copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback