-
1
-
-
0021892426
-
A subdivision algorithm in configuration space for findpath with rotation
-
R.A. Brooks and T. Lozano-Perez, A subdivision algorithm in configuration space for findpath with rotation. IEEE Systems, Man and Cybernetics 15 (1985) 224-233.
-
(1985)
IEEE Systems, Man and Cybernetics
, vol.15
, pp. 224-233
-
-
Brooks, R.A.1
Lozano-Perez, T.2
-
2
-
-
84949434999
-
A geometric approach to bisimulation and verification of hybrid systems
-
F.W. Vaandragerand and J.H. van Schuppen Eds., Springer
-
M. Broucke, A geometric approach to bisimulation and verification of hybrid systems, in HSCC 1999, LNCS, F.W. Vaandragerand and J.H. van Schuppen Eds., Springer 1569 (1999) 61-75.
-
(1999)
HSCC 1999, LNCS
, vol.1569
, pp. 61-75
-
-
Broucke, M.1
-
3
-
-
84974691332
-
Theory of optimal control using bisimulations
-
N. Lynch and B. Krogh Eds., Springer
-
M. Broucke, M.D. Di Benedetto, S. Di Gennaro and A. Sangiovanni-Vincentelli, Theory of optimal control using bisimulations, in HSCC 2000, LNCS, N. Lynch and B. Krogh Eds., Springer 1790 (2000) 89-102.
-
(2000)
HSCC 2000, LNCS
, vol.1790
, pp. 89-102
-
-
Broucke, M.1
Di Benedetto, M.D.2
Di Gennaro, S.3
Sangiovanni-Vincentelli, A.4
-
4
-
-
84944223129
-
Optimal control using bisimulations: Implementation
-
M.D. Di Benedetto and A. Sangiovanni-Vincentelli Eds., Springer
-
M. Broucke, M.D. Di Benedetto, S. Di Gennaro and A. Sangiovanni-Vincentelli, Optimal control using bisimulations: Implementation, in HSCC 2001, LNCS, M.D. Di Benedetto and A. Sangiovanni-Vincentelli Eds., Springer 2034 (2001) 175-188.
-
(2001)
HSCC 2001, LNCS
, vol.2034
, pp. 175-188
-
-
Broucke, M.1
Di Benedetto, M.D.2
Di Gennaro, S.3
Sangiovanni-Vincentelli, A.4
-
5
-
-
0004116989
-
-
Cambridge, Mass, MIT Press, New York McGraw-Hill
-
T.H. Cormen, C.E. Leierson and R.L. Rivest, Introduction to Algorithms. Cambridge, Mass. MIT Press, New York McGraw-Hill (1990).
-
(1990)
Introduction to Algorithms
-
-
Cormen, T.H.1
Leierson, C.E.2
Rivest, R.L.3
-
6
-
-
0031537466
-
A subdivision algorithm for the computation of unstable manifolds and global attractors
-
M. Dellnitz and A. Hohmann, A subdivision algorithm for the computation of unstable manifolds and global attractors. Numer. Math,. 75 (1997) 293-317.
-
(1997)
Numer. Math
, vol.75
, pp. 293-317
-
-
Dellnitz, M.1
Hohmann, A.2
-
7
-
-
0005484783
-
The algorithms behind GAIO — Set oriented numerical methods for dynamical systems
-
B. Fiedler Ed., Springer
-
M. Dellnitz, G. Froyland and O. Junge, The algorithms behind GAIO — Set oriented numerical methods for dynamical systems, in Ergodic Theory, Analysis, and Efficient Simulation of Dynamical Systems, B. Fiedler Ed., Springer (2001) 145-174.
-
(2001)
Ergodic Theory, Analysis, and Efficient Simulation of Dynamical Systems
, pp. 145-174
-
-
Dellnitz, M.1
Froyland, G.2
Junge, O.3
-
8
-
-
34147120474
-
A Note on Two Problems in Connection with Graphs
-
E.W. Dijkstra, A Note on Two Problems in Connection with Graphs. Numer. Math. 5 (1959) 269-271.
-
(1959)
Numer. Math.
, vol.5
, pp. 269-271
-
-
Dijkstra, E.W.1
-
9
-
-
12844284493
-
Numerical solution of Dynamic Programming equations
-
M. Bardi and I. Capuzzo Dolcetta Eds., Birkhauser
-
M. Falcone, Numerical solution of Dynamic Programming equations, in Viscosity solutions and deterministic optimal control problems, M. Bardi and I. Capuzzo Dolcetta Eds., Birkhauser (1997).
-
(1997)
Viscosity Solutions and Deterministic Optimal Control Problems
-
-
Falcone, M.1
-
10
-
-
0035438230
-
Interval methods for rigorous investigations of periodic orbits
-
Z. Galias, Interval methods for rigorous investigations of periodic orbits. Int. J. Bifur. Chaos 11 (2001) 2427-2450.
-
(2001)
Int. J. Bifur. Chaos
, vol.11
, pp. 2427-2450
-
-
Galias, Z.1
-
11
-
-
0040453725
-
An Adaptive Grid Scheme for the discrete Hamilton-Jacobi-Bellman Equation
-
L. Grüne, An Adaptive Grid Scheme for the discrete Hamilton-Jacobi-Bellman Equation. Numer. Math. 75 (1997) 319-337.
-
(1997)
Numer. Math.
, vol.75
, pp. 319-337
-
-
Grüne, L.1
-
12
-
-
84909874286
-
-
Report SOL 86-2, Systems Optimization Laboratory, Stanford University
-
P.E. Gill, W. Murray, M.A. Saunders and M.H. Wright, User’s Guide for NPSOL (Version 4.0): a Fortran package for nonlinear programming, Report SOL 86-2, Systems Optimization Laboratory, Stanford University (1986).
-
(1986)
User’s Guide for NPSOL (Version 4.0): A Fortran Package for Nonlinear Programming
-
-
Gill, P.E.1
Murray, W.2
Saunders, M.A.3
Wright, M.H.4
-
13
-
-
0034847653
-
On the geometry of optimal control: The inverted pendulum example
-
Arlington VA
-
J. Hauser and H.M. Osinga, On the geometry of optimal control: the inverted pendulum example, in Proc. Amer. Control Conf., Arlington VA (2001) 1721-1726.
-
(2001)
Proc. Amer. Control Conf.
, pp. 1721-1726
-
-
Hauser, J.1
Osinga, H.M.2
-
14
-
-
0035332624
-
Unconstrained receding horizon control of nonlinear systems
-
A. Jadbabaie, J. Yu and J. Hauser, Unconstrained receding horizon control of nonlinear systems. IEEE Trans. Automat. Control 46 (2001) 776-783.
-
(2001)
IEEE Trans. Automat. Control
, vol.46
, pp. 776-783
-
-
Jadbabaie, A.1
Yu, J.2
Hauser, J.3
-
15
-
-
3042553491
-
Rigorous discretization of subdivision techniques
-
B. Fiedler, K. Grüoger and J. Sprekels Eds., World Scientific
-
O. Junge, Rigorous discretization of subdivision techniques, in Proc. Int. Conf. Differential Equations Equadiff 99, B. Fiedler, K. Grüoger and J. Sprekels Eds., World Scientific 2 (2000) 916-918.
-
(2000)
Proc. Int. Conf. Differential Equations Equadiff 99
, vol.2
, pp. 916-918
-
-
Junge, O.1
-
17
-
-
21444435011
-
On the stabilization of a parametrically driven inverted double pendulum
-
K. Schiele, On the stabilization of a parametrically driven inverted double pendulum. Z. Angew. Math. Mech. 77 (1997) 143-146.
-
(1997)
Z. Angew. Math. Mech.
, vol.77
, pp. 143-146
-
-
Schiele, K.1
-
18
-
-
0035949589
-
Ordered upwind methods for static Hamilton-Jacobi equations
-
J.A. Sethian and A. Vladimirsky, Ordered upwind methods for static Hamilton-Jacobi equations. Proc. Nat. Acad. Sci. USA 98 (2001) 11069-11074.
-
(2001)
Proc. Nat. Acad. Sci. USA
, vol.98
, pp. 11069-11074
-
-
Sethian, J.A.1
Vladimirsky, A.2
-
20
-
-
0034426082
-
Viability kernels and control sets
-
D. Szolnoki, Viability kernels and control sets. ESAIM: COCV 5 (2000) 175-185.
-
(2000)
ESAIM: COCV
, vol.5
, pp. 175-185
-
-
Szolnoki, D.1
-
21
-
-
0029373106
-
Efficient algorithms for globally optimal trajectories
-
J.N. Tsitsiklis, Efficient algorithms for globally optimal trajectories. IEEE Trans. Automat. Control 40 (1995) 1528-1538.
-
(1995)
IEEE Trans. Automat. Control
, vol.40
, pp. 1528-1538
-
-
Tsitsiklis, J.N.1
|