Monitoring Temporal Properties Using Interval Analysis
نویسندگان
چکیده
منابع مشابه
Monitoring Temporal Properties Using Interval Analysis
Verification of temporal logic properties plays a crucial role in proving the desired behaviors of continuous systems. In this paper, we propose an interval method that verifies the properties described by a bounded signal temporal logic. We relax the problem so that if the verification process cannot succeed at the prescribed precision, it outputs an inconclusive result. The problem is solved ...
متن کاملMonitoring Bounded LTL Properties Using Interval Analysis
Verification of temporal logic properties plays a crucial role in proving the desired behaviors of hybrid systems. In this paper, we propose an interval method for verifying the properties described by a bounded linear temporal logic. We relax the problem to allow outputting an inconclusive result when verification process cannot succeed with a prescribed precision, and present an efficient and...
متن کاملSpatial–Temporal Monitoring of Ecotonal Belt Using Landscape Ecological Indices in the Central Elburz Region: Remote Sensing and GIS Analysis
Iran has mountainous landscapes and half of its surface is occupied by highlands. Moreover, Iran is an arid country and deserts are located at lower altitudes. Most metropolitan areas are positioned in mid-altitudes between mountain and desert. Cities grow upwardly toward the highlands under pressures of urbanization and desertification. Foothill ecotones are a zone between upland mountains and...
متن کاملSpatial–Temporal Monitoring of Ecotonal Belt Using Landscape Ecological Indices in the Central Elburz Region: Remote Sensing and GIS Analysis
Iran has mountainous landscapes and half of its surface is occupied by highlands. Moreover, Iran is an arid country and deserts are located at lower altitudes. Most metropolitan areas are positioned in mid-altitudes between mountain and desert. Cities grow upwardly toward the highlands under pressures of urbanization and desertification. Foothill ecotones are a zone between upland mountains and...
متن کاملMonitoring Temporal Properties of Stochastic Systems
We present highly accurate deterministic and probabilistic methods for monitoring temporal properties of stochastic systems. The deterministic algorithms employ timeouts that are set dynamically to achieve desired accuracy. The probabilistic algorithms employ coin tossing and can give highly accurate monitors when the system behavior is
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
سال: 2016
ISSN: 0916-8508,1745-1337
DOI: 10.1587/transfun.e99.a.442