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...