Article ID Journal Published Year Pages File Type
8055338 Nonlinear Analysis: Hybrid Systems 2017 25 Pages PDF
Abstract
Finally, we present a variant of the model-measuring problem, called the model-repair problem. The model-repair problem applies to models that do not satisfy the specification; it can be used to derive restrictions, under which the model satisfies the specification, i.e., to repair the model.
Keywords
Related Topics
Physical Sciences and Engineering Engineering Control and Systems Engineering
Preview
Model measuring for discrete and hybrid systems
Authors
, ,