Semantics of Optimization for Real Time Intelligent Embedded Systems (SORTIES)

Download
pdf

Abstract:

Optimization algorithms used in a real-time and safety-critical context offer the potential for considerably advancing robotic and autonomous systems by improving their ability to execute complex missions. However, this promise cannot happen without proper attention to the considerably stronger operational constraints that real time, safety-critical applications must meet, unlike their non-real-time, desktop counterparts.

  • Autocoding
  • Control Theory
  • embedded systems
  • formal methods
  • Georgia Tech
  • Lyaponov proofs
  • optimization
  • Real Time
  • University of Colorado at Boulder
  • University of Texas at Arlington
  • Aerospace
  • Architectures
  • Architectures
  • CPS Domains
  • Avionics
  • Control
  • Defense
  • Modeling
  • Real-Time Coordination
  • Health Care
  • Robotics
  • Transportation
  • Validation and Verification
  • CPS Technologies
  • Foundations
  • National CPS PI Meeting 2014
  • 2014
  • Abstract
  • Poster
  • Academia
  • CPSPI MTG 2014 Posters, Videos and Abstracts
Submitted by Eric Feron on