Model measuring for hybrid systems

T.A. Henzinger, J. Otop, Model Measuring for Hybrid Systems, IST Austria, 2014.

Download
OA 712.08 KB

Technical Report | Published | English
Department
Series Title
IST Austria Technical Report
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.
Publishing Year
Date Published
2014-02-19
Page
22
ISSN
IST-REx-ID

Cite this

Henzinger TA, Otop J. Model Measuring for Hybrid Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-171-v1-1
Henzinger, T. A., & Otop, J. (2014). Model measuring for hybrid systems. IST Austria. https://doi.org/10.15479/AT:IST-2014-171-v1-1
Henzinger, Thomas A, and Jan Otop. Model Measuring for Hybrid Systems. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-171-v1-1.
T. A. Henzinger and J. Otop, Model measuring for hybrid systems. IST Austria, 2014.
Henzinger TA, Otop J. 2014. Model measuring for hybrid systems, IST Austria, 22p.
Henzinger, Thomas A., and Jan Otop. Model Measuring for Hybrid Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-171-v1-1.
Main File(s)
File Name
Access Level
OA Open Access
Last Uploaded
2018-12-12T11:53:32Z


Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar