-
1
-
-
0037252690
-
Dynamical properties of hybrid automata
-
Jan
-
J. Lygeros, K H Johansson, S. N. Simíc, J. Zhang, and S. Sastry, "Dynamical properties of hybrid automata," IEEE Trans. Automatic Control, vol. 48, no. 1, pp: 2-17, Jan. 2003.
-
(2003)
IEEE Trans. Automatic Control
, vol.48
, Issue.1
, pp. 2-17
-
-
Lygeros, J.1
Johansson, K.H.2
Simíc, S.N.3
Zhang, J.4
Sastry, S.5
-
2
-
-
8744255103
-
Computational techniques for the verification of hybrid systems
-
C. J. Tomlin, I. Mitchell, A. M. Bayen, and M. Oishi, "Computational techniques for the verification of hybrid systems," Proceedings of the IEEE, vol. 91, no. 7, pp: 986-1001, 2003.
-
(2003)
Proceedings of the IEEE
, vol.91
, Issue.7
, pp. 986-1001
-
-
Tomlin, C.J.1
Mitchell, I.2
Bayen, A.M.3
Oishi, M.4
-
3
-
-
18344404560
-
On the formal verification of hybrid systems
-
H. Guéguen, and J. Zaytoon, "On the formal verification of hybrid systems," Control Engineering Practice, vol. 12, no. 10, pp: 1253-1267, 2004.
-
(2004)
Control Engineering Practice
, vol.12
, Issue.10
, pp. 1253-1267
-
-
Guéguen, H.1
Zaytoon, J.2
-
4
-
-
33646910241
-
Perspectives and results on the stability and stabilizability of hybrid systems
-
R. A. Decarlo, M. S. Branicky, S. Pettersson, and B. Lennartson, "Perspectives and results on the stability and stabilizability of hybrid systems," Proceedings of the IEEE, vol. 88, no. 7, pp: 1069-1082, 2000.
-
(2000)
Proceedings of the IEEE
, vol.88
, Issue.7
, pp. 1069-1082
-
-
Decarlo, R.A.1
Branicky, M.S.2
Pettersson, S.3
Lennartson, B.4
-
5
-
-
33744804546
-
Optimal control of discrete-time hybrid automata under safety and liveness constraints
-
C. Seatzua, D. Gromovb, J. Raischb, D. Corona, and A. Giuaa, "Optimal control of discrete-time hybrid automata under safety and liveness constraints," Nonlinear Analysis, vol. 65, no. 6, pp: 1188-1210, 2006.
-
(2006)
Nonlinear Analysis
, vol.65
, Issue.6
, pp. 1188-1210
-
-
Seatzua, C.1
Gromovb, D.2
Raischb, J.3
Corona, D.4
Giuaa, A.5
-
6
-
-
0344395214
-
Hybrid control synthesis for eventuality specifications using level set methods
-
A. Trontis, and M. P. Spathopoulos, "Hybrid control synthesis for eventuality specifications using level set methods," Int. J. Control vol. 76 no. 16, pp: 1599-1627, 2003.
-
(2003)
Int. J. Control
, vol.76
, Issue.16
, pp. 1599-1627
-
-
Trontis, A.1
Spathopoulos, M.P.2
-
8
-
-
0344704102
-
Fault tolerant control system design with explicit consideration of performance degradation
-
Y. M. Zhang, and J. Jiang. "Fault tolerant control system design with explicit consideration of performance degradation," IEEE Trans. Aerospace and Electronic Systems, vol. 39, no. 3, pp: 838-848, 2003.
-
(2003)
IEEE Trans. Aerospace and Electronic Systems
, vol.39
, Issue.3
, pp. 838-848
-
-
Zhang, Y.M.1
Jiang, J.2
-
9
-
-
33748991477
-
Fault accommodation for a class of nonlinear dynamic systems
-
Sep
-
B. Jiang, M. Staroswiecki, and V. Cocquempot, "Fault accommodation for a class of nonlinear dynamic systems, IEEE Trans. on Automatic Control, 51 (9), 1578-1583, Sep. 2006.
-
(2006)
IEEE Trans. on Automatic Control
, vol.51
, Issue.9
, pp. 1578-1583
-
-
Jiang, B.1
Staroswiecki, M.2
Cocquempot, V.3
-
10
-
-
16244405646
-
Fault detection and isolation for hybrid systems using structured parity residuals
-
Melbourne, Australia
-
V. Cocquempot, T. EI Mezyani, and M. Staroswiecki, "Fault detection and isolation for hybrid systems using structured parity residuals," in Proc. of 5th Asian Control Conference,Melbourne, Australia, 2004, pp: 1204-1212.
-
(2004)
Proc. of 5th Asian Control Conference
, pp. 1204-1212
-
-
Cocquempot, V.1
Mezyani, T.E.I.2
Staroswiecki, M.3
-
11
-
-
29144453294
-
Monitoring and fault diagnosis of hybrid systems
-
F. Zhao, X. Koutsoukos, H. Haussecker, J. Reich, P. Cheung, "Monitoring and fault diagnosis of hybrid systems," IEEE Transactions on Systems, Man, and Cybernetics-Part B: Cybernetics, vol. 99, pp: 1225-1240, 2005.
-
(2005)
IEEE Transactions on Systems, Man, and Cybernetics-Part B: Cybernetics
, vol.99
, pp. 1225-1240
-
-
Zhao, F.1
Koutsoukos, X.2
Haussecker, H.3
Reich, J.4
Cheung, P.5
-
12
-
-
0036642695
-
An algebraic approach towards the controllability of controlled switching linear hybrid systems
-
Z. Yang, "An algebraic approach towards the controllability of controlled switching linear hybrid systems," Automatica, vol. 38, no. 7, pp: 1221-1228, 2002.
-
(2002)
Automatica
, vol.38
, Issue.7
, pp. 1221-1228
-
-
Yang, Z.1
-
13
-
-
34548050011
-
Adaptive fault tolerant strategy for a class of hybrid systems
-
Beijing, China
-
H. Yang, B. Jiang, V. Cocquempot, and M. Staroswiecki, "Adaptive fault tolerant strategy for a class of hybrid systems,"in Proc. of IFAC Safeprocess 06', Beijing, China, 2006, pp: 1021-1026.
-
(2006)
Proc. of IFAC Safeprocess 06
, pp. 1021-1026
-
-
Yang, H.1
Jiang, B.2
Cocquempot, V.3
Staroswiecki, M.4
-
14
-
-
38049105934
-
Fault accommodation for hybrid systems with continuous and discrete faults
-
Springer-Verlag, Berlin Heidelberg, to appear
-
H. Yang, B. Jiang, and V. Cocquempot, "Fault accommodation for hybrid systems with continuous and discrete faults," Hybrid Systems: Computation and Control, LNCS, 4416, Springer-Verlag, Berlin Heidelberg, 2007, to appear.
-
(2007)
Hybrid Systems: Computation and Control, LNCS
, vol.4416
-
-
Yang, H.1
Jiang, B.2
Cocquempot, V.3
-
15
-
-
84958153005
-
Design of observers for hybrid systems
-
Springer-Verlag, Berlin Heidelberg
-
A. Balluchi, L. Benvenuti, M. D. Di. Benedetto, and A. L. Sangiovanni-Vincentelli, "Design of Observers for Hybrid Systems," in Hybrid Systems: Computation and Control, LNCS, vol. 2289, Springer-Verlag, Berlin Heidelberg, 2002, pp: 76-89.
-
(2002)
Hybrid Systems: Computation and Control, LNCS
, vol.2289
, pp. 76-89
-
-
Balluchi, A.1
Benvenuti, L.2
Di. Benedetto, M.D.3
Sangiovanni-Vincentelli, A.L.4
-
16
-
-
33744902841
-
Exact differentiation and sliding mode observers for switched lagrangian systems
-
H. Saadaouia, N. Manamannib, M. Djemä, J. P. Barbot, and T. Floquet, "Exact differentiation and sliding mode observers for switched Lagrangian systems,"Nonlinear Analysis, vol. 65, no. 5, pp: 1050-1069, 2006.
-
(2006)
Nonlinear Analysis
, vol.65
, Issue.5
, pp. 1050-1069
-
-
Saadaouia, H.1
Manamannib, N.2
Djemä, M.3
Barbot, J.P.4
Floquet, T.5
-
17
-
-
26844560145
-
Output feedback control of switched nonlinear systems using multiple lyapunov functions
-
N. H. EI-Farra, P. Mhaskar, and P. D. Christofides, "Output feedback control of switched nonlinear systems using multiple lyapunov functions," Systems and Control Letters, vol. 54, pp: 1163-1182, 2005.
-
(2005)
Systems and Control Letters
, vol.54
, pp. 1163-1182
-
-
Ei-Farra, N.H.1
Mhaskar, P.2
Christofides, P.D.3
-
18
-
-
0004178386
-
-
3rd edition, Upper Saddle River, NJ: Prentice-Hall
-
H. K. Khalil, Nonlinear Systems, 3rd edition, Upper Saddle River, NJ: Prentice-Hall, 2002.
-
(2002)
Nonlinear Systems
-
-
Khalil, H.K.1
-
19
-
-
1542269341
-
Optimal control of sampled-data piecewise affine systems and its application to cpu processing control
-
Maui, Hawaii USA
-
S. Azuma, and J. Imura, "Optimal control of sampled-data piecewise affine systems and its application to CPU processing control," in Proc. of 42nd IEEE Conference on Decision and Control, Maui, Hawaii USA, 2003, pp: 161-166
-
(2003)
Proc. of 42nd IEEE Conference on Decision and Control
, pp. 161-166
-
-
Azuma, S.1
Imura, J.2
|