Searched for: subject:"probabilistic%5C+invariance%5C+specifications"
(1 - 1 of 1)
document
Adzkiya, D. (author)
Max-Plus-Linear (MPL) systems are a class of discrete-event systems with a continuous state space characterizing the timing of the underlying sequential discrete events. These systems are predisposed to describe the timing synchronization between interleaved processes. MPL systems are employed in the analysis and scheduling of infrastructure...
doctoral thesis 2014