1. Design and verification of pipelined circuits with Timed Petri Nets

   • Rémi Parrot
   • Mikaël Briday
   • Olivier H. Roux

   OriginalPaper 15 December 2022 Pages: 1 - 24

   

2. Overview of networked supervisory control with imperfect communication channels

   • Yuting Zhu
   • Liyong Lin
   • Rong Su

   OriginalPaper 16 December 2022 Pages: 25 - 61

   

3. Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems

   • Antoine Bernabeu
   • Jean-Luc Béchennec
   • Olivier Roux

   OriginalPaper 20 December 2022 Pages: 63 - 93