Execution Monitor Synthesis for Hybrid Systems | Preliminary Report

  • Marcus Bjj
  • Published 1999

Abstract

Formal veriication methods for hybrid controllers have received a lot of attention during the last decade and so has the problem of synthesizing speciications of hybrid controllers. Such speciications do then fullll given requirements , such as timing constraints or safety properties. However, the problem of automatically implementing the actual control… (More)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics