dblp.uni-trier.dewww.uni-trier.de

Paulo Tabuada Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
21EERupak Majumdar, Paulo Tabuada: Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings Springer 2009
2008
20EEGiordano Pola, Paulo Tabuada: Symbolic models for nonlinear control systems affected by disturbances. CDC 2008: 251-256
19EEManuel Mazo Jr., Paulo Tabuada: On event-triggered and self-triggered control over sensor/actuator networks. CDC 2008: 435-440
18EEAdolfo Anta Martinez, Paulo Tabuada: Space-time scaling laws for self-triggered control. CDC 2008: 4420-4425
17EEAntoine Girard, Giordano Pola, Paulo Tabuada: Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems. HSCC 2008: 201-214
16EEGiordano Pola, Antoine Girard, Paulo Tabuada: Approximately bisimilar symbolic models for nonlinear control systems. Automatica 44(10): 2508-2516 (2008)
2007
15EEJennifer M. Davoren, Paulo Tabuada: On Simulations and Bisimulations of General Flow Systems. HSCC 2007: 145-158
14EEPaulo Tabuada: Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems. HSCC 2007: 529-542
13EEPaulo Tabuada: Symbolic models for control systems. Acta Inf. 43(7): 477-500 (2007)
2006
12EEAaron D. Ames, Paulo Tabuada, Shankar Sastry: On the Stability of Zeno Equilibria. HSCC 2006: 34-48
11EEPaulo Tabuada, George J. Pappas: Corrigendum to "Hierarchical trajectory refinement for a class of nonlinear systems" [Automatica 41(4) (2005) 701-708]. Automatica 42(10): 1833 (2006)
10EEPaulo Tabuada: Control theory from the geometric viewpoint [Andrei A. Agrachev and Yuri L. Sachkov. Copyright 2003 World Scientific Publishing, ISBN: 3-540-21019-9]. Automatica 42(4): 695-696 (2006)
2005
9EEPaulo Tabuada: Sensor/Actuator Abstractions for Symbolic Embedded Control Design. HSCC 2005: 640-654
8EEPaulo Tabuada, George J. Pappas: Hierarchical trajectory refinement for a class of nonlinear systems. Automatica 41(4): 701-708 (2005)
7EEEsfandiar Haghverdi, Paulo Tabuada, George J. Pappas: Bisimulation relations for dynamical, control, and hybrid systems. Theor. Comput. Sci. 342(2-3): 229-261 (2005)
2004
6EEPaulo Tabuada: Open Maps, Alternating Simulations and Control Synthesis. CONCUR 2004: 466-480
5EEPaulo Tabuada, George J. Pappas, Pedro U. Lima: Compositional Abstractions of Hybrid Control Systems. Discrete Event Dynamic Systems 14(2): 203-238 (2004)
2003
4EEPaulo Tabuada, George J. Pappas: Model Checking LTL over Controllable Linear Systems Is Decidable. HSCC 2003: 498-513
2002
3EEPaulo Tabuada, George J. Pappas, Pedro U. Lima: Composing Abstractions of Hybrid Systems. HSCC 2002: 436-450
2EEEsfandiar Haghverdi, Paulo Tabuada, George J. Pappas: Bisimulation Relations for Dynamical and Control Systems. Electr. Notes Theor. Comput. Sci. 69: (2002)
2001
1EEPaulo Tabuada, George J. Pappas: Hybrid Abstractions that Preserve Timed Languages. HSCC 2001: 501-514

Coauthor Index

1Aaron D. Ames [12]
2Jennifer M. Davoren [15]
3Antoine Girard [16] [17]
4Esfandiar Haghverdi [2] [7]
5Pedro U. Lima [3] [5]
6Rupak Majumdar [21]
7Adolfo Anta Martinez [18]
8Manuel Mazo Jr. [19]
9George J. Pappas [1] [2] [3] [4] [5] [7] [8] [11]
10Giordano Pola [16] [17] [20]
11Shankar Sastry (Shankar S. Sastry) [12]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)