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!
