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
Professor
Vice-Chair for Graduate Affairs
Cyber-Physical Systems Laboratory
Department of Electrical Engineering
University of California at Los Angeles
also affiliated with:
UCLA Center for Engineering Economics, Learning, and Networks
UCLA Center for Systems, Dynamics and Control
News:
04/05/13: CyPhyLab part of a $4M NSF CPS Frontiers award to study correct-by-construction synthesis of control software with applications to automotive safety.
02/07/13: Prof. Tabuada will deliver a plenary lecture at NecSys 2013.
10/18/12: CyPhyLab part of SPARCS (Synthesis of Platform-aware Attack-Resilient Control Systems), a $4.8M award from DARPA's High-Assurance Cyber Military Systems (HACMS) Program.
10/02/12: IEEE Transactions on Automatic Control special issue on the Control of Cyber-Physical Systems: consider submitting your best papers!
04/04/12: CyPhyLab part of ExCAPE, a $10M NSF Expeditions in Computing award.
12/16/11: Dr. Adolfo Anta and Prof. Paulo Tabuada receive the 2011 George S. Axelby award.
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 cyber-physical systems. Other research interests include geometrical nonlinear control and mathematical systems theory.
Plenary speaker, NecSys, 2013.
IEEE CSS George S. Axelby Award, 2011.
EMSOFT Best Paper Award, 2010.
Plenary speaker, WODES, 2010.
Semi-plenary Speaker, ACC, 2010.
AACC Donald P. Eckman Award, 2009.
NSF CAREER Award, 2005.
Falas Português? Queres saber mais sobre estudar na UCLA e viver em LA? Check this video:
Compositional Transient Stability Analysis of Multi-Machine Power Networks
Sina Y. Caliskan, Paulo Tabuada
arXiv:1309.5422
Event-Triggered State Observers for Sparse Noise/Attacks
Y. Shoukry and P. Tabuada
arXiv:1309.3511
Periodic Event-Triggered Control for Nonlinear Systems
R. Postoyan, A. Anta, W.P.M.H. Heemels, P. Tabuada, and D. Nesic
To appear in 52nd IEEE Conference on Decision and Control
Towards a Compositional Analysis of Multi-Machine Power Systems Transient Stability
S. Y. Caliskan and P. Tabuada
To appear in 52nd IEEE Conference on Decision and Control
A Symbolic Approach to the Design of Robust Cyber-Physical Systems
M. Rungger and P. Tabuada
To appear in 52nd IEEE Conference on Decision and Control
Noninvasive Spoofing Attacks for Anti-Lock Braking Systems
Y. Shoukry, P. Martin, P. Tabuada, and M. Srivastava
To appear in Workshop on Cryptographic Hardware and Embedded Systems 2013 (CHES 2013).
Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
M. Rungger, M. Mazo Jr., and P. Tabuada
Hybrid Systems: Computation and Control 2013 (HSCC'03).
DOI: 10.1145/2461328.2461378
Kron reduction of generalized electrical networks
S. Y. Caliskan and P. Tabuada
arXiv:1207.0563
Secure estimation and control for cyber-physical systems under adversarial attacks
H. Fawzi, P. Tabuada, S. Diggavi
arXiv:1205.5073
A theory of robust software synthesis
R. Majumdar, E. Render, and P. Tabuada
Accepted for publication in the ACM Transactions on Embedded Computing Systems.
arXiv:1108.3540
Projects:
CPS: Frontier: Collaborative Research: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems (NSF: 1239085) led by UMich and in collaboration with CMU, and Texas A&M.
SPARCS: Synthesis of Platform-aware Attack-Resilient Control Systems, a DARPA HACMS project led by UPenn.
ExCAPE: Expeditions in Computer Augmented Program Engineering, led by UPenn and in collaboration with Berkeley, Cornell, UIUC, Maryland, Michigan, MIT, and Rice.
Foundations of secure cyber-physical systems (NSF:1136174) with Suhas Diggavi, Rafail Ostrovsky, Mani Srivastava, and Amit Sahai.
Towards robust cyber-physical systems (NSF:1035916) with Rupak Majumdar at UCLA/MPI.
Finished:
Closing the gap in controller synthesis (NSF:0953994) with Rupak Majumdar at UCLA/MPI.
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.
SGER: Event-triggered control over sensor/actuator wireless networks (NSF:0841216)
Control and real-time scheduling co-design (NSF:0712502)
Automated synthesis of embedded control software (NSF CAREER:0717188)
Teaching:
EEM240A, Linear Dynamical Systems, Fall 2013
EE141, Principles of Feedback Control, Winter 2013
EE239AS, Verification and Control of Hybrid Systems, Fall 2012
EE188, Introduction to Power Systems, Winter 2012
EE141, Principles of Feedback Control, Spring 2011
EE239, From Data to Models, Winter 2011
EEM240A, Linear Dynamical Systems, Fall 2010
EE239AS, Verification and Control of Hybrid Systems, Spring 2010
EE141, Principles of Feedback Control, Winter 2010
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:
Matthias Rungger, Postdoctoral Researcher (2012-).
Ayca Balkan, Ph.D. student (2010-).
Sina Caliskan, Ph.D. student (2010-).
Yasser Shoukry, Ph.D. student (2011-), co-advised with Prof. Srivastava.
Cameron Gunn, Ph.D. student (2013-), co-advised with Prof. Vandenberghe.
Omar Hussien, Ph.D. student (2013-).
Mehrdad Showkatbakhsh, Ph.D. student (2013-), co-advised with Prof. Diggavi.
Bastian Schürmann, M.Sc. student (2013-).
Suzanne Weller, visitng M.Sc. student from TUDelft (Fall 2013).
Former group members:
Postdoctoral researchers
Elaine Render, (2010-2011). Co-advised with Prof. Majumdar.
Pritam Roy, (2010-2011). Co-advised with Prof. Majumdar.
Ramkrishna Pasumarthy (2008-2009). Now Assistant Professor at IIT Madras, India.
Giordano Pola (2006-2007). Now Assistant Professor at University of l'Aquila, Italy.
Ph.D. students
Jose Araujo, Visiting Ph.D. Student from KTH, Sweden (Winter 2012-Summer 2012).
Bruno Lacerda, visiting Ph.D. Student from ISR/IST, Portugal, (Fall 2011).
Tijs Donkers, visiting Ph.D. student from TU/e, The Netherlands (Fall 2010). Now Assistant Professor at TU/e.
Manuel Mazo Jr., (2007-2010). Now Assistant Professor at TU Delft, The Netherlands.
Adolfo Anta, (2006-2010). Now at GE Global Research, Munich, Germany.
Soheil Samii, Visiting Ph.D. Student from Linkoping University,
Sweden (Spring 2009 and Summer 2009).
M.Sc. students
Hamza Fawzi, (2010-2012). Now a Ph.D. student at MIT.
Pitcha Prasitmeeboon, (2010-2011). Now a Ph.D. student at Columbia University.
Yusuf Yucel, (2009-2011). Currently at Rockwell Collins.
James Marcelin (2009-2010).
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
Caron Zhang, Undergraduate student (Fall 2011-Spring 2012). Now a M.Sc. student at Caltech.
Sara Asaadi, Undergraduate student (Winter 2010).
Garik Rostomyan, Undergraduate student (Summer 2009-Winter 2010). Now a M.Sc. student at UCLA.
Annie Chen, Undergraduate student (Winter 2009 and Spring 2009). Now a Ph.D. student at MIT.
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 Transactions on Automatic Control (Associate Editor: 2010-2012)
IEEE Embedded Systems Letters (Associate Editor: 2009-2011)
Conferences
FORMATS 2013 (Program Committee)
EMSOFT 2013 (Program Committee)
52nd IEEE Conference on Decision and Control (Program Committee)
Design, Automation & Test in Europe (DATE) 2013 (Program Committee)
International Conference on Cyber-Physical Systems (ICCPS) 2013 (Program Committee)
Hybrid Systems: Computation and Control (HSCC) 2013 (Program Committee)
International Conference on High Confidence Networked Systems (HiCoNS) 2013 (Program Committee)
3rd IFAC Workshop on Distributed Estimation and Control in Networked Systems (Program Committee co-chair)
1st International Conference on High Confidence Networked Systems (HiCoNS) at CPSWeek 2012 (Program Committee)
Design, Automation & Test in Europe 2012 (Program Committee)
Hybrid Systems: Computation and Control 2012 (Program Committee)
18th IEEE Real-Time and Embedded Technology and Applications Symposium (Program Committee)
4th IFAC Conference on Analysis and Design of Hybrid Systems 2012 (Program Committee)
FORMATS 2011 (Program Committee)
19th Mediterranean Conference on Control and Automation (Program Committee)
First International Workshop on Networks of Cooperating Objects: CONET 2010 (Program Committee)
EMSOFT 2010 (Program Committee)
NecSys'10 (Program Committee)
Hybrid Systems: Computation and Control 2010 (Program Committee)
American Control Conference 2010 (Program Committee)
Travel:
October 17-18: NSF CPS PI meeting, Washington DC.
October 16: CPS Frontier Kick-off meeting, Washington DC.
September 25-26: NecSys 2013. Koblenz, Germany.
June 12-15: ExCAPE Summer School. Berkeley, California.
June 10-11: ExCAPE PI Meeting. Berkeley, California.
April 22-24: EECI International Graduate School on Control, Gif-sur-Yvette, France.
April 17-19: Workshop on Formal Verification of Embedded Control Systems, Lund University, Sweeden.
April 8-11: CPSWeek, Philadelphia, PA.
February 5-7: HACMS DARPA PI meeting, Los Angeles, CA.
December 10-13: 51st IEEE Conference on Decision and Control, Maui, Hawaii.
November 30: Southern California Nonlinear Control Workshop, UCSD, San Diego, California.
November 2: 4th Southern California Network
Economics and Game Theory Workshop, USC, Los Angeles, California.
October 25-26: NSF/NITRD National Workshop on The New Clockwork for Time-Critical Systems, Baltimore, Maryland.
October 3-5: NSF CPS PI meeting, Oxon Hill, Maryland.
September 14-15: NecSys 2012, Santa Barbara, California.
July 7-13: SYNT 2012 and CAV 2012, Berkeley, California.
June 10-11: Safe & Secure Systems & Software Symposium, Fairborn, Ohio.
June 4-5: ExCAPE kick-off meeting, UPenn, Philadelphia, Pennsylvania.
May 23-24: NSF, Arlington, Virginia.
May 18: Southern California Nonlinear Control Workshop, USC, Los Angeles, California.
April 11-12: NSF, Arlington, Virginia.
December 12-15: 50th IEEE CDC and ECC, Orlando, Florida.
November 18: UCSD, San Diego, California.
October 27: Eindhoven University of Technology, Eindhoven, The Netherlands.
September 28-29: PhD School: Control Theory of Digitally Networked Dynamical Systems, Gummersbach, Germany.
September 26-27: Max Planck Institute for Software Systems, Kaiserslautern-Saarbrucken, Germany.
August 1-2: NSF CPS PI Meeting, Maryland.
July 7-8: Institute of Mathematics and Computing Science, University of Groningen, Netherlands.
July 5: Deft Center for Systems and Control, TUDelft, Netherlands.
April 11-14: CPSWeek, Chicago, Indiana.
December 14-16: 49th IEEE Conference on Decision and Control, Atlanta, Georgia.
September 24: Department of Computer Science and Engineering, Washington University, St. Louis, Missouri.
September 9: Kirtland AFRL, New Mexico.
August 30-September 1st: 10th International Workshop on Discrete Event Systems, Berlin, Germany.
July 7-August 6: University of Melbourne, Victoria, Australia.
June 30-July 2: 2010 American Control Conference, Baltimore, Maryland.
June 17: Design Automation Conference, Anaheim, California.
June 3rd: University of California at Irvine, Irvine, California.
April 12-15: CPSWeek, Stockholm, Sweden.
February 24: Department of Electrical Engineering, USC, Los Angeles, California.
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