http://hdl.handle.net/1721.1/33972 Aeronautics and Astronautics (16) Fri, 24 May 2013 17:12:06 GMT 2013-05-24T17:12:06Z http://hdl.handle.net/1721.1/71860 16.358J / 16.863J System Safety, Spring 2005 Leveson, Nancy This course covers important concepts and techniques in designing and operating safety-critical systems. Topics covered include: the nature of risk, formal accident and human error models, causes of accidents, fundamental concepts of system safety engineering, system and software hazard analysis, designing for safety, fault tolerance, safety issues in the design of human-machine interaction, verification of safety, creating a safety culture, and management of safety-critical projects. It also includes a class project involving the high-level system design and analysis of a safety-critical system. Wed, 01 Jun 2005 00:00:00 GMT http://hdl.handle.net/1721.1/71860 2005-06-01T00:00:00Z http://hdl.handle.net/1721.1/71859 7.60 Cell Biology: Structure and Functions of the Nucleus, Spring 2006 Sharp, Phillip; Young, Richard This course covers the fundamentals of nuclear cell biology as well as the methodological and experimental approaches upon which they are based. Topics include Eukaryotic genome structure, function, and expression, processing of RNA, and regulation of the cell cycle. The techniques and logic used to address important problems in nuclear cell biology is emphasized. Lectures cover broad topic areas in nuclear cell biology and class discussions focus on representative papers recently published in the field. Thu, 01 Jun 2006 00:00:00 GMT http://hdl.handle.net/1721.1/71859 2006-06-01T00:00:00Z http://hdl.handle.net/1721.1/71858 16.410 / 16.413 Principles of Autonomy and Decision Making, Fall 2005 Williams, Brian; Roy, Nicholas This course surveys a variety of reasoning, optimization, and decision-making methodologies for creating highly autonomous systems and decision support aids. The focus is on principles, algorithms, and their applications, taken from the disciplines of artificial intelligence and operations research. Reasoning paradigms include logic and deduction, heuristic and constraint-based search, model-based reasoning, planning and execution, reasoning under uncertainty, and machine learning. Optimization paradigms include linear, integer and dynamic programming. Decision-making paradigms include decision theoretic planning, and Markov decision processes. This course is offered both to undergraduate (16.410) students as a professional area undergraduate subject, in the field of aerospace information technology, and graduate (16.413) students. Thu, 01 Dec 2005 00:00:00 GMT http://hdl.handle.net/1721.1/71858 2005-12-01T00:00:00Z http://hdl.handle.net/1721.1/68647 16.31 Feedback Control Systems, Fall 2007 How, Jonathan P. This course covers the fundamentals of control design and analysis using state-space methods. This includes both the practical and theoretical aspects of the topic. By the end of the course, the student should be able to design controllers using state-space methods and evaluate whether these controllers are robust. Sat, 01 Dec 2007 00:00:00 GMT http://hdl.handle.net/1721.1/68647 2007-12-01T00:00:00Z