Paulo Tabuada

	I am a technician, but I have technique only inside technique. Outside it I am mad, with every right to be so. With every right to be so, did you hear me? Click here if you would like to know who wrote these lines
	Paulo Tabuada Assistant Professor Cyber-Physical Systems Laboratory Department of Electrical Engineering University of California at Los Angeles Preprints Books Journals Book Chapters Recent Conferences Miscellaneous 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 reposted without the explicit permission of the copyright holder.
Preprints:
On the benefits of relaxing the periodicity assumption for networked control systems over CAN A. Anta and P. Tabuada Submitted for publication PDF file On Self-Triggered Control for Linear Systems: Guarantees and Complexity Manuel Mazo Jr., Adolfo Anta and Paulo Tabuada To appear in European Control Conference, August 2009. Symbolic models for nonlinear time-delay systems using approximate bisimulations Giordano Pola, Pierdomenico Pepe, Maria D. Di Benedetto and Paulo Tabuada Submitted for publication. arXiv:0903.0361 Approximately bisimilar symbolic models for incrementally stable switched systems Antoine Girard, Giordano Pola and Paulo Tabuada To appear in IEEE Transactions on Automatic Control arXiv:0807.5022 To sample or not to sample: Self-triggered control for nonlinear systems Adolfo Anta and Paulo Tabuada Accepted for publication in IEEE Transactions on Automatic Control arXiv:0806.0709
Books:
Verification and Control of Hybrid Systems: A Symbolic Approach Paulo Tabuada Springer, 2009. Available online through SpringerLink. Front Matter Hybrid Systems: Computation and Control (HSCC'09) Rupak Majumdar and Paulo Tabuada, (Eds.) Volume 5469 of Lecture Notes in Computer Science Springer, 2009. Networked Embedded Sensing and Control Panos J. Antsaklis and Paulo Tabuada, (Eds.) Volume 331 of Lecture Notes in Control and Information Sciences Springer, 2006.

Journals:	Symbolic models for nonlinear control systems: Alternating approximate bisimulations Giordano Pola and Paulo Tabuada SIAM Journal of Control and Optimization, 48(2), 719-733, 2009. DOI:10.1137/070698580 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. DOI:10.1016/j.automatica.2008.02.021 arXiv:0706.0246 An approximate simulation approach to symbolic control Paulo Tabuada IEEE Transactions on Automatic Control, 53(6), 1406-1418, July 2008. DOI:10.1109/TAC.2008.925824 PDF file 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. DOI:10.1016/j.sysconle.2007.11.005 arXiv:0706.0929 Event-triggered real-time scheduling of stabilizing control tasks Paulo Tabuada IEEE Transactions on Automatic Control, 52(9), 1680-1685, September 2007. PDF file Symbolic models for control systems Paulo Tabuada Acta Informatica, 43(7), 477-500, February 2007. Special issue on Hybrid Systems. PDF file Linear 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 file Local 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. PDF file 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. 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. PDF file

	Book Chapters: 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 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

Recent Conferences: On event-triggered and self-triggered control over sensor/actuator networks Manuel Mazo Jr. and Paulo Tabuada Proceedings of the 47th Conference on Decision and Control, 2008. PDF file Space-time scaling laws for self-triggered control Adolfo Anta and Paulo Tabuada Proceedings of the 47th Conference on Decision and Control, 2008. PDF file Symbolic models for nonlinear control systems affected by disturbances Giordano Pola and Paulo Tabuada Proceedings of the 47th Conference on Decision and Control, 2008. PDF file Self-triggered stabilization of homogeneous control systems Adolfo Anta and Paulo Tabuada Proceedings of the 2008 American Control Conference, 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, 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
		Miscellaneous:
Review of "Feedback Control of Computing Systems" by J.L. Hellerstein, Y. Diao, S. Parekh and D.M. Tilbury Paulo Tabuada IEEE Control Systems Magazine, 27(2), 89-91, April 2007. PDF file Review of "Control Theory from the Geometric Viewpoint" by A. Agrachev and Y. Sachkov Paulo Tabuada Automatica, 42(4), 695-696, April 2006. PDF file H-Categories and Graphs Aaron D. Ames and Paulo Tabuada PDF file