6. Glossary

Abstraction symbolique; symbolic abstraction

Procedure consisting in approximating an initial model by another model (called "symbolic") whose states and behaviors can be seen as symbols representing sets of states and behaviors of the initial model.

Reachability analysis

Procedure used to evaluate (generally via overapproximations) the set of successors reachable in a finite time by a given system, starting from a set of initial states.

Atteignabilité; reachability

Dual safety control objective, where we want a system to reach a given region in a finite but indeterminate time.

Realization; concretization

Dual procedure of the symbolic abstraction step, in which a control law obtained for a symbolic model (in the discrete...