Specification, Design and Verification of Distributed Embedded Systems

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 12, 2010
Accession Number
ADA528432

Entities

People

  • Eric Klavins
  • John M. Doyle
  • Manl Chandy
  • Pablo Parrilo
  • Richard M. Murray

Organizations

  • California Institute of Technology

Tags

Communities of Interest

  • Autonomy
  • Human Systems
  • Space

DTIC Thesaurus Topics

  • Air Force Research Laboratories
  • Automata
  • Autonomous Systems
  • Autonomous Vehicles
  • Collisions
  • Communications Protocols
  • Computational Fluid Dynamics
  • Dynamics
  • Embedded Systems
  • Engineers
  • Environment
  • Jet Propulsion
  • Language
  • Specifications
  • Standards
  • Trajectories
  • Verification