2. Symbolic controller synthesis
In this section, we present methods for synthesizing a controller to ensure that the symbolic model satisfies given specifications (Synthesis step 2 in figure 1 ). We consider that a specification is formally defined by a subset of trajectories where
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Symbolic controller synthesis
Numerical example: controlling a mobile robot
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)
