1. Abstraction symbolique d’un système complexe
Dans cette section, nous présentons une méthodologie générale pour le calcul d’un modèle symbolique d’un système dynamique (étape 1 d’Abstraction dans la figure 1). Nous présentons ensuite le théorème fondamental du contrôle symbolique qui certifie que les contrôleurs synthétisés sur la base du modèle symbolique sont « corrects par construction » pour le système original (étape 3 de Concrétisation dans la figure 1). L’approche symbolique présentée dans cette section résulte d’une synthèse de nombreux travaux présents dans la littérature. Les personnes souhaitant approfondir les aspects mathématiques présentés dans cette section pourront commencer par les travaux
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Abstraction symbolique d’un système complexe
Synthèse d’un contrôleur symbolique
Sources bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Automatique et ingénierie système"
(
228 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
![Écoutez notre podcast Cogitons Sciences : Clément Thivin, un ingénieur pas bateau [Des ingénieurs qui cassent la routine #3]](https://www.techniques-ingenieur.fr/actualite/wp-content/uploads/2022/04/visuel-Article-actu-Podcast-12-ok-2.png)
