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
Vijay K. Dhir Professor of Engineering
Cyber-Physical Systems Laboratory
Department of Electrical and Computer Engineering
University of California at Los Angeles
News:
10/13/17: Profs. Diggavi, Srivastava, and Tabuada part of ARL's Internet of Battlefield Things Collaborative Research Alliance.
09/01/17: Dr. Yasser Shoukry joined the University of Maryland as Assistant Professor.
07/28/17: Prof. Tabuada is the inaugural holder of the Vijay K. Dhir Endowed Chair in Engineering.
07/10/17: ICCPS 2018 will take place in Porto. Consider submitting your best papers!
11/29/16: Prof. Tabuada becomes an IEEE Fellow.
10/07/16: Ayca Balkan wins the best paper award at EMSOFT 2016.
04/18/16: Yasser Shoukry wins the best paper award at ICCPS 2016.
12/17/15: Prof. Tabuada is awarded the 2015 Antonio Ruberti Young Researcher Prize by the IEEE Control Systems Society.
08/01/15: Journal of Discrete Event Dynamic Systems special issue on Formal Methods in Control. Consider submitting your best papers!
01/09/15: Ayca Balkan wins the best student paper award at ICC.
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, control, and security of real-time, embedded, networked and distributed cyber-physical systems. Other research interests include geometrical nonlinear control and mathematical systems theory.
Vijay K. Dhir Endowed Chair in Engineering, 2017.
IEEE Fellow, 2017.
EMSOFT Best Paper Award, 2016.
ICCPS Best Paper Award, 2016.
IEEE CSS Antonio Ruberti Young Researcher Prize, 2015.
ICC Best Student Paper Award, 2015.
ICCPS Best Paper Award, 2014.
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:
SMC-Satisfiability Modulo Convex Programming
Yasser Shoukry, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, George Pappas, and Paulo Tabuada
To appear in Proceedings of the IEEE, 2018.
SMT-Based Observer Design for Cyber-Physical Systems Under Sensor Attacks
Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, João Hespanha, and Paulo Tabuada
ACM Transactions on Cyber-Physical Systems, 2(1), 2018.
DOI:10.1145/3078621
Underminer: A Framework for Identifying Non-convergent Behaviors in Black-Box System Models
Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaqing Jin, and James Kapinski
ACM Transactions on Embedded Computing Systems, 17(1), 2018.
DOI:10.1145/3122787
Data-Driven Control for Feedback Linearizable Single-Input Systems
P. Tabuada, W. Ma, A. Ames, and J. Grizzle
CDC, 2017.
Abstracting Partially Feedback Linearizable Systems Compositionally
O. Hussien, A. Ames, and P. Tabuada
CDC, 2017.
Linear Temporal Logic Motion Planning for Teams of Underactuated Robots Using Satisfiability Modulo Convex Programming
Y. Shoukry, P. Nuzzo, A. Balkan, I. Saha, A. Sangiovanni-Vincentelli, S. Seshia, G. Pappas, and P. Tabuada
CDC, 2017.
An SMT-Based Approach to Secure State Estimation under Sensor and Actuator Attacks
M. Showkatbakhsh, Y. Shoukry, R. H. Chen, S. Diggavi, and P. Tabuada
CDC, 2017.
Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control
Xiangru Xu, Jessy W. Grizzle, Paulo Tabuada, and Aaron D. Ames
To appear in IEEE Transactions on Automation Science and Engineering, 2018.
DOI: 10.1109/TASE.2017.2760863
Mode-Target Games: Reactive Synthesis for Control Applications
Ayca Balkan, Moshe Vardi, and Paulo Tabuada
IEEE Transactions on Automatic Control, 2018.
DOI:10.1109/TAC.2017.2722960
arXiv:1504.07702
Abstracting Partially Feedback Linearizable Systems Compositionally
Omar Hussien, Aaron Ames, and Paulo Tabuada
IEEE Control Systems Letters, 1(2), 2017.
DOI: 10.1109/LCSYS.2017.2713461
Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach
Yasser Shoukry, Pierluigi Nuzzo, Alberto Puggelli, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada
IEEE TAC, 62(10), 2017.
DOI: 10.1109/TAC.2017.2676679
Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control
Xiangru Xu, Jessy W. Grizzle, Paulo Tabuada, and Aaron Ames
IEEE TASE, 2017.
DOI: 10.1109/TASE.2017.2760863
Control Barrier Function Based Quadratic Programs for Safety Critical Systems
Aaron D. Ames, Xiangru Xu, Jessy W. Grizzle, and Paulo Tabuada
IEEE TAC, 62(8), 2017.
DOI: 10.1109/TAC.2016.2638961
Projects:
Securing smart campuses: a holistic multi-layer approach (UC-National Laboratory Fees Research Program) let by UC Riverside.
IoBT REIGN Research Center, an Army Research Laboratory (ARL) Collaborative Research Alliance (CRA).
CONIX Research Center, one of six centers in JUMP, a Semiconductor Research Corporation (SRC) program sponsored by DARPA.
CPS: Medium: Distorting the Adversary's view: A CPS approach to privacy and security (NSF: 1740047) with Christina Fragouli and Suhas Diggavi at UCLA.
SaTC: CORE: Medium: Collaborative: Privacy-aware Trustworthy Control as Service for the Internet-of-Things (IoT) (NSF: 1705135) with Mani Srivastava at UCLA and Saman Zonouz at Rutgers.
A science of CPS Robustness (NSF: 1645824)
Cyber-Physical Systems Virtual Organization: Active Resources (NSF: 1521617) led by Vanderbilt University and in collaboration with U. Arizona, and UPenn.
Finished:
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 Caltech.
ExCAPE: Expeditions in Computer Augmented Program Engineering, led by UPenn and in collaboration with Berkeley, Cornell, UIUC, Maryland, Michigan, MIT, and Rice.
SPARCS: Synthesis of Platform-aware Attack-Resilient Control Systems, a DARPA HACMS project led by UPenn.
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.
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:
EE141, Principles of Feedback Control, Spring 2018
EEM242A, Nonlinear Dynamical Systems, Winter 2018
EEM240A, Linear Dynamical Systems, Fall 2017
EE239AS, From Data to Models, Spring 2017
EE141, Principles of Feedback Control, Winter 2017
EE239AS, Verification and Control of Hybrid Systems, Fall 2016
EE141, Principles of Feedback Control, Winter 2015
EE239AS, Geometric Nonlinear Control, Fall 2014
EE141, Principles of Feedback Control, Winter 2014
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:
Matthew Philippe (Ph.D. UCLouvain), postdoctoral researcher (2018-).
Omar Hussien (M.Sc. and B.Sc. Cairo University), Ph.D. student (2013-).
Mehrdad Showkatbakhsh (B.Sc. Sharif University), Ph.D. student (2013-), co-advised with Prof. Diggavi.
Janis Anevlanis (B.Sc. Technical University of Athens), Ph.D. student (2017-).
Marcus Lucas (B.Sc. Caltech, M.Sc. Cal State LA), Ph.D. student (2017-).
Lucas Fraile Vazquez (B.Sc. Buenos Aires Institute of Technology, Argentina), Ph.D. student (2017-).
Alimzhan Sultangazin (B.Sc. Nazarbayev University, Kazakhstan), Ph.D. student (2017-).
Calvin John (B.Sc. UCSC), M.Sc. student (2017-).
Cory Ye (B.Sc. UCLA), Ph.D. student (2018-).
Luigi Pannocchi visiting Ph.D. student from Scuola Superiore Sant'Anna - Pisa (Italy) (2018).
Former group members:
Sabbatical visitors
Prof. Raphael Jungers, sabbatical leave from UCLouvain (2016-2017).
Postdoctoral researchers
Yasser Shoukry (M.Sc. and B.Sc. Ain Shams University, Ph.D. UCLA), postdoctoral researcher (2015-2017), co-advised with S. Seshia at UC Berkeley and G. J. Pappas at UPenn. Now Assistant Professor at U. Maryland.
Eric Dallal (Ph.D. University of Michigan), postdoctoral researcher (2014-2016). Now at AIR Worldwide.
Daniel Neider (Ph.D. RWTH Aachen), postdoctoral researcher (2015-2016). Now Research Group Leader at Max Planck Institute for Software Systems.
Matthias Rungger (Ph.D. University of Kassel and B.Sc. TUMunich), 2012-2014. Now postdoctoral researcher at TUMunich.
Elaine Render, 2010-2011. Co-advised with Prof. Majumdar.
Pritam Roy, 2010-2011. Co-advised with Prof. Majumdar. Now at Calypto Design Systems.
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
Ayca Balkan (B.Sc. Middle East Technical University), Ph.D. student (2010-2017). Now at Medtronic.
Yasser Shoukry (M.Sc. and B.Sc. Ain Shams University, Ph.D. UCLA), Ph.D. student (2011-2015), co-advised with Prof. Srivastava. Now Assistant Professor at U. Maryland.
Sina Caliskan (M.Sc. Bilkent University and B.Sc. Middle East Technical University), Ph.D. student (2010-2015). Now at Mathworks.
Anne-Kathrin Schmuck, Visiting Ph.D. Student from TUBerlin, Germany (March and December 2014).
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
Bastian Schürmann (B.Sc. TUKaiserslautern), (2013-2014). Now a Ph.D. student at TUMunich.
Suzanne Weller, visiting M.Sc. student from TUDelft, Fall 2013.
Hamza Fawzi (B.Sc. École des Mines de Paris), 2010-2012. Now a Lecturer at the University of Cambridge.
Pitcha Prasitmeeboon, 2010-2011. Now a Ph.D. student at Columbia University.
Yusuf Yucel (B.Sc. Bilkent University), 2009-2011. Currently at Rockwell Collins.
James Marcelin, 2009-2010.
Anna Davitian (B.Sc. UCLA), 2007-2009, co-advised with Prof. Kaiser. Now at AeroVironment.
Andre Dias (B.Sc. Instituto Superior Tecnico), 2007.
Undergraduate students
Jean Auriol, Undergraduate student from MINES ParisTech, Summer 2014.
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
3rd Workshop on Design and Analysis of Robust Systems (DARS) 2018 (Program Committee)
7th Workshop on Synthesis (SYNT) 2018 (Program Committee co-chair)
6th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS) 2018 (Program Committee)
International Conference on Cyber-Physical Systems (ICCPS) 2018 (Program Committee co-chair)
SafeThings 2017 (Program Committee)
2nd Workshop on Design and Analysis of Robust Systems (DARS) 2017 (Program Committee)
Data Mining for Cyber-Physical and Industrial Systems (DMCIS) 2017 (Program Committee)
56th IEEE Conference on Decision and Control (Program Committee)
International Conference on Cyber-Physical Systems (ICCPS) 2017 (Program Committee)
International Conference on Cyber-Physical Systems (ICCPS) 2016 (Program Committee)
5th IFAC Conference on Analysis and Design of Hybrid Systems (Program Committee co-chair)
European Control Conference (ECC) 2015 (Program Committee)
International Conference on Cyber-Physical Systems (ICCPS) 2015 (Program Committee)
14th International Conference on Embedded Software (EMSOFT) (Program Committee)
53rd IEEE Conference on Decision and Control (Program Committee)
International Conference on Cyber-Physical Systems (ICCPS) 2014 (Program Committee)
Hybrid Systems: Computation and Control (HSCC) 2014 (Program Committee)
Travel:
Too much ...
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