Accident Risk Assessment for Advanced Air Traffic Management

By now, safety is recognised as a key quality on which to select/design advanced air traffic management (ATM) concepts, even when capacity and efficiency are the drivers of the development. The safety target is often described as 'equal or better' in comparison with existing practice, allowing a large freedom in how safety is expressed, let...

Piecewise Deteministic Markov Processes represented by Dynamically Coloured Petri Nets

Piecewise Deterministic Markov Processes (PDPs) are known as the largest class of Markov processes virtually describing all continuous-time processes not involving difftisions. In general the state space of a PDP is of hybrid type, i.e. a tensor product of a discrete set and a continuousvalued space. Since Stochastic Petri Nets have proven to be...