-
1
-
-
0000879330
-
Oops, it didn't arm. - A case study of two automation surprises
-
(Columbus, Ohio)
-
E. Palmer, "Oops, it didn't arm. - a case study of two automation surprises," in 8th International Symposium on Aviation Psychology, (Columbus, Ohio), 1995.
-
(1995)
8th International Symposium on Aviation Psychology
-
-
Palmer, E.1
-
3
-
-
0004037920
-
-
PhD thesis, Department of Industrial and Systems Engineering, Georgia Institute of Technology
-
A. Degani, Modeling Human-Machine Systems: On Modes, Error, and Patterns of Interation. PhD thesis, Department of Industrial and Systems Engineering, Georgia Institute of Technology, 1996.
-
(1996)
Modeling Human-Machine Systems: On Modes, Error, and Patterns of Interation
-
-
Degani, A.1
-
4
-
-
0142210836
-
Synthesizing controllers for nonlinear hybrid systems
-
(T. Henzinger and S. Sastry, eds.), Lecture Notes in Computer Science, New York: Springer Verlag
-
C. Tomlin, J. Lygeros, and S. Sastry, "Synthesizing controllers for nonlinear hybrid systems," in Hybrid Systems: Computation and Control (T. Henzinger and S. Sastry, eds.), Lecture Notes in Computer Science, New York: Springer Verlag, 1998.
-
(1998)
Hybrid Systems: Computation and Control
-
-
Tomlin, C.1
Lygeros, J.2
Sastry, S.3
-
5
-
-
0032255729
-
On controller synthesis for nonlinear hybrid systems
-
Submitted to Tampa, Florida
-
J. Lygeros, C. Tomlin, and S. Sastry, "On controller synthesis for nonlinear hybrid systems." Submitted to the IEEE Conference on Decision and Control, Tampa, Florida, 1998.
-
(1998)
The IEEE Conference on Decision and Control
-
-
Lygeros, J.1
Tomlin, C.2
Sastry, S.3
-
6
-
-
84957702766
-
Multiob-jective hybrid controller synthesis
-
(O. Maler, ed.), Lecture Notes in Computer Science Grenoble: Springer-Verlag
-
J. Lygeros, C. Tomlin, and S. Sastry, "Multiob-jective hybrid controller synthesis," in Hybrid and Real-Time Systems (O. Maler, ed.), Lecture Notes in Computer Science 1201, pp. 109-123, Grenoble: Springer-Verlag, 1997.
-
(1997)
Hybrid and Real-Time Systems
, vol.1201
, pp. 109-123
-
-
Lygeros, J.1
Tomlin, C.2
Sastry, S.3
-
7
-
-
0029540584
-
Output tracking for a non-minimum phase dynamic CTOL aircraft model
-
(New Orleans, LA)
-
C. Tomlin, J. Lygeros, L. Benvenuti, and S. Sastry, "Output tracking for a non-minimum phase dynamic CTOL aircraft model," in Proceedings of the IEEE Conference on Decision and Control, (New Orleans, LA), pp. 1867-1872, 1995.
-
(1995)
Proceedings of the IEEE Conference on Decision and Control
, pp. 1867-1872
-
-
Tomlin, C.1
Lygeros, J.2
Benvenuti, L.3
Sastry, S.4
-
8
-
-
0003987722
-
Theory, algorithms, and applications of level set methods for propagating interfaces
-
University of California, Berkeley
-
J. A. Sethian, "Theory, algorithms, and applications of level set methods for propagating interfaces," tech. rep., Center for Pure and Applied Mathematics (PAM-651), University of California, Berkeley, 1995.
-
(1995)
Tech. Rep., Center for Pure and Applied Mathematics (PAM-651)
-
-
Sethian, J.A.1
|