Abstraction based reachability analysis for finite branching stochastic hybrid systems

In this paper, we address the problem of computing the probability of reaching a desired set in a subclass of stochastic hybrid systems, wherein the stochasticity arises from the randomness of the initial distribution of continuous states, and the probabilistic transitions in the underlying finite s...

Full description

Saved in:

Bibliographic Details
Published in:	2017 ACM IEEE 8th International Conference on Cyber Physical Systems (ICCPS) pp. 121 - 130
Main Authors:	Zhang, Wenji, Prabhakar, Pavithra, Natarajan, Balasubramaniam
Format:	Conference Proceeding
Language:	English
Published:	New York, NY, USA ACM 18.04.2017
Series:	ACM Other Conferences
Subjects:	abstraction based analysis Computational modeling Cyber-physical systems generalized probabilistic transition system infinite state markov chain Markov processes Partitioning algorithms Probabilistic logic reachability Reachability analysis Software and its engineering > Software organization and properties > Software functional properties > Formal methods stochastic hybrid system Theory of computation > Logic > Abstraction Theory of computation > Logic > Automated reasoning Theory of computation > Logic > Verification by model checking Theory of computation > Models of computation > Probabilistic computation generalized probabilistic transition system abstraction based analysis infinite state Markov chain reachability stochastic hybrid system
ISBN:	9781450349659, 145034965X
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!