Search the dblp DataBase

Publications of Author

1. Paulo Tabuada
   Open Maps, Alternating Simulations and Control Synthesis. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2004, pp:466-480 [Conf]
   
2. Aaron D. Ames, Paulo Tabuada, Shankar Sastry
   On the Stability of Zeno Equilibria. [Citation Graph (0, 0)][DBLP]
   HSCC, 2006, pp:34-48 [Conf]
   
3. Paulo Tabuada
   Sensor/Actuator Abstractions for Symbolic Embedded Control Design. [Citation Graph (0, 0)][DBLP]
   HSCC, 2005, pp:640-654 [Conf]
   
4. Paulo Tabuada, George J. Pappas
   Hybrid Abstractions that Preserve Timed Languages. [Citation Graph (0, 0)][DBLP]
   HSCC, 2001, pp:501-514 [Conf]
   
5. Paulo Tabuada, George J. Pappas
   Model Checking LTL over Controllable Linear Systems Is Decidable. [Citation Graph (0, 0)][DBLP]
   HSCC, 2003, pp:498-513 [Conf]
   
6. Paulo Tabuada, George J. Pappas, Pedro U. Lima
   Composing Abstractions of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
   HSCC, 2002, pp:436-450 [Conf]
   
7. Paulo Tabuada
   Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems. [Citation Graph (0, 0)][DBLP]
   HSCC, 2007, pp:529-542 [Conf]
   
8. Jennifer M. Davoren, Paulo Tabuada
   On Simulations and Bisimulations of General Flow Systems. [Citation Graph (0, 0)][DBLP]
   HSCC, 2007, pp:145-158 [Conf]
   
9. Paulo Tabuada
   Symbolic models for control systems. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 2007, v:43, n:7, pp:477-500 [Journal]
   
10. Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas
    Bisimulation Relations for Dynamical and Control Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
    
11. Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas
    Bisimulation relations for dynamical, control, and hybrid systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:342, n:2-3, pp:229-261 [Journal]
    
12. 
    PESSOA: A Tool for Embedded Controller Synthesis. [Citation Graph (, )][DBLP]
    
    
13. 
    Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems. [Citation Graph (, )][DBLP]
    
    
14. 
    On the Benefits of Relaxing the Periodicity Assumption for Networked Control Systems over CAN. [Citation Graph (, )][DBLP]
    
    
15. 
    On event-triggered and self-triggered control over sensor/actuator networks. [Citation Graph (, )][DBLP]
    
    
16. 
    Symbolic models for nonlinear control systems affected by disturbances. [Citation Graph (, )][DBLP]
    
    
17. 
    Space-time scaling laws for self-triggered control. [Citation Graph (, )][DBLP]
    
    
18. 
    Isochronous manifolds in self-triggered control. [Citation Graph (, )][DBLP]
    
    
19. 
    A symbolic model approach to the digital control of nonlinear time-delay systems. [Citation Graph (, )][DBLP]
    
    
20. 
    Input-to-state stability of self-triggered control systems. [Citation Graph (, )][DBLP]