Sammanfattning av denna webbsida: I den här artikeln introducerar vi CPDP (Communicating Piecewise Deterministic Markov Processes) som en automatisk formalism för kompositionsspecifikation av hybridsystem av typen PDP. En CPDP kan ses som en automatisk representation av en PDP, med extra möjlighet till interaktion med andra processer via ett nytt koncept som vi kallar passiva övergångar. För att komponera två CPDP, definierar vi en komposition operatör på CPDPs och vi visar att klassen av CPDPs är stängd under denna operatör.
I REF, Strubbe et al. införa kommunicerande bitvis deterministiska Markov-processer (CPDP).
COMMUNICATING PIECEWISE DETERMINISTIC MARKOV PROCESSES
{'venue': 'ADHS', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}