output
20072009
most citedBuilding the Tangent and Adjoint codes of the Ocean General Circulation Model OPA with the Automatic Differentiation tool TAPENADE

10 citations

researchers with a paper here
collaborating institutions
Showing math.OCShow all

2 papers · 1 filter

math.OC2008

Approximately bisimilar symbolic models for incrementally stable switched systems

Antoine Girard, Giordano Pola, Paulo Tabuada

Switched systems constitute an important modeling paradigm faithfully describing many engineering systems in which software interacts with the physical world. Despite considerable…

math.OC2007★ 8 cited

Approximately bisimilar symbolic models for nonlinear control systems

Giordano Pola, Antoine Girard, Paulo Tabuada

Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models are…