Test
click here for a more fancy version of same webpage- The QSL Plateform at LORIA. (full details) Bournez, Olivier , Habib, Mohamed El , Kirchner, Claude , Kirchner, H{\'e}l{\`e}ne , Marion, Jean-Yves and Merz, Stephan In First QPQ Workshop on Deductive Software Components. Miami, Florida, July 28, pages 9-12. 2003. (BibTeX)
- essai
- Effective Synthesis of Switching Controllers for Linear Systems. (full details)
Asarin, Eugene , Bournez, Olivier , Dang, Thao , Maler, Oded and Pnueli, Amir Proceedings of the IEEE, Special Issue on `Hybrid Systems'', 88(7):1011-1025. 2000. (PDF) (BibTeX) On the representation of timed polyhedra. (full details) Bournez, Olivier and Maler, Oded In International Colloquium on Automata Languages and Programming (ICALP'00). Geneva, Switzerland, {9--15~} # jul. Volume 1853 of Lecture Notes in Computer Science. Springer, pages 793-807. 2000. (PUBLISHER URL) (PDF) (BibTeX) Approximate reachability analysis of piecewise-linear dynamical systems. (full details) Asarin, Eugene , Bournez, Olivier , Dang, Thao and Maler, Oded In {Hybrid Systems\,: Computation and Control (HSCC'00), Pittsburgh (USA)}. March 23-25 2000. Volume 1790 of Lecture Notes in Computer Science. Springer-Verlag, pages 20-31. 2000. (PUBLISHER URL) (PDF) (BibTeX) Orthogonal polyhedra: Representation and Computation. (full details) Bournez, Olivier , Maler, Oded and Pnueli, Amir In Hybrid Systems: Computation and Control - HSCC'99. Nijmegen, Pays-Bas, {29--31} # mar. Volume 1569 of Lecture Notes in Computer Science, pages 46-60. 1999. (PUBLISHER URL) (PDF) (BibTeX)