P. Tabuada
发表
Insup Lee,
Nathan Michael,
George J. Pappas,
2013,
ICCPS 2013.
Paulo Tabuada,
George J. Pappas,
Esfandiar Haghverdi,
2003,
CTCS.
Paulo Tabuada,
Rupak Majumdar,
Yasser Shoukry,
2012,
EMSOFT '12.
Paulo Tabuada,
George J. Pappas,
P. Tabuada,
2001,
HSCC.
Paulo Tabuada,
George J. Pappas,
Esfandiar Haghverdi,
2005,
Theor. Comput. Sci..
George J. Pappas,
P. Tabuada,
2002,
Proceedings of the 41st IEEE Conference on Decision and Control, 2002..
Paulo Tabuada,
James Kapinski,
Xiaoqing Jin,
2017,
ACM Trans. Embed. Comput. Syst..
Jyotirmoy V. Deshmukh,
P. Tabuada,
J. Kapinski,
2015
.
Paulo Tabuada,
Aaron Ames,
Omar Hussien,
2017,
IEEE Control Systems Letters.
Paulo Tabuada,
Petru Eles,
Anton Cervin,
2010,
2010 31st IEEE Real-Time Systems Symposium.
Paulo Tabuada,
W. P. M. H. Heemels,
M. C. F. Donkers,
2014,
Discret. Event Dyn. Syst..
Paulo Tabuada,
Majid Zamani,
P. Tabuada,
2010,
49th IEEE Conference on Decision and Control (CDC).
Paulo Tabuada,
Aaron D. Ames,
Jessy W. Grizzle,
2016,
IEEE Transactions on Automatic Control.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
2014,
IEEE Transactions on Automatic Control.
A. Sangiovanni-Vincentelli,
S. Seshia,
P. Tabuada,
2015
.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
2014,
ArXiv.
Paulo Tabuada,
Aaron D. Ames,
Jessy W. Grizzle,
2014,
53rd IEEE Conference on Decision and Control.
Paulo Tabuada,
George J. Pappas,
P. Tabuada,
2003,
42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).
P. Tabuada,
2003
.
P. Tabuada,
P. Lima,
2001
.
J. Hespanha,
A. Sangiovanni-Vincentelli,
S. Seshia,
2016
.
F. Allgöwer,
P. Mosterman,
P. Tabuada,
2019
.
George J. Pappas,
P. Tabuada,
2001,
Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).
Paulo Tabuada,
Sandeep K. Shukla,
Rajesh Gupta,
2010
.
George J. Pappas,
P. Tabuada,
Esfandiar Haghverdi,
2005
.
George J. Pappas,
P. Tabuada,
Esfandiar Haghverdi,
2003
.
George J. Pappas,
A. Sangiovanni-Vincentelli,
S. Seshia,
2016
.
Paulo Tabuada,
Sina Y. Caliskan,
P. Tabuada,
2014,
at - Automatisierungstechnik.
P. Tabuada,
R. Majumdar,
2009
.
P. Tabuada,
2016
.
George J. Pappas,
P. Tabuada,
2003
.
Paulo Tabuada,
George J. Pappas,
P. Tabuada,
2005
.
Paulo Tabuada,
Gaurav S. Sukhatme,
Ramesh Govindan,
2020,
2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
P. Tabuada,
2016
.
P. Tabuada,
B. Krishnamachari,
C. Fragouli,
2022,
Defense + Commercial Sensing.
Paulo Tabuada,
Rupak Majumdar,
P. Tabuada,
2009,
HSCC.
Rupak Majumdar,
Paulo Tabuada,
P. Tabuada,
2009
.
P. Tabuada,
A. Sultangazin,
Luigi Pannocchi,
2022,
ICRA.
A. Astolfi,
P. Tabuada,
P. Lima,
2000
.
George J. Pappas,
P. Tabuada,
Pedro LIMAapproa,
2001
.
P. Tabuada,
2006
.
P. Tabuada,
N. Ozay,
Tzanis Anevlavis,
2021,
ArXiv.
P. Tabuada,
2005,
Proceedings of the 44th IEEE Conference on Decision and Control.
I. Lee,
O. Sokolsky,
James Weimer,
2022,
ArXiv.
P. Tabuada,
Jonathan Bunton,
2021,
J. Mach. Learn. Res..
Paulo Tabuada,
Karl Henrik Johansson,
W. P. M. H. Heemels,
2012,
2012 IEEE 51st IEEE Conference on Decision and Control (CDC).
Manuel Mazo,
Paulo Tabuada,
Adolfo Anta Martinez,
2009,
Autom..
Paulo Tabuada,
P. Tabuada,
2007,
IEEE Transactions on Automatic Control.
Paulo Tabuada,
Raphael M. Jungers,
Ayca Balkan,
2018,
Autom..
Paulo Tabuada,
Raphaël M. Jungers,
Ayca Balkan,
2018,
2018 IEEE Conference on Decision and Control (CDC).
Jyotirmoy V. Deshmukh,
P. Tabuada,
Xiaoqing Jin,
2017,
ACM Trans. Embed. Comput. Syst..
Paulo Tabuada,
James Kapinski,
Xiaoqing Jin,
2016,
2016 International Conference on Embedded Software (EMSOFT).
Paulo Tabuada,
Alimzhan Sultangazin,
P. Tabuada,
2019,
IEEE Transactions on Automatic Control.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
George J. Pappas,
2018,
Proceedings of the IEEE.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
George J. Pappas,
2017,
HSCC.
Paulo Tabuada,
George J. Pappas,
P. Tabuada,
2003,
42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).
Paulo Tabuada,
George J. Pappas,
P. Tabuada,
2003,
HSCC.
Paulo Tabuada,
Adolfo Anta Martinez,
P. Tabuada,
2010,
IEEE Transactions on Automatic Control.
Paulo Tabuada,
W. P. M. H. Heemels,
Dragan Nesic,
2013,
52nd IEEE Conference on Decision and Control.
Paulo Tabuada,
Matthias Rungger,
P. Tabuada,
2016,
IEEE Transactions on Automatic Control.
Paulo Tabuada,
George J. Pappas,
P. Tabuada,
2006,
IEEE Transactions on Automatic Control.
Paulo Tabuada,
Eugenio Schuster,
Reza Moheimani,
2007,
IEEE Control Systems.
Paulo Tabuada,
Bahman Gharesifard,
B. Gharesifard,
2021,
ICLR.
B. Gharesifard,
P. Tabuada,
Jonathan Bunton,
2022,
IEEE Control Systems Letters.
Bahman Gharesifard,
Paulo Tabuada,
B. Gharesifard,
2020,
ArXiv.
Paulo Tabuada,
Carlos Murguia,
P. Tabuada,
2020,
2020 59th IEEE Conference on Decision and Control (CDC).
Paulo Tabuada,
P. Tabuada,
2009
.
Paulo Tabuada,
Giordano Pola,
P. Tabuada,
2007,
SIAM J. Control. Optim..
Paulo Tabuada,
P. Tabuada,
2007,
Syst. Control. Lett..
Paulo Tabuada,
Petter Nilsson,
Aaron D. Ames,
2016,
IEEE Transactions on Control Systems Technology.
Paulo Tabuada,
Antoine Girard,
Giordano Pola,
2008,
IEEE Transactions on Automatic Control.
Paulo Tabuada,
Antoine Girard,
Giordano Pola,
2007,
Autom..
P Tabuada,
M Mazo,
P. Tabuada,
2010,
Proceedings of the 2010 American Control Conference.
Paulo Tabuada,
P. Tabuada,
2006,
at - Automatisierungstechnik.
Paulo Tabuada,
Magnus Egerstedt,
Aaron D. Ames,
2019,
2019 18th European Control Conference (ECC).
Paulo Tabuada,
Ramesh Govindan,
Marcos A. M. Vieira,
2021,
IEEE Transactions on Mobile Computing.
Paulo Tabuada,
Christina Fragouli,
Gunjan Verma,
2021,
MILCOM 2021 - 2021 IEEE Military Communications Conference (MILCOM).
Kevin S. Chan,
G. Sukhatme,
P. Tabuada,
2020,
2020 29th International Conference on Computer Communications and Networks (ICCCN).
Manuel Mazo,
Paulo Tabuada,
Anna Davitian,
2010,
CAV.
Paulo Tabuada,
George J. Pappas,
P. Tabuada,
2002,
Proceedings of the 41st IEEE Conference on Decision and Control, 2002..
Paulo Tabuada,
W. P. M. H. Heemels,
Dragan Nesic,
2018,
Autom..
Paulo Tabuada,
Dragan Nesic,
Romain Postoyan,
2015,
IEEE Transactions on Automatic Control.
Paulo Tabuada,
Mani B. Srivastava,
Yasser Shoukry,
2013,
CHES.
Paulo Tabuada,
Adolfo Anta Martinez,
P. Tabuada,
2008,
IEEE Transactions on Automatic Control.
B. Gharesifard,
P. Tabuada,
2023,
IEEE Transactions on Automatic Control.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
George J. Pappas,
2017,
2017 IEEE 56th Annual Conference on Decision and Control (CDC).
George J. Pappas,
A. Sangiovanni-Vincentelli,
S. Seshia,
2016
.
Antonio Pedro Aguiar,
Matheus F. Reis,
P. Tabuada,
2020,
IEEE Control Systems Letters.
Paulo Tabuada,
Aaron D. Ames,
Jessy W. Grizzle,
2016,
ADHS.
Paulo Tabuada,
P. Tabuada,
2006,
Syst. Control. Lett..
Paulo Tabuada,
George J. Pappas,
P. Tabuada,
2005,
Autom..
George J. Pappas,
Paulo Tabuada,
Pedro Lima,
2001,
2001 European Control Conference (ECC).
Paulo Tabuada,
Suhas Diggavi,
Ananthram Swami,
2018,
Computer.
Paulo Tabuada,
Suhas N. Diggavi,
Hamza Fawzi,
2011,
2011 49th Annual Allerton Conference on Communication, Control, and Computing (Allerton).
Paulo Tabuada,
Suhas N. Diggavi,
Yasser Shoukry,
2015,
IEEE Transactions on Control of Network Systems.
Paulo Tabuada,
Yasser Shoukry,
P. Tabuada,
2013,
IEEE Transactions on Automatic Control.
Paulo Tabuada,
Insup Lee,
George J. Pappas,
2014,
2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).
Paulo Tabuada,
Suhas N. Diggavi,
Hamza Fawzi,
2012,
IEEE Transactions on Automatic Control.
P. Chaudhari,
P. Tabuada,
S. Soatto,
2023,
ArXiv.
Paulo Tabuada,
Corto Mascle,
Daniel Neider,
2018,
Formal Methods in System Design.
Paulo Tabuada,
Insup Lee,
George J. Pappas,
2015,
2015 54th IEEE Conference on Decision and Control (CDC).
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
2015,
2015 American Control Conference (ACC).
Wpmh Maurice Heemels,
Dragan Nesic,
Romain Postoyan,
2018,
Event-Based Control and Signal Processing.
Paulo Tabuada,
Petru Eles,
Zebo Peng,
2016,
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Paulo Tabuada,
W. P. M. H. Heemels,
Duarte Antunes,
2014,
Autom..
Manuel Mazo,
Paulo Tabuada,
Karl Henrik Johansson,
2014,
IEEE Transactions on Industrial Informatics.
Paulo Tabuada,
Karl Henrik Johansson,
Manuel Mazo,
2012
.
Paulo Tabuada,
Karl Henrik Johansson,
W. P. M. H. Heemels,
2015,
Encyclopedia of Systems and Control.
Paulo Tabuada,
Rupak Majumdar,
Matthias Rungger,
2014,
IEEE Transactions on Automatic Control.
Paulo Tabuada,
Matthias Rungger,
P. Tabuada,
2013,
IEEE Transactions on Automatic Control.
Paulo Tabuada,
Matthew Philippe,
Daniel Neider,
2021,
ACM Trans. Comput. Log..
Manuel Mazo,
Paulo Tabuada,
P. Tabuada,
2010,
IEEE Transactions on Automatic Control.
Paulo Tabuada,
George J. Pappas,
Aaron D. Ames,
2008,
Syst. Control. Lett..
Paulo Tabuada,
Mani B. Srivastava,
George J. Pappas,
2016,
2016 IEEE 55th Conference on Decision and Control (CDC).
Paulo Tabuada,
Suhas N. Diggavi,
Mehrdad Showkatbakhsh,
2016,
2016 IEEE 55th Conference on Decision and Control (CDC).
Paulo Tabuada,
Eric Dallal,
Daniel Neider,
2016,
2016 IEEE 55th Conference on Decision and Control (CDC).
Paulo Tabuada,
S. Shankar Sastry,
Aaron D. Ames,
2006,
HSCC.
Paulo Tabuada,
Aaron D. Ames,
Austin Jones,
2017
.
P. Tabuada,
P. Tabuada,
R. Majumdar,
2009
.
Paulo Tabuada,
Lucas Fraile,
P. Tabuada,
2019,
2019 IEEE 58th Conference on Decision and Control (CDC).
Manuel Mazo,
Paulo Tabuada,
Giordano Pola,
2010,
IEEE Transactions on Automatic Control.
B. Gharesifard,
P. Tabuada,
Jonathan Bunton,
2022,
2022 IEEE 61st Conference on Decision and Control (CDC).
P. Tabuada,
S. Sundaram,
A. Mitra,
2021,
Automatica.
Paulo Tabuada,
Christina Fragouli,
Suhas Diggavi,
2021,
IEEE Control Systems Letters.
Paulo Tabuada,
Yasser Shoukry,
Suhas Diggavi,
2020,
Autom..
Paulo Tabuada,
Shreyas Sundaram,
Aritra Mitra,
2019,
2019 IEEE 58th Conference on Decision and Control (CDC).
Paulo Tabuada,
Suhas N. Diggavi,
Yasser Shoukry,
2019,
ArXiv.
Paulo Tabuada,
Suhas N. Diggavi,
Yasser Shoukry,
2017,
2017 IEEE 56th Annual Conference on Decision and Control (CDC).
Paulo Tabuada,
Suhas N. Diggavi,
Mehrdad Showkatbakhsh,
2016,
2016 54th Annual Allerton Conference on Communication, Control, and Computing (Allerton).
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
2016,
2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS).
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
2015,
2015 54th IEEE Conference on Decision and Control (CDC).
A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks
pdf
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
2015,
ArXiv.
Paulo Tabuada,
Insup Lee,
Nathan Michael,
2013,
HiCoNS '13.
Paulo Tabuada,
Frank Allgöwer,
Maria Prandini,
2019,
Nonlinear Analysis: Hybrid Systems.
Paulo Tabuada,
João Pedro Hespanha,
Masashi Wakaiki,
2017,
Dynamic Games and Applications.
Paulo Tabuada,
Suhas N. Diggavi,
Hamza Fawzi,
2012,
2012 IEEE 51st IEEE Conference on Decision and Control (CDC).
Paulo Tabuada,
Yanwen Mao,
P. Tabuada,
2021,
IEEE Transactions on Automatic Control.
Paulo Tabuada,
Suhas N. Diggavi,
Nikhil Karamchandani,
2014,
53rd IEEE Conference on Decision and Control.
Paulo Tabuada,
George J. Pappas,
P. Tabuada,
2005,
SIAM J. Control. Optim..
Paulo Tabuada,
George J. Pappas,
P. Tabuada,
2003,
42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).
Paulo Tabuada,
George J. Pappas,
Pedro U. Lima,
2002,
HSCC.
George J. Pappas,
Pedro U. Lima,
Paulo Tabuada,
2001,
Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).
Paulo Tabuada,
George J. Pappas,
Pedro Lima,
2001
.
Victor D. Dorobantu,
Andrew J. Taylor,
P. Tabuada,
2021,
IEEE Control Systems Letters.
Paulo Tabuada,
Magnus Egerstedt,
Aaron D. Ames,
2017,
2017 IEEE Conference on Control Technology and Applications (CCTA).
J. Grizzle,
P. Tabuada,
A. Ames,
2016,
ArXiv.
Paulo Tabuada,
Aaron D. Ames,
Jessy W. Grizzle,
2015,
2015 American Control Conference (ACC).
Paulo Tabuada,
P. Tabuada,
2009
.
P. Tabuada,
J. Hespanha,
M. Wakaiki,
2018,
Dynamic Games and Applications.
Paulo Tabuada,
Yasser Shoukry,
P. Tabuada,
2014,
53rd IEEE Conference on Decision and Control.
Paulo Tabuada,
Suhas N. Diggavi,
Gaurav S. Sukhatme,
2018,
2018 IEEE 38th International Conference on Distributed Computing Systems (ICDCS).
Paulo Tabuada,
Raphaël M. Jungers,
Benoît Legat,
2020
.
M. Srivastava,
Supriyo Chakraborty,
P. Tabuada,
2017,
2017 16th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN).
Paulo Tabuada,
Majid Zamani,
P. Tabuada,
2010,
IEEE Transactions on Automatic Control.
Paulo Tabuada,
Daniel Neider,
Tzanis Anevlavis,
2019,
HSCC.
Paulo Tabuada,
Matthew Philippe,
Daniel Neider,
2018,
2018 IEEE Conference on Decision and Control (CDC).
Paulo Tabuada,
Daniel Neider,
P. Tabuada,
2015,
CSL.
S. Diggavi,
P. Tabuada,
Deepesh Data,
2022,
2022 IEEE 61st Conference on Decision and Control (CDC).
Nathan van de Wouw,
W. P. M. H. Heemels,
M. C. F. Donkers,
2009,
IEEE Transactions on Automatic Control.
Paulo Tabuada,
Karl Henrik Johansson,
Mani B. Srivastava,
2013,
HiCoNS '13.
Paulo Tabuada,
Dragan Nesic,
Romain Postoyan,
2011,
IEEE Conference on Decision and Control and European Control Conference.
Paulo Tabuada,
Aaron D. Ames,
Shishir Kolathaya,
2015,
HSCC.
P. Tabuada,
Lucas Fraile,
Matteo Marchi,
2022,
ArXiv.
P. Tabuada,
Lucas Fraile,
2020,
ArXiv.
Paulo Tabuada,
W. P. M. H. Heemels,
Duarte Antunes,
2012,
2012 IEEE 51st IEEE Conference on Decision and Control (CDC).
Manuel Mazo,
Paulo Tabuada,
P. Tabuada,
2008,
2008 47th IEEE Conference on Decision and Control.
Lazy Controller Synthesis using Three-valued Abstractions for Safety and Reachability Specifications
Paulo Tabuada,
Omar Hussien,
P. Tabuada,
2018,
2018 IEEE Conference on Decision and Control (CDC).
Paulo Tabuada,
Eric Dallal,
P. Tabuada,
2015,
2015 54th IEEE Conference on Decision and Control (CDC).
Manuel Mazo,
Paulo Tabuada,
Matthias Rungger,
2013,
HSCC '13.
Paulo Tabuada,
George J. Pappas,
Sanjit A. Seshia,
2018,
IEEE Transactions on Automatic Control.
George J. Pappas,
Pedro U. Lima,
Paulo Tabuada,
2001,
Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).
Paulo Tabuada,
Rupak Majumdar,
Pritam Roy,
2011,
HSCC '11.
Paulo Tabuada,
Eric Dallal,
P. Tabuada,
2016,
2016 IEEE 55th Conference on Decision and Control (CDC).
Paulo Tabuada,
Aaron D. Ames,
Jessy W. Grizzle,
2016,
IEEE Transactions on Automation Science and Engineering.
Paulo Tabuada,
Tzanis Anevlavis,
P. Tabuada,
2019,
2019 IEEE 58th Conference on Decision and Control (CDC).
P. Tabuada,
M. Mazo,
2010,
Syst. Control. Lett..
Paulo Tabuada,
Rupak Majumdar,
Pritam Roy,
2010,
ArXiv.
Paulo Tabuada,
Rupak Majumdar,
Indranil Saha,
2010,
EMSOFT '10.
Paulo Tabuada,
Nima Monshizadeh,
P. Tabuada,
2019,
2019 IEEE 58th Conference on Decision and Control (CDC).
Paulo Tabuada,
Min Gao,
Lei He,
2012
.
P. Tabuada,
Jonathan Bunton,
2022,
2022 IEEE 61st Conference on Decision and Control (CDC).
Paulo Tabuada,
Jonathan Bunton,
P. Tabuada,
2020,
2020 59th IEEE Conference on Decision and Control (CDC).
Paulo Tabuada,
Sina Y. Caliskan,
P. Tabuada,
2012,
ArXiv.
Paulo Tabuada,
Aaron D. Ames,
Jessy W. Grizzle,
2017,
2017 IEEE 56th Annual Conference on Decision and Control (CDC).
Paulo Tabuada,
Tzanis Anevlavis,
P. Tabuada,
2020,
HSCC.
R. M. Jungers,
P. Tabuada,
P. Tabuada,
2019,
2019 American Control Conference (ACC).
Paulo Tabuada,
Giordano Pola,
P. Tabuada,
2008,
IEEE Conference on Decision and Control and European Control Conference.
A. Sangiovanni-Vincentelli,
S. Seshia,
P. Tabuada,
2014,
IEEE Transactions on Automatic Control.
Paulo Tabuada,
Suhas Diggavi,
S. Diggavi,
2020
.
Paulo Tabuada,
Suhas N. Diggavi,
Yasser Shoukry,
2015,
2015 IEEE International Symposium on Information Theory (ISIT).
Paulo Tabuada,
Yasser Shoukry,
P. Tabuada,
2021
.
Paulo Tabuada,
P. Tabuada,
2007,
Acta Informatica.
Paulo Tabuada,
P. Tabuada,
2004
.
Paulo Tabuada,
Karl Henrik Johansson,
George J. Pappas,
2014,
IEEE Trans. Autom. Control..
Xiaofeng Wang,
P. Tabuada,
P. Tabuada,
2006,
Proceedings of the 45th IEEE Conference on Decision and Control.
Paulo Tabuada,
P. Tabuada,
2005,
HSCC.
Paulo Tabuada,
Dragan Nesic,
Romain Postoyan,
2011,
IEEE Conference on Decision and Control and European Control Conference.
Manuel Mazo,
Paulo Tabuada,
Adolfo Anta,
2009,
2009 European Control Conference (ECC).
A. Anta,
P. Tabuada,
P. Tabuada,
2008,
2008 American Control Conference.
On the Minimum Attention and the Anytime Attention Control Problems for Linear Systems: A Linear Programming Approach
pdf
Paulo Tabuada,
W. P. M. H. Heemels,
M. C. F. Donkers,
2011,
ArXiv.
Paulo Tabuada,
Adolfo Anta Martinez,
P. Tabuada,
2010,
49th IEEE Conference on Decision and Control (CDC).
P. Tabuada,
Adolfo Anta Martinez,
2009,
Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.
Paulo Tabuada,
Adolfo Anta Martinez,
P. Tabuada,
2009,
2009 30th IEEE Real-Time Systems Symposium.
Computing controlled invariant sets for hybrid systems with applications to model-predictive control
Paulo Tabuada,
Raphaël M. Jungers,
Benoît Legat,
2018,
ADHS.
Paulo Tabuada,
George J. Pappas,
Pedro U. Lima,
2005,
IEEE Transactions on Robotics.
George J. Pappas,
Paulo Tabuada,
P. Tabuada,
2002,
Proceedings of the 41st IEEE Conference on Decision and Control, 2002..
Paulo Tabuada,
George J. Pappas,
Pedro Lima,
2001,
2001 European Control Conference (ECC).
Paulo Tabuada,
Sina Y. Caliskan,
P. Tabuada,
2012,
2012 IEEE 51st IEEE Conference on Decision and Control (CDC).
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
George J. Pappas,
2016,
2016 IEEE 55th Conference on Decision and Control (CDC).
Paulo Tabuada,
Sina Y. Caliskan,
P. Tabuada,
2013,
IEEE Transactions on Control of Network Systems.
Paulo Tabuada,
Manuel Mazo,
P. Tabuada,
2011
.
P. Tabuada,
2020,
Encyclopedia of Systems and Control.