Français
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...
The Ultimate Scientific and Technical Reference
This article is included in
Control and systems engineering
This offer includes:
Knowledge Base
Updated and enriched with articles validated by our scientific committees
Services
A set of exclusive tools to complement the resources
Practical Path
Operational and didactic, to guarantee the acquisition of transversal skills
Doc & Quiz
Interactive articles with quizzes, for constructive reading
Glossary
Acronyms, notations and symbols
Bibliography
Software tools
SCOTS: A Tool for the Synthesis of Symbolic Controllers
https://gitlab.lrz.de/hcs/scots
pFaces: An Acceleration Ecosystem for Formal Methods in Control
https://github.com/parallall/pFaces
Co4Pro: Correct...
Websites
IEEE Technical Committee on Hybrid Systems
https://ieeecss.org/tc/hybrid-systems
IFAC Technical Committee on Discrete Event Systems and Hybrid Systems
https://tc. ifac-control.org/1/3
The IFAC journal on...
Events
ACM International Conference on Hybrid Systems: Computation and Control. Held annually.
IFAC Conference on Analysis and Design of Hybrid Systems. Held every three years.
...Patents
Mahmoud Khaled and Majid Zamani. Distributed Automated Synthesis Of Correct-by-Construction Controllers. European Patent Office, EP3633468A1, WO2020070206A1, 2020.
...Directory
Documentation – Training – Seminars (non-exhaustive list)
Antoine Girard, Symbolic control of nonlinear systems: safety, optimization and learning Cours, École d'Été d'Automatique de Grenoble, 2023
https://hal.science/hal-04410084
Seminar, Autonomy Talks, ETH Zürich
The Ultimate Scientific and Technical Reference
