Conclusion
Symbolic approaches for the control of non linear systems

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 in the years to come. Although this article has focused on the case of systems with deterministic...