1. Finite controlled invariants for sampled switched systems

   • L. Fribourg
   • U. Kühne
   • R. Soulat

   OriginalPaper 09 July 2014 Pages: 303 - 329

   

2. On regions and zones for event-clock automata

   • Gilles Geeraerts
   • Jean-François Raskin
   • Nathalie Sznajder

   OriginalPaper 06 August 2014 Pages: 330 - 380

   

3. Runtime enforcement of timed properties revisited

   • Srinivas Pinisetty
   • Yliès Falcone
   • Omer Nguena Timo

   OriginalPaper 28 October 2014 Pages: 381 - 422