| 2009 |
|---|
| 18 | EE | Rupak 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 |
|---|
| 17 | EE | Antoine Girard,
Giordano Pola,
Paulo Tabuada:
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems.
HSCC 2008: 201-214 |
| 16 | EE | Giordano Pola,
Antoine Girard,
Paulo Tabuada:
Approximately bisimilar symbolic models for nonlinear control systems.
Automatica 44(10): 2508-2516 (2008) |
| 2007 |
|---|
| 15 | EE | Jennifer M. Davoren,
Paulo Tabuada:
On Simulations and Bisimulations of General Flow Systems.
HSCC 2007: 145-158 |
| 14 | EE | Paulo Tabuada:
Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems.
HSCC 2007: 529-542 |
| 13 | EE | Paulo Tabuada:
Symbolic models for control systems.
Acta Inf. 43(7): 477-500 (2007) |
| 2006 |
|---|
| 12 | EE | Aaron D. Ames,
Paulo Tabuada,
Shankar Sastry:
On the Stability of Zeno Equilibria.
HSCC 2006: 34-48 |
| 11 | EE | Paulo 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) |
| 10 | EE | Paulo 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 |
|---|
| 9 | EE | Paulo Tabuada:
Sensor/Actuator Abstractions for Symbolic Embedded Control Design.
HSCC 2005: 640-654 |
| 8 | EE | Paulo Tabuada,
George J. Pappas:
Hierarchical trajectory refinement for a class of nonlinear systems.
Automatica 41(4): 701-708 (2005) |
| 7 | EE | Esfandiar Haghverdi,
Paulo Tabuada,
George J. Pappas:
Bisimulation relations for dynamical, control, and hybrid systems.
Theor. Comput. Sci. 342(2-3): 229-261 (2005) |
| 2004 |
|---|
| 6 | EE | Paulo Tabuada:
Open Maps, Alternating Simulations and Control Synthesis.
CONCUR 2004: 466-480 |
| 5 | EE | Paulo Tabuada,
George J. Pappas,
Pedro U. Lima:
Compositional Abstractions of Hybrid Control Systems.
Discrete Event Dynamic Systems 14(2): 203-238 (2004) |
| 2003 |
|---|
| 4 | EE | Paulo Tabuada,
George J. Pappas:
Model Checking LTL over Controllable Linear Systems Is Decidable.
HSCC 2003: 498-513 |
| 2002 |
|---|
| 3 | EE | Paulo Tabuada,
George J. Pappas,
Pedro U. Lima:
Composing Abstractions of Hybrid Systems.
HSCC 2002: 436-450 |
| 2 | EE | Esfandiar Haghverdi,
Paulo Tabuada,
George J. Pappas:
Bisimulation Relations for Dynamical and Control Systems.
Electr. Notes Theor. Comput. Sci. 69: (2002) |
| 2001 |
|---|
| 1 | EE | Paulo Tabuada,
George J. Pappas:
Hybrid Abstractions that Preserve Timed Languages.
HSCC 2001: 501-514 |
