-
1
-
-
0031387501
-
Symbolic analysis of hybrid systems
-
R. Alur, T. Henzinger, and H. Wong-Toi, "Symbolic analysis of hybrid systems," in Proc. 36th IEEE Conf. Decision and Control, 1997, pp. 702-707.
-
Proc. 36th IEEE Conf. Decision and Control, 1997
, pp. 702-707
-
-
Alur, R.1
Henzinger, T.2
Wong-Toi, H.3
-
2
-
-
0032051095
-
Hybrid control systems: An introductory discussion to the special issue
-
Apr
-
P.J. Antsaklis and A. Nerode, "Hybrid control systems: An introductory discussion to the special issue," IEEE Trans. Automat. Contr., vol. 43, pp. 457-460, Apr. 1998.
-
(1998)
IEEE Trans. Automat. Contr.
, vol.43
, pp. 457-460
-
-
Antsaklis, P.J.1
Nerode, A.2
-
3
-
-
0010530265
-
Verification of hybrid systems via mathematical programming
-
A. Bemporad and M. Moran, "Verification of hybrid systems via mathematical programming," presented at the Hybrid Systems: Computation and Control; 2nd Int. Workshop, Nijmegen, The Netherlands, 1999.
-
Hybrid Systems: Computation and Control; 2nd Int. Workshop, Nijmegen, The Netherlands, 1999
-
-
Bemporad, A.1
Moran, M.2
-
4
-
-
0001382937
-
Hybrid control and dynamic programming
-
A. Bensoussan and J. Menaldi, "Hybrid control and dynamic programming," Dyna. Continuous, Discrete, Impul. Syst., vol. 3, no. 4, pp. 395-442, 1997.
-
(1997)
Dyna. Continuous, Discrete, Impul. Syst.
, vol.3
, Issue.4
, pp. 395-442
-
-
Bensoussan, A.1
Menaldi, J.2
-
6
-
-
0032047505
-
Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
-
Apr
-
M. Branicky, "Multiple Lyapunov functions and other analysis tools for switched and hybrid systems," IEEE Trans. Automat. Contr., vol. 43, pp. 475-482, Apr. 1998.
-
(1998)
IEEE Trans. Automat. Contr.
, vol.43
, pp. 475-482
-
-
Branicky, M.1
-
7
-
-
0029539776
-
Algorithms for optimal hybrid control
-
M. S. Branicky and S. K. Mitter, "Algorithms for optimal hybrid control," presented at the 34th Conf. Decision and Control, New Orleans, LA, 1995.
-
34th Conf. Decision and Control, New Orleans, LA, 1995
-
-
Branicky, M.S.1
Mitter, S.K.2
-
8
-
-
0024685717
-
Controllability and observability of hybrid systems
-
June
-
J. Ezzine and A. H. Haddad, "Controllability and observability of hybrid systems," Int. J. Control, vol. 49, pp. 2045-2055, June 1989.
-
(1989)
Int. J. Control
, vol.49
, pp. 2045-2055
-
-
Ezzine, J.1
Haddad, A.H.2
-
10
-
-
0033329356
-
Optimal control of hybrid systems
-
S. Hedlund and A. Rantzer, "Optimal control of hybrid systems," presented at the IEEE Conf. Decision and Control, Phoenix, AZ, 1999.
-
IEEE Conf. Decision and Control, Phoenix, AZ, 1999
-
-
Hedlund, S.1
Rantzer, A.2
-
11
-
-
0001954045
-
What's decidable about hybrid automata?
-
T. Henzinger, P. Kopke, A. Puri, and P. Varaiya, "What's decidable about hybrid automata?," in Proc. 27th Ann. Symp. Theory of Computing, 1995, pp. 373-382.
-
Proc. 27th Ann. Symp. Theory of Computing, 1995
, pp. 373-382
-
-
Henzinger, T.1
Kopke, P.2
Puri, A.3
Varaiya, P.4
-
14
-
-
0003696856
-
-
New York: Springer-Verlag; Theory. Probability, and its Applications
-
S. Rachev and L. Rüschendorf, Mass Transportation Problems. New York: Springer-Verlag, 1998, vol. I, Theory. Probability, and its Applications.
-
(1998)
Mass Transportation Problems
, vol.1
-
-
Rachev, S.1
Rüschendorf, L.2
-
16
-
-
16744368573
-
Optimal control for hybrid systems: An hysteresis example
-
P. Riedinger and C. Jung, "Optimal control for hybrid systems: An hysteresis example," in Proc. IEEE Int. Conf. Systems, Man, and Cybernetics, vol. 1, 1999, pp. 188-193.
-
(1999)
Proc. IEEE Int. Conf. Systems, Man, and Cybernetics
, vol.1
, pp. 188-193
-
-
Riedinger, P.1
Jung, C.2
-
18
-
-
0017478092
-
Variable structure systems with sliding modes
-
Apr.
-
V. I. Utkin, "Variable structure systems with sliding modes," IEEE Trans. Automat. Contr., vol. AC-22, pp. 212-222, Apr. 1977.
-
(1977)
IEEE Trans. Automat. Contr.
, vol.AC-22
, pp. 212-222
-
-
Utkin, V.I.1
-
19
-
-
0027556195
-
Convex duality and nonlinear optimal control
-
Mar.
-
R. Vinter, "Convex duality and nonlinear optimal control," SIAM J. Control Optim., vol. 31, no. 2, pp. 518-538, Mar. 1993.
-
(1993)
SIAM J. Control Optim.
, vol.31
, Issue.2
, pp. 518-538
-
-
Vinter, R.1
|