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
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Symbolic abstraction of a complex system
Symbolic controller synthesis
Article included in this offer
"Control and systems engineering"
(
143 articles
)
Updated and enriched with articles validated by our scientific committees
A set of exclusive tools to complement the resources
Bibliography
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
![Écoutez notre podcast Cogitons Sciences : Clément Thivin, un ingénieur pas bateau [Des ingénieurs qui cassent la routine #3]](https://www.techniques-ingenieur.fr/actualite/wp-content/uploads/2022/04/visuel-Article-actu-Podcast-12-ok-2.png)
