1552668

biblio

Visible to the public On compositional symbolic controller synthesis inspired by small-gain theorems

biblio

Visible to the public Control sharing barrier functions with application to constrained control

biblio

Visible to the public Control Synthesis for Large Collections of Systems with Mode-Counting Constraints

biblio

Visible to the public Synthesis of separable controlled invariant sets for modular local control design

biblio

Visible to the public Decomposing controller synthesis for safety specifications

biblio

Visible to the public Synthesis of safety controllers robust to unmodeled intermittent disturbances