10 citations
3 papers
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…
cs.MS2007★ 10 cited
Building the Tangent and Adjoint codes of the Ocean General Circulation Model OPA with the Automatic Differentiation tool TAPENADE
Moulay Hicham Tber, Laurent Hascoet, Arthur Vidard +1
The ocean general circulation model OPA is developed by the LODYC team at Paris VI university. OPA has recently undergone a major rewriting, migrating to FORTRAN95, and its adjoint…
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…