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

 
also affiliated with:

  UCLA Center for Systems, Dynamics and Control




Research Interests
 Recent Work
Projects

 Publications
Annotated bibliography
 Teaching
 Group
  Journals and Conferences
 Travel
 Contact




 News:


   10/22/09: Pessoa, a tool for embedded control software synthesis, is released.

   09/28/09: NSF funds Prof. Majumdar and Prof. Tabuada to close the gap
in controller synthesis
.


   06/15/09: AACC Donald P. Eckman award.

   06/15/09: New book on Hybrid Systems already available online.

   05/11/09: Georgia Tech Summer School on Cyber-Physical Systems.

   01/17/09: NSF Workshop in honor of Prof. A.V. Balakrishnan.

   01/12/09: Associate Editor for the recently established journal
IEEE Embedded Systems Letters. Please consider submitting your best work!






 Research interests:

   My main research interests cover a range of topics which could be described as a modern systems theory. In particular, I'm interested in modeling, analysis and control of real-time, embedded, networked and distributed systems. Other research interests include geometrical nonlinear control and mathematical systems theory.


 Recent work:


   Approximate 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

   Self-Triggered Control: trading actuation for computation
   Manuel Mazo Jr., Adolfo Anta, and Paulo Tabuada
   Submitted for publication.
   arXiv:0906.3588


   On the benefits of relaxing the periodicity assumption for networked control systems over CAN
   A. Anta and P. Tabuada
   30th IEEE Real-Time Systems Symposium, December 2009. (To appear).
   PDF file


   Isochronous manifolds in self-triggered control
   A. Anta and P. Tabuada
   48th IEEE Conference on Decision and Control, December 2009 (To appear).
   PDF file

   Input-to-state stability of self-triggered control systems
   M. Mazo Jr. and P. Tabuada
   48th IEEE Conference on Decision and Control, December 2009 (To appear).
   PDF file

   A symbolic model approach to the digital control of time-delay systems
   G. Pola, P. Pepe, M. Domenica Di Benedetto, and P. Tabuada
   48th IEEE Conference on Decision and Control, December 2009 (To appear).

  
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

   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

   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





Projects:
 

 




 Closing the gap in controller synthesis (NSF:0834771) with Rupak Majumdar at UCLA.

 
An anytime approach to real-time embedded control (NSF:0834771) with Vijay Gupta at Notre Dame.

 Design and run-time techniques for physically coupled software (NSF:0820061) with Mani Srivastava at UCLA, Rajesh Gupta at UCSD, and Ramesh Govindan at USC.

 Automated synthesis of embedded control software (NSF CAREER:0717188)

 Categorical methods in systems theory


Finished:

 Control and real-time scheduling co-design (NSF:0712502)

 SGER: Event-triggered control over sensor/actuator wireless networks (NSF:0841216)







 

Teaching:


EE141, Principles of Feedback Control, Fall 2009
EE239AS-2, Geometric Nonlinear Control, Spring 2009
EE141, Principles of Feedback Control, Winter 2009
EE141, Principles of Feedback Control, Fall 2008
EE141, Principles of Feedback Control, Spring 2008
EEM240A, Linear Dynamical Systems, Winter 2008
EE102, Systems and Signals, Fall 2007
EE142,
Linear Systems: State-Space, Winter 2007
   EEM240A, Linear Dynamical Systems, Fall 2006














 Group:

   Adolfo Anta, Ph.D. Student (2006-).
   Manuel Mazo Jr., Ph.D. Student (2007-).
   Majid Zamani, Ph.D. Student (2008-).

   Yusuf Yucel, M.Sc. Student (2009-).

   Garik Rostomyan, Undergraduate student (Summer 2009-).

 Former group members:

 Postdoctoral researchers
   Ramkrishna Pasumarthy (2008-2009) Now somewhere in India.
   Giordano Pola (2006-2007). Now Assistant Professor at University of l'Aquila.

 Ph.D. students
   Soheil Samii, Visiting Ph.D. Student from Linkoping University,
                 Sweden (Spring 2009 and Summer 2009).


 M.Sc. students
   Anna Davitian, (2007-2009) co-advised with Prof. Kaiser. Now at AeroVironment.
   Andre Dias (2007). Now a Ph.D. student in the MIT-Portugal program.

 Undergraduate students
   Annie Chen, Undergraduate student (Winter 2009 and Spring 2009).
   Wenhui Zhang visiting undergraduate student from Fudan University, China (Summer 2008).
   Catvu Bui (Winter 2008 and Spring 2008) now at DiCon Fiberoptics.
   Yuan Fu (Winter 2008 and Spring 2008).
   John Larson (Winter 2008 and Spring 2008).
   Shilloam Won (Winter 2008 and Spring 2008).
   Michael Dokhanchy (Fall 2007).

  High School students
   Megan Ross, visiting High School Student from Chadwick High, Palos Verdes Peninsula, CA (Summer of 2008).



 
 Journals and Conferences:

 Journals

  IEEE Embedded Systems Letters (Associate Editor)


 Conferences

  Hybrid Systems: Computation and Control 2010 (Program Committee)

  American Control Conference 2010 (Program Committee)

  Quantitative Formal Methods QFM'09 (Program Committee)

 SSS 2009: 11th International Symposium on Stabilization, Safety and Security of Distributed Systems (Program Committee)

  48th IEEE Conference on Decision and Control & Chinese Control Conference 2009 (Program Committee)

  Hybrid Systems: Computation and Control 2009 (General co-Chair)

  47th IEEE Conference on Decision and Control 2008 (Associate Editor, Conference Editorial Board)

 American Control Conference 2008 (Associate Editor, Conference Editorial Board)

 7th International Conference on Autonomous Agents and Multiagent Systems (Program Committee)

 8th Portuguese Conference on Automatic Control Controlo 2008 (Program Committee)

 Hybrid Systems: Computation and Control 2008 (Program Committee)





 Travel:

  December 1-4: IEEE Real-Time Systems Symposium, Washington, DC.

 
August 23-26: European Control Conference 2009, Budapest, Hungary.

  July 6-8: SIAM Conference on Control and its Applications, Denver, Colorado.

 
June 22-26: Georgia Tech Summer School on Cyber-Physical Systems, Atlanta, Georgia.

  June 10-12: 2009 American Control Conference, St. Louis, Missouri.

 
May 22: SoCal Nonlinear Control Workshop, Caltech, Pasadena, California.

  May 15: CDS, Caltech, Pasadena, California.

  May 4-5: Aalborg University, Aalborg, Denmark.

  April 17: UC Berkeley, Berkeley, California.

 
April 13-16: HSCC09 and CPSWeek, San Francisco, California.

  March 25: University of Michigan, Ann Arbor, Michigan.

  March 23-24: University of Notre Dame, South Bend, Indiana.





 Contact:

 Paulo Tabuada
 UCLA Electrical Engineering Dept.
 66-147F Engineering IV Building
 Los Angeles, CA 90095-1594

 Tel: 310-794-4266
 Fax: 310-206-4685
 e-mail: tabuada(at)ee.ucla.edu