1: \begin{thebibliography}{40}
2: \providecommand{\natexlab}[1]{#1}
3: \providecommand{\url}[1]{\texttt{#1}}
4: \expandafter\ifx\csname urlstyle\endcsname\relax
5: \providecommand{\doi}[1]{doi: #1}\else
6: \providecommand{\doi}{doi: \begingroup \urlstyle{rm}\Url}\fi
7:
8: \bibitem[Auckly et~al.(2000)Auckly, Kapitanski, and White]{A}
9: D.~Auckly, L.~Kapitanski, and W.~White.
10: \newblock Control of nonlinear underactuated systems.
11: \newblock \emph{Commun. Pure Appl. Math.}, 53:\penalty0 354--369, 2000.
12:
13: \bibitem[Betts(2001)]{Bet.BK01}
14: J.~T. Betts.
15: \newblock \emph{Practical Methods for Optimal Control Using Nonlinear
16: Programming}.
17: \newblock SIAM, 2001.
18:
19: \bibitem[Bloch(2003)]{Bl2003}
20: {A. M.} Bloch.
21: \newblock \emph{Nonholonomic Mechanics and Control}, volume~24 of
22: \emph{Interdisciplinary Appl. Math.}
23: \newblock Springer-Verlag, 2003.
24:
25: \bibitem[Bloch et~al.(1997)Bloch, Leonard, and Marsden]{BLM1}
26: {A. M.} Bloch, N.~Leonard, and {J. E.} Marsden.
27: \newblock Matching and stabilization using controlled {L}agrangians.
28: \newblock In \emph{Proceedings of the IEEE Conference on Decision and Control},
29: pages 2356--2361, 1997.
30:
31: \bibitem[Bloch et~al.(1998)Bloch, Leonard, and Marsden]{BLM2}
32: {A. M.} Bloch, N.~Leonard, and {J. E.} Marsden.
33: \newblock Matching and stabilization by the method of controlled {L}agrangians.
34: \newblock In \emph{Proceedings of the IEEE Conference on Decision and Control},
35: pages 1446--1451, 1998.
36:
37: \bibitem[Bloch et~al.(1999)Bloch, Leonard, and Marsden]{BLM4}
38: {A. M.} Bloch, N.~Leonard, and {J. E.} Marsden.
39: \newblock Potential shaping and the method of controlled {L}agrangians.
40: \newblock In \emph{Proceedings of the IEEE Conference on Decision and Control},
41: pages 1652--1657, 1999.
42:
43: \bibitem[Bloch et~al.(2000)Bloch, Leonard, and Marsden]{BLM3}
44: {A. M.} Bloch, {N. E.} Leonard, and {J. E.} Marsden.
45: \newblock Controlled {L}agrangians and the stabilization of mechanical systems
46: {I}: The first matching theorem.
47: \newblock \emph{IEEE Trans. on Systems and Control}, 45:\penalty0 2253--2270,
48: 2000.
49:
50: \bibitem[Bloch et~al.(2001)Bloch, Chang, Leonard, and Marsden]{BCLM}
51: {A. M.} Bloch, {D. E.} Chang, {N. E.} Leonard, and {J. E.} Marsden.
52: \newblock Controlled {L}agrangians and the stabilization of mechanical systems
53: {II}: Potential shaping.
54: \newblock \emph{IEEE Trans. on Autom. Contr.}, 46:\penalty0 1556--1571, 2001.
55:
56: \bibitem[Bloch et~al.(2005)Bloch, Leok, Marsden, and Zenkov]{BloLeoMar.CDC05}
57: A.~M. Bloch, M.~Leok, J.~E. Marsden, and D.~V. Zenkov.
58: \newblock Controlled {L}agrangians and stabilization of the discrete
59: cart-pendulum system.
60: \newblock In \emph{Proceedings of the IEEE Conference on Decision and Control},
61: pages 6579--6584, 2005.
62:
63: \bibitem[Bloch et~al.(2006)Bloch, Leok, Marsden, and Zenkov]{BloLeoMar.CDC06}
64: A.~M. Bloch, M.~Leok, J.~E. Marsden, and D.~V. Zenkov.
65: \newblock Controlled {L}agrangians and potential shaping for stabilization of
66: discrete mechanical systems.
67: \newblock In \emph{Proceedings of the IEEE Conference on Decision and Control},
68: pages 3333--3338, 2006.
69:
70: \bibitem[Bryson and Ho(1975)]{Bry.BK75}
71: A.~E. Bryson and Y.~Ho.
72: \newblock \emph{Applied Optimal Control}.
73: \newblock Hemisphere Publishing Corporation, 1975.
74:
75: \bibitem[Chang et~al.(2002)Chang, Bloch, Leonard, Marsden, and
76: Woolsey]{ChBlLeMa2002}
77: {D-E.} Chang, {A. M.} Bloch, {N. E.} Leonard, {J. E.} Marsden, and C.~Woolsey.
78: \newblock The equivalence of controlled {L}agrangian and controlled
79: {H}amiltonian systems.
80: \newblock \emph{Control and the Calculus of Variations (special issue dedicated
81: to {J. L.} Lions)}, 8:\penalty0 393--422, 2002.
82:
83: \bibitem[Hairer et~al.(2006)Hairer, Lubich, and Wanner]{HaLuWa2006}
84: E.~Hairer, C.~Lubich, and G.~Wanner.
85: \newblock \emph{Geometric Numerical Integration}, volume~31 of \emph{Springer
86: Series in Computational Mathematics}.
87: \newblock Springer-Verlag, second edition, 2006.
88:
89: \bibitem[Hamberg(1999)]{H1}
90: J.~Hamberg.
91: \newblock General matching conditions in the theory of controlled
92: {L}agrangians.
93: \newblock In \emph{Proceedings of the IEEE Conference on Decision and Control},
94: pages 2519--2523, 1999.
95:
96: \bibitem[Hamberg(2000)]{H2}
97: J.~Hamberg.
98: \newblock Controlled {L}agrangians, symmetries and conditions for strong
99: matching.
100: \newblock In \emph{Lagrangian and Hamiltonian Methods for Nonlinear Control}.
101: Elsevier, 2000.
102:
103: \bibitem[Hussein et~al.(2006)Hussein, Leok, Sanyal, and Bloch]{HuLeSaBl2006}
104: {I. I.} Hussein, M.~Leok, {A. K.} Sanyal, and {A.M.} Bloch.
105: \newblock A discrete variational integrator for optimal control problems in
106: {$SO(3)$}.
107: \newblock In \emph{Proceedings of the IEEE Conference on Decision and Control},
108: pages 6636--6641, 2006.
109:
110: \bibitem[Iserles et~al.(2000)Iserles, Munthe-Kaas, {N\o rsett}, and
111: Zanna]{IsMuNoZa2000}
112: A.~Iserles, H.~Munthe-Kaas, {S. P.} {N\o rsett}, and A.~Zanna.
113: \newblock Lie-group methods.
114: \newblock In \emph{Acta Numerica}, volume~9, pages 215--365. Cambridge
115: University Press, 2000.
116:
117: \bibitem[Junge et~al.(2005)Junge, Marsden, and Ober-Bl{\"o}baum]{JuMaOb2005}
118: O.~Junge, J.~E. Marsden, and S.~Ober-Bl{\"o}baum.
119: \newblock Discrete mechanics and optimal control.
120: \newblock In \emph{IFAC Congress}, Praha, 2005.
121:
122: \bibitem[Kane et~al.(1999)Kane, Marsden, and Ortiz]{KaMaOr1999}
123: C.~Kane, J.~E. Marsden, and M.~Ortiz.
124: \newblock Symplectic-energy-momentum preserving variational integrators.
125: \newblock \emph{J. Math. Phys.}, 40\penalty0 (7):\penalty0 3353--3371, 1999.
126:
127: \bibitem[Kane et~al.(2000)Kane, Marsden, Ortiz, and West]{KaMaOrWe2000}
128: C.~Kane, {J. E.} Marsden, M.~Ortiz, and M.~West.
129: \newblock Variational integrators and the {N}ewmark algorithm for conservative
130: and dissipative mechanical systems.
131: \newblock \emph{Int. J. Numer. Meth. Eng.}, 49\penalty0 (10):\penalty0
132: 1295--1325, 2000.
133:
134: \bibitem[Kelley(1995)]{Kel.BK95}
135: C.~T. Kelley.
136: \newblock \emph{Iterative Methods for Linear and Nonlinear Equations}.
137: \newblock SIAM, 1995.
138:
139: \bibitem[Lee et~al.(2005{\natexlab{a}})Lee, Leok, and McClamroch]{ACC06}
140: T.~Lee, M.~Leok, and N.~H. McClamroch.
141: \newblock Attitude maneuvers of a rigid spacecraft in a circular orbit.
142: \newblock In \emph{Proceedings of the American Control Conference}, pages
143: 1742--1747, 2005{\natexlab{a}}.
144:
145: \bibitem[Lee et~al.(2005{\natexlab{b}})Lee, Leok, and McClamroch]{CCA05}
146: T.~Lee, M.~Leok, and {N. H.} McClamroch.
147: \newblock A {L}ie group variational integrator for the attitude dynamics of a
148: rigid body with applications to the 3{D} pendulum.
149: \newblock In \emph{Proceedings of the IEEE Conference on Control Applications},
150: pages 962--967, 2005{\natexlab{b}}.
151:
152: \bibitem[Lee et~al.(2006)Lee, Leok, and McClamroch]{CDC06.opt}
153: T.~Lee, M.~Leok, and N.~H. McClamroch.
154: \newblock Optimal control of a rigid body using geometrically exact
155: computations on {S}{E}(3).
156: \newblock In \emph{Proceedings of the IEEE Conference on Decision and Control},
157: pages 2710--2715, 2006.
158:
159: \bibitem[Lee et~al.(2007{\natexlab{a}})Lee, Leok, and McClamroch]{CMA07}
160: T.~Lee, M.~Leok, and N.~H. McClamroch.
161: \newblock Lie group variational integrators for the full body problem.
162: \newblock \emph{Computer Methods in Applied Mechanics and Engineering},
163: 196:\penalty0 2907--2924, May 2007{\natexlab{a}}.
164:
165: \bibitem[Lee et~al.(2007{\natexlab{b}})Lee, Leok, and McClamroch]{CMDA07}
166: T.~Lee, M.~Leok, and N.~H. McClamroch.
167: \newblock Lie group variational integrators for the full body problem in
168: orbital mechanics.
169: \newblock \emph{Celestial Mechanics and Dynamical Astronomy}, 98\penalty0
170: (2):\penalty0 121--144, June 2007{\natexlab{b}}.
171:
172: \bibitem[Leimkuhler and Reich(2004)]{LeRe2004}
173: B.~Leimkuhler and S.~Reich.
174: \newblock \emph{Simulating {H}amiltonian Dynamics}, volume~14 of
175: \emph{Cambridge Monographs on Applied and Computational Mathematics}.
176: \newblock Cambridge University Press, 2004.
177:
178: \bibitem[Leok(2004)]{Leo.Phd04}
179: M.~Leok.
180: \newblock \emph{Foundations of {C}omputational {G}eometric {M}echanics}.
181: \newblock PhD thesis, California {I}nstittute of {T}echnology, 2004.
182:
183: \bibitem[Marsden and Ratiu(1999)]{MarRat.BK99}
184: J.~E. Marsden and T.~S. Ratiu.
185: \newblock \emph{Introduction to Mechanics and Symmetry}, volume~17 of
186: \emph{Texts in Applied Mathematics}.
187: \newblock Springer-Verlag, second edition, 1999.
188:
189: \bibitem[Marsden and West(2001)]{MaWe2001}
190: {J. E.} Marsden and M.~West.
191: \newblock Discrete mechanics and variational integrators.
192: \newblock In \emph{Acta Numerica}, volume~10, pages 317--514. Cambridge
193: University Press, 2001.
194:
195: \bibitem[Marsden et~al.(1999)Marsden, Pekarsky, and Shkoller]{MaPeSh1999}
196: {J. E.} Marsden, S.~Pekarsky, and S.~Shkoller.
197: \newblock Discrete {E}uler--{P}oincar\'e and {L}ie--{P}oisson equations.
198: \newblock \emph{Nonlinearity}, 12\penalty0 (6):\penalty0 1647--1662, 1999.
199:
200: \bibitem[Maschke et~al.(2001)Maschke, Ortega, and {van der Schaft}]{MaOrSc2000}
201: B.~Maschke, R.~Ortega, and A.~{van der Schaft}.
202: \newblock Energy-based {L}yapunov functions for forced {H}amiltonian systems
203: with dissipation.
204: \newblock \emph{IEEE Trans. on Autom. Contr.}, 45:\penalty0 1498--1502, 2001.
205:
206: \bibitem[Moser and Veselov(1991)]{MosVes.CMP91}
207: J.~Moser and A.~P. Veselov.
208: \newblock Discrete versions of some classical integrable systems and
209: factorization of matrix polynomials.
210: \newblock \emph{Communications in Mathematical Physics}, 139:\penalty0
211: 217--243, 1991.
212:
213: \bibitem[Ortega et~al.(2002)Ortega, Spong, {G\'{o}mez-Estern}, and
214: Blankenstein]{OrSpGoBl2002}
215: R.~Ortega, {M. W.} Spong, F.~{G\'{o}mez-Estern}, and G.~Blankenstein.
216: \newblock Stabilization of a class of underactuated mechanical systems via
217: interconnection and damping assignment.
218: \newblock \emph{IEEE Trans. on Autom. Contr.}, 47:\penalty0 1218--1233, 2002.
219:
220: \bibitem[Sanz-Serna(1992)]{San.AN92}
221: J.~M. Sanz-Serna.
222: \newblock Symplectic integrators for {H}amiltonian problems: an overview.
223: \newblock In \emph{Acta Numerica}, volume~1, pages 243--286. Cambridge
224: University Press, 1992.
225:
226: \bibitem[Scheeres et~al.(2006)Scheeres, Fahnestock, Ostro, Margot, Benner,
227: Broschart, Bellerose, Giorgini, Nolan, Magri, Pravec, Scheirich, Rose,
228: Jurgens, Jong, and Suzuki]{Sch.Sci06}
229: D.~J. Scheeres, E.~G. Fahnestock, S.~J. Ostro, J.~L. Margot, L.~A.~M. Benner,
230: S.~B. Broschart, J.~Bellerose, J.~D. Giorgini, M.~C. Nolan, C.~Magri,
231: P.~Pravec, P.~Scheirich, R.~Rose, R.~F. Jurgens, E.~M.~De Jong, and
232: S.~Suzuki.
233: \newblock Dynamical configuration of binary near-{E}arth asteroid (66391) 1999
234: {K}{W}4.
235: \newblock \emph{Science}, 314:\penalty0 1280--1283, 2006.
236:
237: \bibitem[Scheeres et~al.(2007)Scheeres, Hsiao, Park, Villac, and
238: Maruskin]{ScHsPaViMa2007}
239: {D. J.} Scheeres, {F.-Y.} Hsiao, {R. S.} Park, {B. F.} Villac, and {J. M.}
240: Maruskin.
241: \newblock Fundamental limits on spacecraft orbit uncertainty and distribution
242: propagation.
243: \newblock \emph{Journal of the Astronautical Sciences}, 2007.
244: \newblock to appear.
245:
246: \bibitem[Xiu(2007)]{Xi2007}
247: D.~Xiu.
248: \newblock Efficient collocational approach for parametric uncertainty analysis.
249: \newblock \emph{Comm. Comput. Phys.}, 2:\penalty0 293--309, 2007.
250:
251: \bibitem[Zenkov et~al.(2000)Zenkov, Bloch, Leonard, and {J. E.}Marsden]{ZBM3}
252: {D. V.} Zenkov, {A. M.} Bloch, {N. E.} Leonard, and {J. E.}Marsden.
253: \newblock Matching and stabilization of low-dimensional nonholonomic systems.
254: \newblock In \emph{Proceedings of the IEEE Conference on Decision and Control},
255: pages 1289--1295, 2000.
256:
257: \bibitem[Zenkov et~al.(2002)Zenkov, Bloch, Leonard, and {J.
258: E.}Marsden]{ZBM2002}
259: {D. V.} Zenkov, {A. M.} Bloch, {N. E.} Leonard, and {J. E.}Marsden.
260: \newblock Flat nonholonomic matching.
261: \newblock In \emph{Proceedings of the American Control Conference}, pages
262: 2812--2817, 2002.
263:
264: \end{thebibliography}
265: