Safety verification of piecewise-deterministic markov processes

Rafael Wisniewski, Christoffer Sloth, Manuela Bujorianu, Nir Piterman

Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review


We consider the safety problem of piecewise-deterministic Markov processes (PDMP). These are systems that have deterministic dynamics and stochastic jumps, where both the time and the destination of the jumps are stochastic. Specifically, we solve a p-safety problem, where we identify the set of initial states from which the probability to reach designated unsafe states is at most 1-p. Based on the knowledge of the full generator of the PDMP, we are able to develop a system of partial differential equations describing the connection between unsafe and initial states. We then show that by using the moment method, we can translate the infinite-dimensional optimisation problem searching for the largest set of p-safe states to a finite dimensional polynomial optimisation problem. We have implemented this technique on top of GloptiPoly and show how to apply it to a numerical example.

TitelProceedings of the 19th International Conference on Hybrid Systems : Computation and Control
Antal sider10
ForlagAssociation for Computing Machinery
Publikationsdato11. apr. 2016
ISBN (Elektronisk)9781450339551
StatusUdgivet - 11. apr. 2016
Udgivet eksterntJa
Begivenhed19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016 - Vienna, Østrig
Varighed: 12. apr. 201614. apr. 2016


Konference19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016
SponsorACM Special Interest Group on Embedded Systems (ACM SIGBED)


Dyk ned i forskningsemnerne om 'Safety verification of piecewise-deterministic markov processes'. Sammen danner de et unikt fingeraftryk.