1. Leveraging Horn clause solving for compositional verification of PLC software

   • Dimitri Bohlender
   • Stefan Kowalewski

   OriginalPaper 26 November 2019 Pages: 1 - 24

   

2. Analysis and control of max-plus linear discrete-event systems: An introduction

   • Bart De Schutter
   • Ton van den Boom
   • Samira S. Farahani

   OriginalPaper Open access 02 December 2019 Pages: 25 - 54

   

3. Path planning for robotic teams based on LTL specifications and Petri net models

   • Marius Kloetzer
   • Cristian Mahulea

   OriginalPaper 02 December 2019 Pages: 55 - 79

   

4. On the relation between reactive synthesis and supervisory control of non-terminating processes

   • Anne-Kathrin Schmuck
   • Thomas Moor
   • Rupak Majumdar

   OriginalPaper Open access 28 December 2019 Pages: 81 - 124

   

5. Stochastic flow models with delays, blocking and applications to multi-intersection traffic light control

   • Rui Chen
   • Christos G. Cassandras

   OriginalPaper 30 December 2019 Pages: 125 - 153

   

6. A contribution to the determinization of max-plus automata

   • Sébastien Lahaye
   • Aiwen Lai
   • Jean-Louis Boimond

   OriginalPaper 29 January 2020 Pages: 155 - 174