5. Conclusion
Les approches de contrôle symbolique présentent de nombreux avantages :
une grande généralité sur les systèmes et objectifs de contrôle
complexes pouvant être traités ;
une structure de synthèse de contrôleur complètement automatique
et indépendante de la complexité, des incertitudes et des contraintes
du système considéré ;
une robustesse intrinsèque du fait de l’abstraction du système
par une surapproximation de l’ensemble de ses comportements ;
et des garanties formelles de la satisfaction des spécifications
par le système original bien que le contrôleur ait été synthétisé
sur son modèle symbolique.
La combinaison de tous ces éléments rend les approches à base
d’abstraction symbolique très intéressantes dans de nombreux...
Cet article est réservé aux abonnés
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ?
Se connecter
Lecture en cours
Conclusion