Projects per year
Abstract
We consider the safety problem of piecewisedeterministic 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 psafety problem, where we identify the set of initial states from which the probability to reach designated unsafe states is at most 1p. 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 infinitedimensional optimisation problem searching for the largest set of psafe 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.
Original language  English 

Title of host publication  HSCC '16 Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control 
Publisher  Association for Computing Machinery 
Publication date  2016 
Pages  257266 
ISBN (Print)  9781450339551 
DOIs  
Publication status  Published  2016 
Event  8th Cyber Physical Systems Week (CPS Week): 19th ACM International Conference on Hybrid Systems: Computation and Control  Vienna, Austria Duration: 12 Apr 2016 → 14 Apr 2016 
Conference
Conference  8th Cyber Physical Systems Week (CPS Week) 

Country/Territory  Austria 
City  Vienna 
Period  12/04/2016 → 14/04/2016 
Fingerprint
Dive into the research topics of 'Safety Verification of PiecewiseDeterministic Markov Processes'. Together they form a unique fingerprint.Projects
 1 Finished

CodeMe: CodeMe  Computer Aided Design Methods for Industrial Automation
Wisniewski, R. & Sloth, C.
01/08/2014 → 31/10/2018
Project: Research