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 Vijay K. Dhir Professor of Engineering Cyber-Physical Systems Laboratory Department of Electrical and Computer Engineering University of California at Los Angeles Research Interests Awards and Honors Recent Work Projects Publications Annotated Bibliography Teaching Group Journals and Conferences Travel Contact
News: 03/01/21: Prof. Tabuada to give plenary talk at the 7th IFAC Conference on Analysis and Design of Hybrid Systems. 09/19/19: Prof. Tabuada elected as a Fellow of IFAC. 08/26/19: Prof. Tabuada and collaborators win the IEEE Transactions on Automation Science and Engineering Best New Application Paper Award.
Research interests:
Control, Cyber-Physical Systems, Security and Privacy, Learning.
	Awards and Honors:	Odds and ends:
	IFAC Fellow, 2019. IEEE RAS IEEE Transactions on Automation Science and Engineering Best New Application Paper Award, 2019. 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:
Recent work:
Controlled invariant sets: implicit closed-form representations and applications Tzanis Anevlavis, Zexiang Liu, Necmiye Ozay, and Paulo Tabuada arXiv: 2107.08566 Being correct is not enough: efficient verification using robust linear temporal logic Tzanis Anevlavis, Matthew Philippe, Daniel Neider, and Paulo Tabuada arXiv: 2102.11991 Joint Continuous and Discrete Model Selection via Submodularity Jonathan Bunton and Paulo Tabuada arXiv: 2102.09029 On the Computational Complexity of the Secure State-Reconstruction Problem Yanwen Mao, Aritra Mitra, Shreyas Sundaram, and Paulo Tabuada arXiv: 2101.01827 Training deep residual networks for uniform approximation guarantees Matteo Marchi, Bahman Gharesifard, and Paulo Tabuada Learning for Dynamics and Control, PMLR 144, 2021. http: proceedings.mlr.press/v144/marchi21a/marchi21a.pdf Safety and stability guarantees for control loops with deep learning perception Matteo Marchi, Jonathan Bunton, Bahman Gharesifard, and Paulo Tabuada IEEE Control System Letters, 6, 2021. DOI: 10.1109/LCSYS.2021.3091933 Sampled-Data Stabilization With Control Lyapunov Functions via Quadratically Constrained Quadratic Programs Andrew J. Taylor, Victor D. Dorobantu, Yisong Yue, Paulo Tabuada, and Aaron D. Ames IEEE Control System Letters, 6, 2021. DOI: 10.1109/LCSYS.2021.3085172 Synthesis of Large-Scale Instant IoT Networks Pradipta Ghosh, Jonathan Bunton, Dimitrios Pylorof, Marcos A. M. Vieira, Kevin S. Chan, Ramesh Govindan, Gaurav Sukhatme, Paulo Tabuada, and Gunjan Verma IEEE Transactions on Mobile Computing, 2021. DOI: 10.1109/TMC.2021.3099005 An enhanced hierarchy for (robust) controlled invariance Tzanis Anevlavis, Zexiang Liu, Necmiye Ozay, and Paulo Tabuada 2021 ACC Universal Approximation Power of Deep Neural Networks via Nonlinear Control Theory Paulo Tabuada and Bahman Gharesifard ICLR 2021. arXiv: 2007.06007

Projects:	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. 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. Finished: Securing smart campuses: a holistic multi-layer approach (UC-National Laboratory Fees Research Program) led by UC Riverside. CPS: Medium: Distorting the Adversary's view: A CPS approach to privacy and security (NSF: 1740047) with Christina Fragouli and Suhas Diggavi at UCLA. Cyber-Physical Systems Virtual Organization: Active Resources (NSF: 1521617) led by Vanderbilt University and in collaboration with U. Arizona, and UPenn. A science of CPS Robustness (NSF: 1645824) 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: EEM242A, Nonlinear Dynamical Systems, Winter 2022 EEM240A, Linear Dynamical Systems, Fall 2021 EE141, Principles of Feedback Control, Spring 2021 EE239AS, Verification and Control of Hybrid Systems, Winter 2021 EE239AS, Geometric Nonlinear Control, Fall 2020 EE141, Principles of Feedback Control, Spring 2020 EEM242A, Nonlinear Dynamical Systems, Winter 2020 EEM240A, Linear Dynamical Systems, Fall 2019 EE141, Principles of Feedback Control, Spring 2019 EEM242A, Nonlinear Dynamical Systems, Winter 2019 EEM240A, Linear Dynamical Systems, Fall 2018 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: 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-) Yanwen Mao (B.Sc. Shanghai Jiao Tong University), Ph.D. student (2018-). Jonathan Bunton, (B.Sc. Austin Peay State University), Ph.D. student (2018-) Matteo Marchi, (B.Sc. and M.Sc. Politecnico di Milano), Ph.D. student (2019-) Yskandar Gas, (B.Sc. École Nationale Supérieure d'Arts et Métiers), M.Sc. student (2021-) Former group members: Sabbatical visitors Prof. Raphael Jungers, sabbatical leave from UCLouvain (2016-2017). Postdoctoral researchers Luigi Pannocchi (Ph.D. Scuola Superiore Sant'Anna - Pisa, Italy), postdoctoral scholar (2019-2021). Carlos Murguia (Ph.D. TU Eindhoven, the Netherlands), postdoctoral scholar (2019-2020). Now assistant professor at TU/e. Matthew Philippe (Ph.D. UCLouvain), postdoctoral researcher (2018). Now at Energis in Brussels, Belgium. 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 UC Irvine. 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 Associate Professor at University of l'Aquila, Italy. Ph.D. students Mehrdad Showkatbakhsh (B.Sc. Sharif University), Ph.D. student (2013-2019), co-advised with Prof. Diggavi. Omar Hussien (M.Sc. and B.Sc. Cairo University), Ph.D. student (2013-2018). Now at Mathworks. Luigi Pannocchi visiting Ph.D. student from Scuola Superiore Sant'Anna - Pisa, Italy, (Winter 2018 - Spring 2018). 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 UC Irvine. Sina Caliskan (M.Sc. Bilkent University and B.Sc. Middle East Technical University), Ph.D. student (2010-2015). Now at Google. Anne-Kathrin Schmuck, Visiting Ph.D. Student from TU Berlin, 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 Cory Ye (B.Sc. UCLA), M.Sc. student (2018-2020). 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 Tameez Latib, UCLA undergraduate student, Summer 2019. Tameez Latib, UCLA undergraduate student, Summer 2018. Joseph Miller, UCLA undergraduate student, Summer 2018. Brian Raymond, UCLA undergraduate student, Summer 2018. 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 Alexander Swerdlow, visiting high school student from Milken School, Los Angeles, CA (Summer 2018). 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 Design Automation for CPS and IoT (DESTION 2022) (Program Committee) Hybrid Systems: Computation and Control (HSCC) 2022 (Program Committee) International Conference on Cyber-Physical Systems (ICCPS) 2022 (Program Committee) 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS) 2021 (Program Committee) Hybrid Systems: Computation and Control (HSCC) 2021 (Program Committee) SafeThings 2020 (Program Committee) 26th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) 2020 (Program Committee) Autonomy in CPS 2020 (Program Committee) International Conference on Cyber-Physical Systems (ICCPS) 2020 (Program Committee) Hybrid Systems: Computation and Control (HSCC) 2020 (Program Committee) SafeThings 2019 (Program Committee) 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems (NecSys) 2019 (Program Committee) International Conference on Cyber-Physical Systems (ICCPS) 2019 (General co-chair)
		Travel: Use to be too much. Now, not enough ...
		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