Geir E. Dullerud

Identifiers

No identifiers captured yet.

Papers (2)

1. Controller Synthesis with Inductive Proofs for Piecewise Linear Systems: an SMT-based Algorithm cs.SY · 2015 · author #4
2. Localized Optimal Control of Spatiotemporal Chaos chao-dyn · 1997 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Roman O. Grigoriev 1 shared papers
• Sanjay G. Lall 1 shared papers
• Sayan Mitra 1 shared papers
• Swarat Chaudhuri 1 shared papers
• Yu Wang 1 shared papers
• Zhenqi Huang 1 shared papers