The SCEAS System
Navigation Menu

Search the dblp DataBase


Paulo Tabuada: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002