Search the dblp DataBase

Publications of Author

1. Mireille E. Broucke
   A Geometric Approach to Bisimulation and Verification of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
   HSCC, 1999, pp:61-75 [Conf]
   
2. Mireille E. Broucke, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli
   Optimal Control Using Bisimulations: Implementation. [Citation Graph (0, 0)][DBLP]
   HSCC, 2001, pp:175-188 [Conf]
   
3. Mireille E. Broucke, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli, Stefano Di Gennaro
   Theory of Optimal Control Using Bisimulations. [Citation Graph (0, 0)][DBLP]
   HSCC, 2000, pp:89-102 [Conf]
   
4. Mireille E. Broucke, Pravin Varaiya
   Decidability of Hybrid Systems with Linear and Nonlinear Differential Inclusions. [Citation Graph (0, 0)][DBLP]
   Hybrid Systems, 1996, pp:77-92 [Conf]
   
5. Joshua A. Marshall, Terence Fung, Mireille E. Broucke, Gabriele M. T. D'Eleuterio, Bruce A. Francis
   Experiments in multirobot coordination. [Citation Graph (0, 0)][DBLP]
   Robotics and Autonomous Systems, 2006, v:54, n:3, pp:265-275 [Journal]
   
6. Stephen L. Smith, Mireille E. Broucke, Bruce A. Francis
   Curve Shortening and the Rendezvous Problem for Mobile Autonomous Robots [Citation Graph (0, 0)][DBLP]
   CoRR, 2006, v:0, n:, pp:- [Journal]
   
7. 
   Stabilization of infinitesimally rigid formations of multi-robot networks. [Citation Graph (, )][DBLP]