Batteries in Space: Designing Energy-optimal Satellites with Statistical Model Checking

Abstract

Satellites provide humanity with many useful services, but for the services to work reliably, satellites must be carefully designed, programmed and verified. Formal methods provide many techniques to analyze, check, prove, and synthesize systems. But in addition to correctness we are also interested in energy and how it is used. This thesis follows the… (More)

Topics

4 Figures and Tables

Slides referencing similar topics