Français
4. Advanced topics in symbolic control
Symbolic control approaches are now considered a powerful tool for controlling dynamic systems. They offer several advantages over conventional automatic control approaches:
treatment of a wide class of systems (nonlinear, hybrid, uncertain, etc.) under constraints;
processing complex specifications such as those described in section 2 ...
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
Advanced topics in symbolic control
Conclusion
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
