Supervisory control for collision avoidance in vehicular networks using discrete event abstractions Eric DallalAlessandro ColomboStéphane Lafortune OriginalPaper 13 May 2016 Pages: 1 - 44
Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions Shoichi YokotaTakashi YamamotoShigemasa Takai OriginalPaper 07 June 2016 Pages: 45 - 84
On the stability of a class of non-monotonic systems of parallel queues Pascal Moyal OriginalPaper 14 September 2016 Pages: 85 - 107
Maximally permissive controlled system synthesis for non-determinism and modal logic A. C. van HulstM. A. ReniersW. J. Fokkink OriginalPaper Open access 23 September 2016 Pages: 109 - 142
Diagnosability analysis of patterns on bounded labeled prioritized Petri nets Houssam-Eddine GougamYannick PencoléAudine Subias OriginalPaper 27 December 2016 Pages: 143 - 180
On a generalization of power algorithms over max-plus algebra Kistosil FahimSubionoJacob van der Woude OriginalPaper 12 January 2017 Pages: 181 - 203