| 2007 |
|---|
| 11 | EE | Jennifer M. Davoren,
Paulo Tabuada:
On Simulations and Bisimulations of General Flow Systems.
HSCC 2007: 145-158 |
| 10 | EE | Paulo Tabuada:
Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems.
HSCC 2007: 529-542 |
| 9 | EE | Paulo Tabuada:
Symbolic models for control systems.
Acta Inf. 43(7): 477-500 (2007) |
| 2006 |
|---|
| 8 | EE | Aaron D. Ames,
Paulo Tabuada,
Shankar Sastry:
On the Stability of Zeno Equilibria.
HSCC 2006: 34-48 |
| 2005 |
|---|
| 7 | EE | Paulo Tabuada:
Sensor/Actuator Abstractions for Symbolic Embedded Control Design.
HSCC 2005: 640-654 |
| 6 | 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 |
|---|
| 5 | EE | Paulo Tabuada:
Open Maps, Alternating Simulations and Control Synthesis.
CONCUR 2004: 466-480 |
| 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 |
