Français
5. Conclusion
Symbolic control approaches have many advantages:
a high degree of generality with regard to the complex control systems and objectives that can be handled ;
a fully automatic controller synthesis structure that is independent of the complexity, uncertainties and constraints of the system under consideration;
intrinsic robustness, due to the abstraction of the system through an over-approximation of all its behaviors;
and formal guarantees that the original system meets the specifications, even though the controller has been synthesized on its symbolic model.
The combination of all these elements makes symbolic abstraction-based approaches very interesting in many fields, and their widespread use is very likely to continue...
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
Conclusion
Glossary
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
