A hierarchy of discrete abstractions for a hybrid plant (extended version)

Cette contribution propose une hierarchie d'abstractions discretes pour un systeme hybride ou continu donne avec des mesures discretisees et des entrees de commande symboliques. Le systeme continu (ou hybride) de base et ses abstractions discretes forment un ensemble entierement ordonne de modeles; I 'ordre est ainsi etabli dans le sens de l'inclusion du comportement des modeles dans cet ensemble ou, autrement dit, de l'exactitude d'approximation. Comme, par construction, le comportement du systeme de base represente un sous-ensemble des comportements de toutes les abstrzctions dans la hierarchie, chacune des abstractions peut etre utilisee pour la synthese d'un systeme de commande. Ainsi, si le controleur force le comportement d'une abstraction quelconque a vivre dans un ensemble specifie, il contraindra aussi le systeme sous-jacent (continu ou hybride) a satisfaire les specifications.