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.
PreprintsApproximate time-optimal control via approximate alternating simulations Manuel Mazo Jr. and Paulo Tabuada Submitted for publication, October 2009. PDF file Symbolic models for nonlinear control systems without stability assumptions Majid Zamani, Giordano Pola, and Paulo Tabuada Submitted for publication, October 2009. PDF file
Manuel Mazo Jr., Adolfo Anta, and Paulo Tabuada Submited for publication, June 2009. arXiv:0906.3588 PDF file Symbolic models for nonlinear time-delay systems using approximate bisimulations Giordano Pola, Pierdomenico Pepe, Maria D. Di Benedetto, and Paulo Tabuada Submited for publication, March 2009. arXiv: 0903.0361 To sample or not to sample: Self-triggered control for nonlinear systems Adolfo Anta and Paulo TabuadaBooks 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. To sample or not to sample: Self-triggered control for nonlinear systems Adolfo Anta and Paulo TabuadaAccepted for publication in IEEE Transactions on Automatic Control. arXiv:0806.0709 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 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 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 A. Anta and P. 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 A. Anta and P. Tabuada Proceedings of the 2008 American Control Conference, June 2008. PDF file On the benefits of relaxing the periodicity assumption for control tasks A. Anta and P. 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 ChaptersApproximately 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 |
|
|
CyPhyLab |
Home >
Publications |