Glossaire
Approches symboliques pour le contrôle des systèmes non linéaires

Abstraction symbolique ; symbolic abstraction

Procédure consistant à approximer un modèle initial par un autre modèle (dit « symbolique ») dont les états et comportements peuvent être vus comme des symboles représentant des ensembles d’états et de comportements du modèle initial.

Analyse d’atteignabilité ; reachability analysis

Procédure permettant d’évaluer (généralement via des surapproximations) l’ensemble des successeurs atteignables en un temps fini par un système donné, à partir d’un ensemble d’états initiaux.

Atteignabilité ; reachability

Objectif de contrôle dual de la sûreté, où l’on souhaite qu’un système atteigne une région donnée en un temps fini mais indéterminé.

Concrétisation ; concretisation

Procédure duale de l’étape d’abstraction symbolique, dans laquelle une loi de commande...