NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1
  • Tagged with
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 1 of 1 (0.017 seconds)
1

Provable Run Time Safety Assurance for a Non-Linear System

Snyder, Cory Firmin 31 May 2013 (has links)
No description available.
Engineering
Electrical Engineering
Computer Science
reachable sets
non-linear system
hybrid automata
PHAVer
SpaceEx
safety assurance
verification
run time assurance

Page generated in 0.0221 seconds