Search the dblp DataBase

Publications of Author

1. Maria Domenica Di Benedetto, Pasquale Lucibello, Alberto L. Sangiovanni-Vincentelli, K. Yamaguchi
   Chain Closure: A Problem in Molecular CAD. [Citation Graph (0, 0)][DBLP]
   DAC, 1994, pp:497-502 [Conf]
   
2. Luca Berardi, Elena De Santis, Maria Domenica Di Benedetto
   Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications. [Citation Graph (0, 0)][DBLP]
   HSCC, 2000, pp:59-72 [Conf]
   
3. 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]
   
4. 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]
   
5. Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Guido M. Miconi, Ugo Pozzi, Tiziano Villa, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli
   Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine. [Citation Graph (0, 0)][DBLP]
   HSCC, 2000, pp:32-44 [Conf]
   
6. Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli
   Design of Observers for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
   HSCC, 2002, pp:76-89 [Conf]
   
7. Andrea Balluchi, Maria Domenica Di Benedetto, Claudio Pinello, C. Rossi, Alberto L. Sangiovanni-Vincentelli
   Hybrid Control for Automotive Engine Management: The Cut-Off Case. [Citation Graph (0, 0)][DBLP]
   HSCC, 1998, pp:13-32 [Conf]
   
8. Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Stefano Di Gennaro
   Observability of Hybrid Automata by Abstraction. [Citation Graph (0, 0)][DBLP]
   HSCC, 2006, pp:169-183 [Conf]
   
9. Alessandro Abate, Alessandro D'Innocenzo, Giordano Pola, Maria Domenica Di Benedetto, Shankar Sastry
   The Concept of Deadlock and Livelock in Hybrid Control Systems. [Citation Graph (0, 0)][DBLP]
   HSCC, 2007, pp:628-632 [Conf]
   
10. Maria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo
    Diagnosability Verification for Hybrid Automata. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:684-687 [Conf]
    
11. Maria Domenica Di Benedetto, Pasquale Lucibello, Alberto L. Sangiovanni-Vincentelli, K. Yamaguchi
    A new procedure for exact ring closure. [Citation Graph (0, 0)][DBLP]
    Journal of Computational Chemistry, 2000, v:21, n:10, pp:870-881 [Journal]
    
12. Maria-Gabriella Di Benedetto, Guerino Giancola, Maria Domenica Di Benedetto
    Introducing consciousness in UWB networks by hybrid modelling of admission control. [Citation Graph (0, 0)][DBLP]
    MONET, 2006, v:11, n:4, pp:521-534 [Journal]
    
13. 
    Markov Set-Chains as Abstractions of Stochastic Hybrid Systems. [Citation Graph (, )][DBLP]
    
    
14. 
    Hybrid Modelling, Power Management and Stabilization of Cognitive Radio Networks. [Citation Graph (, )][DBLP]
    
    
15. 
    Classification of Physical Interactions between Two Subjects. [Citation Graph (, )][DBLP]
    
    
16. 
    Diagnosability of hybrid automata with measurement uncertainty. [Citation Graph (, )][DBLP]
    
    
17. 
    Approximate abstractions of discrete-time controlled stochastic hybrid systems. [Citation Graph (, )][DBLP]
    
    
18. 
    A symbolic model approach to the digital control of nonlinear time-delay systems. [Citation Graph (, )][DBLP]
    
    
19. 
    Adaptive integrated vehicle control using active front steering and rear torque vectoring. [Citation Graph (, )][DBLP]