Paulo Tabuada - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Symbolic approximate time-optimal controlManuel Mazo Jr., Paulo Tabuada. scl, 60(4):256-263, 2011. [doi]

2010

An ISS self-triggered implementation of linear controllersManuel Mazo Jr., Adolfo Anta Martinez, Paulo Tabuada. automatica, 46(8):1310-1314, 2010. [doi]

On the minimum attention and anytime attention problems for nonlinear systemsAdolfo Anta Martinez, Paulo Tabuada. cdc 2010: 3234-3239 [doi]

Automatic verification of control system implementationsAdolfo Anta Martinez, Rupak Majumdar, Indranil Saha, Paulo Tabuada. emsoft 2010: 9-18 [doi]

PESSOA: A Tool for Embedded Controller SynthesisManuel Mazo, Anna Davitian, Paulo Tabuada. cav 2010: 566-569 [doi]

Symbolic models for nonlinear time-delay systems using approximate bisimulationsGiordano Pola, Pierdomenico Pepe, Maria Domenica Di Benedetto, Paulo Tabuada. scl, 59(6):365-373, 2010. [doi]

Dynamic Scheduling and Control-Quality Optimization of Self-Triggered Control ApplicationsSoheil Samii, Petru Eles, Zebo Peng, Paulo Tabuada, Anton Cervin. rtss 2010: 95-104 [doi]

Towards backstepping design for incremental stabilityMajid Zamani, Paulo Tabuada. cdc 2010: 2426-2431 [doi]

2009

Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. ProceedingsRupak Majumdar, Paulo Tabuada, editors, Volume 5469 of Lecture Notes in Computer Science, Springer, 2009. [doi]

Isochronous manifolds in self-triggered controlAdolfo Anta Martinez, Paulo Tabuada. cdc 2009: 3194-3199 [doi]

On the Benefits of Relaxing the Periodicity Assumption for Networked Control Systems over CANAdolfo Anta Martinez, Paulo Tabuada. rtss 2009: 3-12 [doi]

Input-to-state stability of self-triggered control systemsManuel Mazo, Paulo Tabuada. cdc 2009: 928-933 [doi]

Symbolic Models for Nonlinear Control Systems: Alternating Approximate BisimulationsGiordano Pola, Paulo Tabuada. siamco, 48(2):719-733, 2009. [doi]

A symbolic model approach to the digital control of nonlinear time-delay systemsGiordano Pola, Pierdomenico Pepe, Maria Domenica Di Benedetto, Paulo Tabuada. cdc 2009: 2216-2221 [doi]

2008

Approximately Bisimilar Symbolic Models for Incrementally Stable Switched SystemsAntoine Girard, Giordano Pola, Paulo Tabuada. hybrid 2008: 201-214 [doi]

On event-triggered and self-triggered control over sensor/actuator networksManuel Mazo Jr., Paulo Tabuada. cdc 2008: 435-440 [doi]

Space-time scaling laws for self-triggered controlAdolfo Anta Martinez, Paulo Tabuada. cdc 2008: 4420-4425 [doi]

Symbolic models for nonlinear control systems affected by disturbancesGiordano Pola, Paulo Tabuada. cdc 2008: 251-256 [doi]

Approximately bisimilar symbolic models for nonlinear control systemsGiordano Pola, Antoine Girard, Paulo Tabuada. automatica, 44(10):2508-2516, 2008. [doi]

Approximate reduction of dynamic systemsPaulo Tabuada, Aaron D. Ames, A. Agung Julius, George J. Pappas. scl, 57(7):538-545, 2008. [doi]

Controller synthesis for bisimulation equivalencePaulo Tabuada. scl, 57(6):443-452, 2008. [doi]

2007

On Simulations and Bisimulations of General Flow SystemsJennifer M. Davoren, Paulo Tabuada. hybrid 2007: 145-158 [doi]

Approximate Simulation Relations and Finite Abstractions of Quantized Control SystemsPaulo Tabuada. hybrid 2007: 529-542 [doi]

Symbolic models for control systemsPaulo Tabuada. ACTA, 43(7):477-500, 2007. [doi]

2006

On the Stability of Zeno EquilibriaAaron D. Ames, Paulo Tabuada, Shankar Sastry. hybrid 2006: 34-48 [doi]

Control theory from the geometric viewpoint [Andrei A. Agrachev and Yuri L. Sachkov. Copyright 2003 World Scientific Publishing, ISBN: 3-540-21019-9]Paulo Tabuada. automatica, 42(4):695-696, 2006. [doi]

Corrigendum to Hierarchical trajectory refinement for a class of nonlinear systems [Automatica 41(4) (2005) 701-708]Paulo Tabuada, George J. Pappas. automatica, 42(10):1833, 2006. [doi]

Local factorization of trajectory lifting morphisms for single-input affine control systemsPaulo Tabuada. scl, 55(9):761-769, 2006. [doi]

2005

Bisimulation relations for dynamical, control, and hybrid systemsEsfandiar Haghverdi, Paulo Tabuada, George J. Pappas. TCS, 342(2-3):229-261, 2005. [doi]

Motion feasibility of multi-agent formationsPaulo Tabuada, George J. Pappas, Pedro U. Lima. trob, 21(3):387-392, 2005. [doi]

Hierarchical trajectory refinement for a class of nonlinear systemsPaulo Tabuada, George J. Pappas. automatica, 41(4):701-708, 2005. [doi]

Quotients of Fully Nonlinear Control SystemsPaulo Tabuada, George J. Pappas. siamco, 43(5):1844-1866, 2005. [doi]

Sensor/Actuator Abstractions for Symbolic Embedded Control DesignPaulo Tabuada. hybrid 2005: 640-654 [doi]

2004

Compositional Abstractions of Hybrid Control SystemsPaulo Tabuada, George J. Pappas, Pedro U. Lima. deds, 14(2):203-238, 2004. [doi]

Open Maps, Alternating Simulations and Control SynthesisPaulo Tabuada. concur 2004: 466-480 [doi]

2003

Abstractions of Hamiltonian control systemsPaulo Tabuada, George J. Pappas. automatica, 39(12):2025-2033, 2003. [doi]

Model Checking LTL over Controllable Linear Systems Is DecidablePaulo Tabuada, George J. Pappas. hybrid 2003: 498-513 [doi]

2002

Bisimulation Relations for Dynamical and Control SystemsEsfandiar Haghverdi, Paulo Tabuada, George J. Pappas. ENTCS, 69, 2002. [doi]

Composing Abstractions of Hybrid SystemsPaulo Tabuada, George J. Pappas, Pedro U. Lima. hybrid 2002: 436-450 [doi]

2001

Hybrid Abstractions that Preserve Timed LanguagesPaulo Tabuada, George J. Pappas. hybrid 2001: 501-514 [doi]