-
1
-
-
0029637354
-
The algorithmic analysis of hybrid systems
-
R. Alur, C. Coucoubetis, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine. The algorithmic analysis of hybrid systems. Theor. Comp. Sci., 138:3-34, 1995.
-
(1995)
Theor. Comp. Sci.
, vol.138
, pp. 3-34
-
-
Alur, R.1
Coucoubetis, C.2
Henzinger, T.A.3
Ho, P.-H.4
Nicollin, X.5
Olivero, A.6
Sifakis, J.7
Yovine, S.8
-
2
-
-
0033097938
-
Control of systems integrating logic, dynamics, and constraints
-
A. Bemporad and M. Morari. Control of systems integrating logic, dynamics, and constraints. Automatica, 35(3):407-427.
-
Automatica
, vol.35
, Issue.3
, pp. 407-427
-
-
Bemporad, A.1
Morari, M.2
-
3
-
-
45449092068
-
On the optimal control law for linear discrete time hybrid systems
-
Springer
-
A. Bemporad, F. Borrelli, and M. Morari. On the optimal control law for linear discrete time hybrid systems. In HSCC 2002, LNCS 2289, pp. 105-119, Springer, 2002.
-
(2002)
HSCC 2002, LNCS
, vol.2289
, pp. 105-119
-
-
Bemporad, A.1
Borrelli, F.2
Morari, M.3
-
4
-
-
0034438129
-
Optimal control of a class of linear hybrid systems with saturations
-
B. De Schutter. Optimal control of a class of linear hybrid systems with saturations. SICON, 39(3):835-851, 2000.
-
(2000)
SICON
, vol.39
, Issue.3
, pp. 835-851
-
-
De Schutter, B.1
-
5
-
-
0032140730
-
What's decidable about hybrid automata?
-
T.A. Henzinger, P.W. Kopke, A. Pun, and P. Varaiya. What's decidable about hybrid automata? J. of Computer and System Sciences, 57:94-124, 1998.
-
(1998)
J. of Computer and System Sciences
, vol.57
, pp. 94-124
-
-
Henzinger, T.A.1
Kopke, P.W.2
Pun, A.3
Varaiya, P.4
-
7
-
-
0033311181
-
Basic problems in stability and design of switched systems
-
D. Liberzon and A.S. Morse. Basic problems in stability and design of switched systems. IEEE CSM, 19:59-70, 1999.
-
(1999)
IEEE CSM
, vol.19
, pp. 59-70
-
-
Liberzon, D.1
Morse, A.S.2
-
8
-
-
0036806002
-
LQR optimization of linear system switching
-
B. Lincoln and B. Bernhardsson. LQR optimization of linear system switching. IEEE TAC, 47(10):1701-1705, 2002.
-
(2002)
IEEE TAC
, vol.47
, Issue.10
, pp. 1701-1705
-
-
Lincoln, B.1
Bernhardsson, B.2
-
9
-
-
0012786233
-
Optimal control of hybrid systems in manufacturing
-
D.L. Pepyne and C.G. Cassandras. Optimal control of hybrid systems in manufacturing. Proc. IEEE, 88(7):1108-1123.
-
Proc. IEEE
, vol.88
, Issue.7
, pp. 1108-1123
-
-
Pepyne, D.L.1
Cassandras, C.G.2
-
10
-
-
0042289728
-
Time-optimal control and disturbance compensation for a class of hybrid systems
-
S. Pettersson and B. Lennartson. Time-optimal control and disturbance compensation for a class of hybrid systems. In Proc. 13th IFAC World Congress, Vol. J, pp. 281-286, 1996.
-
(1996)
Proc. 13th IFAC World Congress
, vol.J
, pp. 281-286
-
-
Pettersson, S.1
Lennartson, B.2
-
12
-
-
0033283932
-
Time optimal control of hybrid systems
-
P. Riedinger, C. Zanne, and F. Kratz. Time optimal control of hybrid systems. In Proc. 1999 ACC, pp. 2466-2470, 1999.
-
(1999)
Proc. 1999 ACC
, pp. 2466-2470
-
-
Riedinger, P.1
Zanne, C.2
Kratz, F.3
-
14
-
-
35248899269
-
Results and perspectives on computational methods for optimal control of switched systems
-
Springer
-
X. Xu and P.J. Antsaklis. Results and perspectives on computational methods for optimal control of switched systems. In HSCC 2003, LNCS 2623, pp. 540-555, Springer, 2003.
-
(2003)
HSCC 2003, LNCS
, vol.2623
, pp. 540-555
-
-
Xu, X.1
Antsaklis, P.J.2
|