Robert Rogersten

Learn More
Modern aircraft increasingly rely on electric power for subsystems that have traditionally run on mechanical power. The complexity and safety-criticality of aircraft electric power systems have therefore increased, rendering the design of these systems more challenging. This work is motivated by the potential that correct-by-construction reactive controller(More)
Modern aircraft increasing rely on electric power, resulting in high safety-criticality and complexity in their electric power generation and distribution systems. Motivated by the resulting rapid increase in the costs and duration of the design cycles for such systems, we investigate the use of formal specification and automated, correct-by-construction(More)
  • 1