Projekter pr. år
Abstrakt
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.
Originalsprog  Engelsk 

Titel  HSCC '16 Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control 
Forlag  Association for Computing Machinery 
Publikationsdato  2016 
Sider  257266 
ISBN (Trykt)  9781450339551 
DOI  
Status  Udgivet  2016 
Begivenhed  8th Cyber Physical Systems Week (CPS Week): 19th ACM International Conference on Hybrid Systems: Computation and Control  Vienna, Østrig Varighed: 12 apr. 2016 → 14 apr. 2016 
Konference
Konference  8th Cyber Physical Systems Week (CPS Week) 

Land/Område  Østrig 
By  Vienna 
Periode  12/04/2016 → 14/04/2016 
Fingeraftryk
Dyk ned i forskningsemnerne om 'Safety Verification of PiecewiseDeterministic Markov Processes'. Sammen danner de et unikt fingeraftryk.Projekter
 1 Afsluttet

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