Projects per year
Abstract
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.
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 | 257-266 |
ISBN (Print) | 978-1-4503-3955-1 |
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 Piecewise-Deterministic 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