Français
1. Symbolic abstraction of a complex system
In this section, we present a general methodology for calculating a symbolic model of a dynamic system (Abstraction step 1 in figure 1 ). We then present the fundamental theorem of symbolic control, which certifies that the controllers synthesized on the basis of the symbolic model are "correct by construction" for the original system (Concretization step 3 in figure 1 ). The symbolic approach presented in this section is the result of a synthesis of numerous works in the literature. Those wishing to delve deeper into the mathematical aspects presented in this section may wish to start with the work of
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
Symbolic abstraction of a complex system
Symbolic controller synthesis
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
