---
OA_place: repository
OA_type: green
_id: '2217'
abstract:
- lang: eng
  text: "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.\r\n\r\nThe 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."
acknowledgement: "This  work  was  supported  in  part  by  the  Austrian  Science
  Fund  NFN  RiSE  (Rigorous  Systems  Engineering)  and  by the ERC Advanced Grant
  QUAREM (Quantitative Reactive Modeling).\r\nA Technical Report of this paper is
  available at: \r\nhttps://repository.ist.ac.at/id/eprint/171"
article_processing_charge: No
author:
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Jan
  full_name: Otop, Jan
  id: 2FC5DA74-F248-11E8-B48F-1D18A9856A87
  last_name: Otop
citation:
  ama: 'Henzinger TA, Otop J. Model measuring for hybrid systems. In: <i>Proceedings
    of the 17th International Conference on Hybrid Systems: Computation and Control</i>.
    Springer; 2014:213-222. doi:<a href="https://doi.org/10.1145/2562059.2562130">10.1145/2562059.2562130</a>'
  apa: 'Henzinger, T. A., &#38; Otop, J. (2014). Model measuring for hybrid systems.
    In <i>Proceedings of the 17th international conference on Hybrid systems: computation
    and control</i> (pp. 213–222). Berlin, Germany: Springer. <a href="https://doi.org/10.1145/2562059.2562130">https://doi.org/10.1145/2562059.2562130</a>'
  chicago: 'Henzinger, Thomas A, and Jan Otop. “Model Measuring for Hybrid Systems.”
    In <i>Proceedings of the 17th International Conference on Hybrid Systems: Computation
    and Control</i>, 213–22. Springer, 2014. <a href="https://doi.org/10.1145/2562059.2562130">https://doi.org/10.1145/2562059.2562130</a>.'
  ieee: 'T. A. Henzinger and J. Otop, “Model measuring for hybrid systems,” in <i>Proceedings
    of the 17th international conference on Hybrid systems: computation and control</i>,
    Berlin, Germany, 2014, pp. 213–222.'
  ista: 'Henzinger TA, Otop J. 2014. Model measuring for hybrid systems. Proceedings
    of the 17th international conference on Hybrid systems: computation and control.
    HSCC: Hybrid Systems - Computation and Control, 213–222.'
  mla: 'Henzinger, Thomas A., and Jan Otop. “Model Measuring for Hybrid Systems.”
    <i>Proceedings of the 17th International Conference on Hybrid Systems: Computation
    and Control</i>, Springer, 2014, pp. 213–22, doi:<a href="https://doi.org/10.1145/2562059.2562130">10.1145/2562059.2562130</a>.'
  short: 'T.A. Henzinger, J. Otop, in:, Proceedings of the 17th International Conference
    on Hybrid Systems: Computation and Control, Springer, 2014, pp. 213–222.'
conference:
  end_date: 2014-04-17
  location: Berlin, Germany
  name: 'HSCC: Hybrid Systems - Computation and Control'
  start_date: 2014-04-15
date_created: 2018-12-11T11:56:23Z
date_published: 2014-04-01T00:00:00Z
date_updated: 2025-06-26T08:32:32Z
day: '01'
department:
- _id: ToHe
doi: 10.1145/2562059.2562130
ec_funded: 1
fulldoi: https://doi.org/10.1145/2562059.2562130
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.15479/AT:IST-2014-171-v1-1
month: '04'
oa: 1
oa_version: Preprint
page: 213 - 222
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '267989'
  name: Quantitative Reactive Modeling
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
publication: 'Proceedings of the 17th international conference on Hybrid systems:
  computation and control'
publication_status: published
publisher: Springer
publist_id: '4751'
quality_controlled: '1'
related_material:
  record:
  - id: '5416'
    relation: earlier_version
    status: public
scopus_import: '1'
status: public
title: Model measuring for hybrid systems
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2014'
...