Conference item icon

Conference item

Safety Verification of Continuous-Space Pure Jump Markov Processes

Abstract:

We study the probabilistic safety verification problem for pure jump Markov processes, a class of models that generalizes continuous-time Markov chains over continuous (uncountable) state spaces. Solutions of these processes are piecewise constant, right-continuous functions from time to states. Their jump (or reset) times are realizations of a Poisson process, characterized by a jump rate function that can be both time- and state-dependent. Upon jumping in time, the new state of the solution...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1007/978-3-662-49674-9_9

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author

Contributors

Role:
Editor
Role:
Editor
Publisher:
Springer
Host title:
22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Publication date:
2016-04-09
Event location:
Eindhoven, The Netherlands
Event start date:
2016-04-02
DOI:
ISSN:
0302-9743
Pubs id:
pubs:581567
UUID:
uuid:9e7778d1-49b2-4467-8b5e-08d66c7f7278
Local pid:
pubs:581567
Source identifiers:
581567
Deposit date:
2016-01-11

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP