Search the dblp DataBase

Publications of Author

1. Sonja Glavaski, Antonis Papachristodoulou, Kartik Ariyur
   Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates. [Citation Graph (0, 0)][DBLP]
   HSCC, 2005, pp:306-321 [Conf]
   
2. Antonis Papachristodoulou, Lun Li, John C. Doyle
   Methodological frameworks for large-scale network analysis and design. [Citation Graph (0, 0)][DBLP]
   Computer Communication Review, 2004, v:34, n:3, pp:7-20 [Journal]
   
3. 
   Using polynomial semi-separable kernels to construct infinite-dimensional Lyapunov functions. [Citation Graph (, )][DBLP]
   
   
4. 
   Delay-dependent rendezvous and flocking of large scale multi-agent systems with communication delays. [Citation Graph (, )][DBLP]
   
   
5. 
   Determining interconnections in biochemical networks using linear programming. [Citation Graph (, )][DBLP]
   
   
6. 
   Generalized Nyquist consensus condition for high-order linear multi-agent systems with communication delays. [Citation Graph (, )][DBLP]
   
   
7. 
   On validation and invalidation of biological models. [Citation Graph (, )][DBLP]