{"controller"=>"catalog", "action"=>"show", "id"=>"236416605"}
  • EN
  • DA

Danish NationalResearch Database

  • Search Publications & Researchers
  • Open Access Indicator
  • Publications
  • Researchers
Example Finds records
water{} containing the word "water".
water supplies"{}" containing the phrase "water supplies".
author:"Doe, John"author:"{}" containing the prase "Doe, John" in the author field.
title:IEEEtitle:{} containing the word "IEEE" in the title field.
Need more help? Advanced search tutorial
  • Selected (0)
  • History

Safety Verification for Probabilistic Hybrid Systems

    • Save to Mendeley
    • Export to BibTeX
    • Export to RIS
    • Email citation
Authors:
  • Zhang, Lijun ;
    Close
    Department of Applied Mathematics and Computer Science, Technical University of Denmark
  • She, Zhikun ;
    Close
    Beihang University
  • Ratschan, Stefan ;
    Close
    unknown
  • Hermanns, Holger ;
    Close
    Saarland University
  • Hahn, Ernst Moritz
    Close
    Saarland University
DOI:
10.3166/EJC.18.572-587
Abstract:
The interplay of random phenomena and continuous dynamics deserves increased attention, especially in the context of wireless sensing and control applications. Safety verification for such systems thus needs to consider probabilistic variants of systems with hybrid dynamics. In safety verification of classical hybrid systems, we are interested in whether a certain set of unsafe system states can be reached from a set of initial states. In the probabilistic setting, we may ask instead whether the probability of reaching unsafe states is below some given threshold. In this paper, we consider probabilistic hybrid systems and develop a general abstraction technique for verifying probabilistic safety problems. This gives rise to the first mechanisable technique that can, in practice, formally verify safety properties of non-trivial continuous-time stochastic hybrid systems. Moreover, being based on abstractions computed by tools for the analysis of non-probabilistic hybrid systems, improvements in effectivity of such tools directly carry over to improvements in effectivity of the technique we describe. We demonstrate the applicability of our approach on a number of case studies, tackled using a prototypical implementation.
Type:
Journal article
Language:
English
Published in:
European Journal of Control, 2012, Vol 18, Issue 6, p. 572-587
Keywords:
Hybrid system; Probabilistic; Abstraction refinement; Safety
Main Research Area:
Science/technology
Publication Status:
Published
Review type:
Peer Review
Submission year:
2013
Scientific Level:
Scientific
ID:
236416605

Full text access

  • Doi Get publisher edition via DOI resolver
Checking for on-site access...

On-site access

At institution

  • Technical university of dk

Metrics

Feedback

Sitemap

  • Search
    • Statistics
    • Tutorial
    • Data
    • FAQ
    • Contact
  • Open Access
    • Overview
    • Development
    • FAQ
    • Contact
  • About
    • Institutions
    • Release History
    • Cookies and privacy policy

Copyright © 1998–2018.

Fivu en