Execution Monitor Synthesis for Hybrid Systems | Preliminary Report

  • Marcus Bjj
  • Published 1999


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)


Figures and Tables

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

Slides referencing similar topics