---
res:
bibo_abstract:
- As hybrid systems involve continuous behaviors, they should be evaluated by quantitative
methods, rather than qualitative methods. In this paper we adapt a quantitative
framework, called model measuring, to the hybrid systems domain. The model-measuring
problem asks, given a model M and a specification, what is the maximal distance
such that all models within that distance from M satisfy (or violate) the specification.
A distance function on models is given as part of the input of the problem. Distances,
especially related to continuous behaviors are more natural in the hybrid case
than the discrete case. We are interested in distances represented by monotonic
hybrid automata, a hybrid counterpart of (discrete) weighted automata, whose recognized
timed languages are monotone (w.r.t. inclusion) in the values of parameters.The
contributions of this paper are twofold. First, we give sufficient conditions
under which the model-measuring problem can be solved. Second, we discuss the
modeling of distances and applications of the model-measuring problem.@eng
bibo_authorlist:
- foaf_Person:
foaf_givenName: Thomas A
foaf_name: Henzinger, Thomas A
foaf_surname: Henzinger
foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87
orcid: 0000−0002−2985−7724
- foaf_Person:
foaf_givenName: Jan
foaf_name: Otop, Jan
foaf_surname: Otop
foaf_workInfoHomepage: http://www.librecat.org/personId=2FC5DA74-F248-11E8-B48F-1D18A9856A87
bibo_doi: 10.15479/AT:IST-2014-171-v1-1
dct_date: 2014^xs_gYear
dct_isPartOf:
- http://id.crossref.org/issn/2664-1690
dct_language: eng
dct_publisher: IST Austria@
dct_title: Model measuring for hybrid systems@
...