Safety verification for automated vehicle maneuvers

Safety verification for automated vehicle maneuvers

Thesis (S.B. and M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1998.

Bibliographic Details
Main Author:	Dolginova, Ekaterina, 1977-
Other Authors:	Nancy A. Lynch.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2009
Subjects:	Electrical Engineering and Computer Science
Online Access:	http://hdl.handle.net/1721.1/47573

Similar Items

Automating modular program verification by refining specifications
by: Taghdiri, Mana, 1979-
Published: (2008)

Automated verification of model-based programs under uncertainty
by: Mahtab, Tazeen, 1981-
Published: (2005)

Modular data structure verification
by: Kuncak, Viktor (Viktor Jaroslav), 1977-
Published: (2007)

Associative memory control for vehicle maneuver
by: Ng, Benjamin Hsieh Nam.
Published: (2008)

Contract-based safety verification for autonomous driving
by: Liebenwein, Lucas
Published: (2019)

Formal verification of safety-critical hybrid systems
by: Livadas, Carolos
Published: (2008)

A cost effective ATE calibration/verification solution
by: Chung, Edgar N., 1977-
Published: (2014)

Control primitives for fast helicopter maneuvers
by: Perk Barıṣ Eren
Published: (2007)

Flying between obstacles with an autonomous knife-edge maneuver
by: Barry, Andrew J. (Andrew James)
Published: (2013)

Automated cardiovascular system identification
by: Chen, Chun-Cheng Richard, 1977-
Published: (2013)

Architecture and implementation of automation and scripting for oxygen
by: Tariq, Mohammad Ali, 1977-
Published: (2014)

Automated medical trend detection
by: DeSouza, Mary (Mary Teresa), 1977-
Published: (2014)

Design automation and analysis of three-dimensional integrated circuits
by: Das, Shamik, 1977-
Published: (2005)

Local control in a distributed automated identification environment
by: Waldrop, James Luke, 1977-
Published: (2014)

Automated semantic correlation between multiple schema for information exchange
by: Wang, David, 1977-
Published: (2014)

Anthills built to order : automating construction with artificial swarms
by: Werfel, Justin (Justin Keith), 1977-
Published: (2007)

Automated ground maintenance and health management for autonomous unmanned aerial vehicles
by: Dale, Daniel R., M. Eng. Massachusetts Institute of Technology
Published: (2008)

Structural design of efficient automated GUI testing/operations
by: Kim, Young K. (Young Kyu), 1977-
Published: (2014)

Automating component-based testing from UML models
by: Che, Bryan (Bryan Wan-Jen), 1977-
Published: (2005)

Model-based planning for coordinated air vehicle missions
by: Kim, Philip K. (Philip Kye-Hwan), 1977-
Published: (2014)

Force control of electro-hydraulic actuators in an underwater fish-like vehicle
by: Peskin, Jonah T. (Jonah Timothy), 1977-
Published: (2014)

Flexible code safety for Win32
by: Twyman, Andrew R. (Andrew Robert), 1977-
Published: (2013)

Modular verification of hardware systems
by: Vijayaraghavan, Muralidaran
Published: (2016)

Formal verification of TCP and T/TCP
by: Smith, Mark Anthony Shawn, 1968-
Published: (2008)

Real-time face verification
by: Romano, Raquel Andrea
Published: (2007)

Verification of an attitude control system
by: Ha, Vida Uyen, 1980-
Published: (2014)

Automatic verification of pipelined microprocessors
by: Bhagwati, Vishal Lalit
Published: (2006)

Runtime verification of object lifetime specifications
by: Benjamin, Zev (Zev A.)
Published: (2010)

A verification framework for hybrid systems
by: Mitra, Sayan
Published: (2008)

Restricted branching programs and hardware verification
by: Ponzio, Stephen J. (Stephen John)
Published: (2006)

Character segmentation heuristics for check amount verification
by: Khan, Salman Amin, 1976-
Published: (2009)

Verification of the StarT-voyager bus interface units
by: Ho, Wing-Chung, 1974-
Published: (2009)

Design and verification of adaptive cache coherence protocols
by: Shen, Xiaowei, 1966-
Published: (2014)

Automatic procedures for the behavioral verification of digital designs
by: Aelten, Filip Van
Published: (2005)

A relational framework for bounded program verification
by: Dennis, Gregory D. (Gregory David), 1980-
Published: (2010)

Automatic verification of the timing properties of MMT automata
by: Söylemez, Ekrem Sezer
Published: (2006)

Simulation and verification of autonomous route planning behavior
by: Kochhar, Amrik S
Published: (2011)

Detection of dynamic obstacles out of the line of sight for autonomous vehicles to increase safety based on shadows
by: Naser, Felix Maximilian.
Published: (2019)

A lightweight specification language for bounded program verification
by: Yessenov, Kuat T
Published: (2010)

Verification of correctness properties of programs that read input files
by: Kim, Deokhwan,Ph. D.Massachusetts Institute of Technology.
Published: (2020)