1. Safety and Reachability of Piecewise Linear Hybrid Dynamical Systems Based on Discrete Abstractions

   • Xenofon D. Koutsoukos
   • Panos J. Antsaklis

   OriginalPaper Pages: 203 - 243

2. Marking Optimization of Weighted Marked Graphs

   • Nathalie Sauer

   OriginalPaper Pages: 245 - 262

3. On the Effect of Communication Delays in Failure Diagnosis of Decentralized Discrete Event Systems

   • Rami Debouk
   • Stéphane Lafortune
   • Demosthenis Teneketzis

   OriginalPaper Pages: 263 - 289