-
2
-
-
0003217728
-
The methodology of n-version programming
-
A. Avizienis, "The methodology of n-version programming," Software Fault Tolerance, vol. 3, pp. 23-46, 1995.
-
(1995)
Software Fault Tolerance
, vol.3
, pp. 23-46
-
-
Avizienis, A.1
-
3
-
-
0032293138
-
Dependable system upgrade
-
L. Sha, "Dependable system upgrade," in Real-Time Systems Symposium, 1998, pp. 440-448.
-
(1998)
Real-Time Systems Symposium
, pp. 440-448
-
-
Sha, L.1
-
4
-
-
0035394327
-
Using simplicity to control complexity
-
-, "Using simplicity to control complexity," IEEE Software, vol. 18, no. 4, pp. 20-28, 2001.
-
(2001)
IEEE Software
, vol.18
, Issue.4
, pp. 20-28
-
-
Sha, L.1
-
5
-
-
52049124995
-
ORTEGA: An efficient and flexible software fault tolerance architecture for real-time control systems
-
X. Liu, H. Ding, K. Lee, Q. Wang, and L. Sha, "ORTEGA: An efficient and flexible software fault tolerance architecture for real-time control systems," in Euromicro Conference on Real-Time Systems, 2008, pp. 125-134.
-
(2008)
Euromicro Conference on Real-Time Systems
, pp. 125-134
-
-
Liu, X.1
Ding, H.2
Lee, K.3
Wang, Q.4
Sha, L.5
-
6
-
-
48649096882
-
The Simplex reference model: Limiting fault-propagation due to unreliable components in cyber-physical system architectures
-
T. Crenshaw, E. Gunter, C. Robinson, L. Sha, and P. Kumar, "The Simplex reference model: Limiting fault-propagation due to unreliable components in cyber-physical system architectures," in Real-Time Systems Symposium, 2007, pp. 400-412.
-
(2007)
Real-Time Systems Symposium
, pp. 400-412
-
-
Crenshaw, T.1
Gunter, E.2
Robinson, C.3
Sha, L.4
Kumar, P.5
-
7
-
-
48649090768
-
-
No. CMU/SEI-99-TR-020, Tech. Rep.
-
D. Seto, E. Ferreira, and T. Marz, "Case study: Development of a baseline controller for automatic landing of an F-16 aircraft using linear matrix inequalities (LMIs)," No. CMU/SEI-99-TR-020, Tech. Rep., 2000.
-
(2000)
Case Study: Development of A Baseline Controller for Automatic Landing of An F-16 Aircraft Using Linear Matrix Inequalities (LMIs)
-
-
Seto, D.1
Ferreira, E.2
Marz, T.3
-
8
-
-
0029288045
-
On characterizations of the input-to-state stability property
-
E. Sontag and Y. Wang, "On characterizations of the input-to-state stability property," Systems & Control Letters, vol. 24, no. 5, pp. 351-359, 1995.
-
(1995)
Systems & Control Letters
, vol.24
, Issue.5
, pp. 351-359
-
-
Sontag, E.1
Wang, Y.2
-
10
-
-
84859795434
-
L1 adaptive control for safety-critical systems
-
October
-
N. Hovakimyan, C. Cao, E. Kharisov, E. Xargay, and I. M. Gregory, "L1 adaptive control for safety-critical systems," IEEE Control Systems Magazine, vol. 31, no. 5, pp. 54-104, October 2011.
-
(2011)
IEEE Control Systems Magazine
, vol.31
, Issue.5
, pp. 54-104
-
-
Hovakimyan, N.1
Cao, C.2
Kharisov, E.3
Xargay, E.4
Gregory, I.M.5
-
11
-
-
57949092462
-
An almost necessary and sufficient condition for robust stability of closed-loop systems with disturbance observer
-
H. Shim and N. H. Jo, "An almost necessary and sufficient condition for robust stability of closed-loop systems with disturbance observer," Automatica, vol. 45, no. 1, pp. 296-299, 2009.
-
(2009)
Automatica
, vol.45
, Issue.1
, pp. 296-299
-
-
Shim, H.1
Jo, N.H.2
-
12
-
-
0031699562
-
Model-based current control of AC machines using the Internal Model Control method
-
L. Harnefors and H. Nee, "Model-based current control of AC machines using the Internal Model Control method," IEEE Transactions on Industry Applications, vol. 34, no. 1, pp. 133-141, 1998.
-
(1998)
IEEE Transactions on Industry Applications
, vol.34
, Issue.1
, pp. 133-141
-
-
Harnefors, L.1
Nee, H.2
-
13
-
-
0026882722
-
Adaptive nonlinear regulation: Estimation from the Lyapunovequation
-
J. Pomet and L. Praly, "Adaptive nonlinear regulation: estimation from the Lyapunovequation," IEEE Transactions on Automatic Control, vol. 37, no. 6, pp. 729-740, 1992.
-
(1992)
IEEE Transactions on Automatic Control
, vol.37
, Issue.6
, pp. 729-740
-
-
Pomet, J.1
Praly, L.2
-
14
-
-
84874268355
-
L1 adaptive control of system with unmatched disturbance by using eigenvalue assignment method
-
J. Che and C. Cao, "L1 adaptive control of system with unmatched disturbance by using eigenvalue assignment method," in Proceedings of IEEE Conference on Decision and Control, 2012.
-
(2012)
Proceedings of IEEE Conference on Decision and Control
-
-
Che, J.1
Cao, C.2
-
15
-
-
76949106091
-
Stability margins of L1 adaptive control architecture
-
C. Cao and N. Hovakimyan, "Stability margins of L1 adaptive control architecture," IEEE Transactions on Automatic Control, vol. 55, no. 2, pp. 480-487, 2010.
-
(2010)
IEEE Transactions on Automatic Control
, vol.55
, Issue.2
, pp. 480-487
-
-
Cao, C.1
Hovakimyan, N.2
-
16
-
-
52049116111
-
An engineering method for safety region development
-
Tech. Rep.
-
D. Seto and L. Sha, "An engineering method for safety region development," CMU SEI, Tech. Rep., 1999.
-
(1999)
CMU SEI
-
-
Seto, D.1
Sha, L.2
|