-
1
-
-
84949434999
-
A geometric approach to bisimulation and verification of hybrid systems
-
F. Vaandrager and J. van Schuppen, eds., LNCS 1569, Springer-Verlag
-
M. Broucke. A geometric approach to bisimulation and verification of hybrid systems. In Hybrid Systems: Computation and Control, F. Vaandrager and J. van Schuppen, eds., LNCS 1569, Springer-Verlag, pp. 61-75, 1999.
-
(1999)
Hybrid Systems: Computation and Control
, pp. 61-75
-
-
Broucke, M.1
-
2
-
-
84974691332
-
The- ory of optimal control using bisimulations
-
N. Lynch and B. Krogh, eds., LNCS 1790, Springer-Verlag
-
M. Broucke, M.D. Di Benedetto, S. Di Gennaro, A. Sangiovanni-Vincentelli. Theory of optimal control using bisimulations. In Hybrid Systems: Computation and Control, N. Lynch and B. Krogh, eds., LNCS 1790, Springer-Verlag, pp. 89-102, 2000.
-
(2000)
Hybrid Systems: Computation and Control
, pp. 89-102
-
-
Broucke, M.1
Di Benedetto, M.D.2
Di Gennaro, S.3
Sangiovanni-Vincentelli, A.4
-
3
-
-
34250147880
-
On a discrete approximation of the Hamilton-Jacobi equation for dynamic programming
-
I. Capuzzo Dolcetta. On a discrete approximation of the Hamilton-Jacobi equation for dynamic programming. Applied Math. Optim., vol. 10, pp. 367-377, 1983.
-
(1983)
Applied Math. Optim.
, vol.10
, pp. 367-377
-
-
Capuzzo Dolcetta, I.1
-
4
-
-
84967758647
-
Viscosity solutions of Hamilton-Jacobi equations
-
M.G. Crandall, P.L. Lions. Viscosity solutions of Hamilton-Jacobi equations. Trans. Amer. Math. Soc., vol. 277, no. 1, pp. 1-42, 1983.
-
(1983)
Trans. Amer. Math. Soc.
, vol.277
, Issue.1
, pp. 1-42
-
-
Crandall, M.G.1
Lions, P.L.2
-
5
-
-
84966245867
-
Two approximations of solutions of Hamilton-Jacobi equations
-
July
-
M.G. Crandall, P.L. Lions. Two approximations of solutions of Hamilton-Jacobi equations. Mathematics of Computation, vol. 43, no. 176, pp. 1-19, July 1984.
-
(1984)
Mathematics of Computation
, vol.43
, Issue.176
, pp. 1-19
-
-
Crandall, M.G.1
Lions, P.L.2
-
6
-
-
34147120474
-
A note on two problems in connection with graphs
-
E.W. Dijkstra. A note on two problems in connection with graphs. Numerische Mathematik 1, p. 269-271, 1959.
-
(1959)
Numerische Mathematik
, vol.1
, pp. 269-271
-
-
Dijkstra, E.W.1
-
7
-
-
0023123237
-
A numerical approach to the infinite horizon problem of deterministic control theory
-
M. Falcone. A numerical approach to the infinite horizon problem of deterministic control theory. Applied Mathematics and Optimization, 15, pp. 1-13, 1987.
-
(1987)
Applied Mathematics and Optimization
, vol.15
, pp. 1-13
-
-
Falcone, M.1
-
9
-
-
0022027092
-
On deterministic control problems: An approximation procedure for the optimal cost. I: The stationary problem
-
R. Gonzales and E. Rofman. On deterministic control problems: an approximation procedure for the optimal cost. I: the stationary problem. SIAM J. Contr. Optim., vol. 23, no. 2, pp. 242-266, 1985.
-
(1985)
SIAM J. Contr. Optim.
, vol.23
, Issue.2
, pp. 242-266
-
-
Gonzales, R.1
Rofman, E.2
-
11
-
-
84949464140
-
As soon as possible: Time optimal control for timed automata
-
F. Vaandrager and J. van Schuppen, eds., LNCS 1569, Springer-Verlag
-
E. Asarin and O. Maler. As soon as possible: time optimal control for timed automata. In Hybrid Systems: Computation and Control, F. Vaandrager and J. van Schuppen, eds., LNCS 1569, Springer-Verlag, pp. 19-30, 1999.
-
(1999)
Hybrid Systems: Computation and Control
, pp. 19-30
-
-
Asarin, E.1
Maler, O.2
-
12
-
-
0032002953
-
Implementation of efficient algorithms for globally optimal trajectories
-
Feb
-
L. Polymenakos, D. Bertsekas, and J. Tsitsiklis.: Implementation of efficient algorithms for globally optimal trajectories. IEEE Trans. AC, vol.43, no.2, pp. 278-83, Feb. 1998.
-
(1998)
IEEE Trans. AC
, vol.43
, Issue.2
, pp. 278-283
-
-
Polymenakos, L.1
Bertsekas, D.2
Tsitsiklis, J.3
-
13
-
-
46549091075
-
Approximation schemes for viscosity solutions of Hamilton-Jacobi equations
-
August
-
P.E. Souganidis. Approximation schemes for viscosity solutions of Hamilton-Jacobi equations. Journal of Differential Equations, vol. 59, no. 1, p. 1-43, August 1985.
-
(1985)
Journal of Differential Equations
, vol.59
, Issue.1
, pp. 1-43
-
-
Souganidis, P.E.1
-
14
-
-
0029373106
-
Efficient algorithms for globally optimal trajectories
-
September
-
J.N. Tsitsiklis. Efficient algorithms for globally optimal trajectories. IEEE Transactions on Automatic Control, vol. 40, no. 9, pp. 1528-1538, September 1995.
-
(1995)
IEEE Transactions on Automatic Control
, vol.40
, Issue.9
, pp. 1528-1538
-
-
Tsitsiklis, J.N.1
|