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...