This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be re-posted without the explicit permission of the copyright holder.
PreprintsA theory of robust software synthesis Rupak Majumdar, Elaine Render, and Paulo Tabuada Submitted for publication, August 2011. arXiv:1108:3540 Symbolic models for nonlinear control systems without stability assumptions Books Paulo Tabuada Springer, 2009. Available online through SpringerLink  Rupak Majumdar and Paulo Tabuada, (Eds.) Volume 5469 of Lecture Notes in Computer Science Springer, 2009.  Panos J. Antsaklis and Paulo Tabuada, (Eds.) Volume 331 of Lecture Notes in Control and Information Sciences Springer, 2006. Exploiting Isochrony in Self-Triggered Control Adolfo Anta and Paulo Tabuada IEEE Transactions on Automatic Control, 57(4), 950-962, 2012. DOI:10.1109/TAC.2011.2169631 arXiv:1009:5208 Decentralized event-triggered control over wireless sensor/actuator networks. Manuel Mazo Jr. and Paulo Tabuada IEEE Transactions on Automatic Control, Special Issue on Wireless Sensor and Actuator Networks, 56(10), 2456-2461, 2011. arXiv:1004.0477
Symbolic approximate time-optimal control Manuel Mazo Jr. and Paulo Tabuada Systems and Control Letters, 60, 256-263, 2011. arXiv:1004.0763 To sample or not to sample: Self-triggered control for nonlinear systems Adolfo Anta and Paulo TabuadaIEEE Transactions on Automatic Control, 55(9), 2030-2042, 2010. An ISS self-triggered implementation of linear controllers. Manuel Mazo Jr., Adolfo Anta, and Paulo Tabuada Automatica, 46(8), 1310-1314, 2010. arXiv:0906.3588 Symbolic models for nonlinear time-delay systems using approximate bisimulations Giordano Pola, Pierdomenico Pepe, Maria D. Di Benedetto, and Paulo Tabuada Systems and Control Letters, 59, 365-373, 2010. DOI:10.1016/j.sysconle2010.04.001 arXiv:0903.0361 Approximately bisimilar symbolic models for incrementally stable switched systems Antoine Girard, Giordano Pola and Paulo Tabuada IEEE Transactions on Automatic Control, 55(1), 116-126, 2010. arXiv:0807.5022 Symbolic models for nonlinear control systems: Alternating approximate bisimulations Giordano Pola and Paulo Tabuada SIAM Journal on Control and Optimization, 48(2), 719-733, 2009. arXiv:0707.4205 Approximately bisimilar symbolic models for nonlinear control systems Giordano Pola, Antoine Girard and Paulo Tabuada Automatica, 44(10), 2508-2516, October 2008. arXiv:0706.0246 An approximate simulation approach to symbolic control Paulo TabuadaIEEE Transactions on Automatic Control, 53(6), 1406-1418, July 2008. Approximate reduction of dynamical systems Paulo Tabuada, Aaron D. Ames, Agung Julius, and George J. Pappas Systems and Control Letters, 57(7), 538-545, July 2008. DOI:10.1016/j.sysconle.2007.12.005 arXiv:0707.3804 Controller synthesis for bisimulation equivalence Paulo Tabuada Systems and Control Letters, 57(6), 443-452, June 2008. arXiv:0706.0929 Event-triggered real-time scheduling of stabilizing control tasks Paulo TabuadaIEEE Transactions on Automatic Control, 52(9), 1680-1685, September 2007. DOI:10.1109/TAC.2007.904277 PDF file Symbolic models for control systems Paulo Tabuada Acta Informatica, 43(7), 477-500, February 2007. Special issue on Hybrid Systems. PDF fileLinear Time Logic control of discrete-time linear systems Paulo Tabuada and George J. Pappas IEEE Transactions on Automatic Control, 51(12), 1862-1877, December 2006 PDF fileLocal factorization of trajectory lifting morphisms for single-input affine control systems Paulo Tabuada Systems and Control Letters, 55(9), 761-769, September 2006. PDF file Symbolic control of linear systems based on symbolic subsystems Paulo Tabuada IEEE Transactions on Automatic Control, 51(6), 1003-1013, June 2006. Special issue on Symbolic Methods for Complex Control Systems. Bisimulation relations for dynamical, control and hybrid systems Esfandiar Haghverdi, Paulo Tabuada and George J. Pappas Theoretical Computer Science, 342(2-3), 229-261, 2005. PDF file Motion Feasibility of Multi-Agent Formations Paulo Tabuada, Pedro Lima and George J. Pappas. IEEE Transactions on Robotics, 21(3), 387-392, 2005. PDF file Quotients of Fully Nonlinear Control Systems Paulo Tabuada and George J. Pappas. SIAM Journal on Control and Optimization, 43(5), 1844-1866, 2005. PDF file Hierarchical trajectory generation for a class of nonlinear systems Paulo Tabuada and George J. Pappas. Automatica, 41(4), 701-708, April 2005. PDF file, Corrigendum Bisimilar Control Affine Systems Paulo Tabuada and George J. Pappas. Systems and Control Letters, 52(1), 49-58, May 2004. DOI:10.1016/j.sysconle.2003.09.013 PDF file Compositional Abstractions of Hybrid Control Systems Paulo Tabuada, George J. Pappas and Pedro Lima. Journal of Discrete Event Dynamical Systems, 14(2), 203-238, April 2004. PDF file Abstractions of Hamiltonian Control Systems Paulo Tabuada and George J. Pappas. Automatica, 39(12), 2025-2033, December 2003. PDF file From Nonlinear to Hamiltonian via Feedback Paulo Tabuada and George J. Pappas. IEEE Transactions on Automatic Control, 48(8), 1439-1442, August 2003.
On the minimum attention control problem for linear systems: A linear programing approach M.C.F. Donkers, P. Tabuada, and W.P.M.H. Heemels 50th IEEE Conference on Decision and Control, December, 2011. arXiv:1108:2783 A unifying Lyapunov-based framework for the event-triggered control of nonlinear systems Romain Postoyan, Adolfo Anta, Dragan Nesic, and Paulo Tabuada 50th IEEE Conference on Decision and Control, December, 2011. Event-triggered and self-triggered stabilization of networked control systems Romain Postoyan, Paulo Tabuada, Dragan Nesic, and Adolfo Anta 50th IEEE Conference on Decision and Control, December, 2011. Self-triggered control for industrial wireless sensor and actuator networks Jose Araujo, Adolfo Anta, Manuel Mazo Jr., Joao Faria, Aitor Hernandez, Paulo Tabuada, and Karl Johansson REALWIN 2011, CPSWeek 2011.
Towards backstepping design for incremental stability Majid Zamani and Paulo Tabuada On the minimum attention and anytime attention problems for nonlinear systems Adolfo Anta and Paulo Tabuada Proceedings of the 49th IEEE Conference on Decision and Control, 2010. Automatic verification of control systems implementations. Adolfo Anta, Rupak Majumdar, Indranil Saha, and Paulo Tabuada Proceedings of the 2010 International Conference on Embedded Software. Best Paper Awardee. Symbolic models for unstable nonlinear control systems Majid Zamani, Giordano Pola, and Paulo Tabuada Proceedings of the 2010 American Control Conference, June 2010. PDF file Approximate time-optimal control via approximate alternating simulations PDF file Towards decentralized event-triggered implementations of centralized control laws Manuel Mazo Jr. and Paulo Tabuada CONET 2010, April 2010. PESSOA: towards the automatic synthesis of correct-by-design control software Manuel Mazo Jr., Anna Davitian, and Paulo Tabuada International Conference on Hybrid Systems: Computation and Control (HSCC), Work in progress, April 2010. On the benefits of relaxing the periodicity assumption for networked control systems over CAN PDF file
On Self-Triggered Control for Linear Systems: Guarantees and Complexity Manuel Mazo Jr., Adolfo Anta and Paulo Tabuada Proceedings of the 10th European Control Conference, August 2009. PDF file Space-time scaling laws for self-triggered control Adolfo Anta and Paulo TabuadaProceedings of the 47th IEEE Conference on Decision and Control, December 2008. PDF fileEvent-triggered and Self-triggered control over sensor/actuator network Proceedings of the 47th IEEE Conference on Decision and Control, December 2008. PDF fileSymbolic models for nonlinear control systems affected by disturbances Giordano Pola and Paulo Tabuada Proceedings of the 47th Conference on Decision and Control, December 2008. PDF file Self-triggered stabilization of homogeneous control systems Adolfo Anta and Paulo Tabuada Proceedings of the 2008 American Control Conference, June 2008. PDF file On the benefits of relaxing the periodicity assumption for control tasks Adolfo Anta and Paulo Tabuada Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, Work-In-Progress track, April 2008. PDF file Symbolic models for nonlinear control systems using approximate bisimulations Giordano Pola, Antoine Girard and Paulo Tabuada Proceedings of the 46th IEEE Conference on Decision and Control, 2007. PDF file Symbolic models for linear control systems with disturbances Giordano Pola and Paulo Tabuada Proceedings of the 46th IEEE Conference on Decision and Control, 2007. PDF file Approximate reduction of dynamical systems Paulo Tabuada, Aaron Ames, Agung Julius and George Pappas Proceedings of the 45th IEEE Conference on Decision and Control, 2006. PDF file Preliminary results on state-triggered scheduling of stabilizing control tasks Paulo Tabuada and Xiaofeng Wang Proceedings of the 45th IEEE Conference on Decision and Control, 2006. PDF file Symbolic sub-systems and symbolic control of linear systems Paulo Tabuada. Proceeding of the 44th IEEE Conference on Decision and Control, Seville, Spain, 2005. PDF file On the factorization of trajectory lifting maps Paulo Tabuada. Proceeding of the 44th IEEE Conference on Decision and Control, Seville, Spain, 2005. PDF file Book Chapters
doi:10.1109/DCOSS.2011.5982135 PESSOA: A tool for embedded controller synthesis Manuel Mazo Jr., Anna Davitian, and Paulo Tabuada 22nd International Conference on Computer Aided Verification Volume 6174 of Lecture Notes in Computer Science, Springer, July 2010. Approximately bisimilar symbolic models for incrementally stable switched systems Antoine Girard, Giordano Pola and Paulo Tabuada Hybrid Systems: Computation and Control 2008 Volume 4981 of Lecture Notes in Computer Science, Springer 2008. Approximate simulation relations and finite abstractions of quantized control systems Paulo Tabuada Hybrid Systems: Computation and Control Volume 4416 of Lecture Notes in Computer Science, Springer, April 2007 PDF file On simulations and bisimulations of general flow systems Jennifer Davoren and Paulo Tabuada Hybrid Systems: Computation and Control Volume 4416 of Lecture Notes in Computer Science, Springer, April 2007 On the stability of Zeno equilibria Aaron Ames, Paulo Tabuada and Shankar Sastry Hybrid Systems: Computation and Control Volume 3927 of Lecture Notes in Computer Science, Springer, March 2006 PDF file Sensor/actuator abstractions for symbolic embedded control design Paulo Tabuada Hybrid Systems: Computation and Control Volume 3414 of Lecture Notes in Computer Science, Springer, March 2005 PDF file Open maps, alternating simulations and control synthesis Paulo Tabuada 15th International Conference on Concurrency Theory Volume 3170 of Lecture Notes in Computer Science, Springer, September 2004 PDF file Model Checking LTL over Controllable Linear Systems is Decidable Paulo Tabuada and George J. Pappas Hybrid Systems: Computation and Control Volume 2623 of Lecture Notes in Computer Science, Springer-Verlag, April 2003 PDF file Bisimulation Relations for Dynamical and Control Systems Esfandiar Haghverdi, Paulo Tabuada and George J. Pappas Rick Blute and Peter Selinger eds. Volume 69 of Electronic Notes in Theoretical Computer Science, Elsevier PDF file Composing Abstractions of Hybrid Systems Paulo Tabuada, George J. Pappas and Pedro Lima Hybrid Systems: Computaion and Control Volume 2289 of Lecture Notes in Computer Science, Springer-Verlag, March 2002 PDF file Hybrid abstractions that preserve timed languages Paulo Tabuada and George J. Pappas Hybrid Systems: Computation and Control Volume 2034 of Lecture Notes in Computer Science, Springer-Verlag, March 2001 PDF file Satellite Attitude Control Problem R. Wisniewski, A. Astolfi, T. Bak, M. Blanke, P. Lima, K. Spindler, P. Tabuada and P. Tavares Chapter in Control of Complex Systems (COSY), Springer-Verlag, Berlin, 2000 Technical ReportsPESSOA: A tool for embedded control software synthesis Manuel Mazo Jr., Anna Davitian, and Paulo Tabuada Technical Report UCLA-CyPhyLab-2010-01, 2010. PDF file |
|
|
CyPhyLab |
Home >
Publications |