Tabuada, Paulo
226  results:
Search for persons X
?
2

Controlled Invariant Sets: Implicit Closed-Form Representat..:

Anevlavis, Tzanis ; Liu, Zexiang ; Ozay, Necmiye.
IEEE Transactions on Automatic Control.  69 (2024)  7 - p. 4506-4521 , 2024
 
?
3

Learning to Control Known Feedback Linearizable Systems Fro..:

Sultangazin, Alimzhan ; Pannocchi, Luigi ; Fraile, Lucas.
IEEE Transactions on Automatic Control.  69 (2024)  1 - p. 189-201 , 2024
 
?
5

Correction to "Universal Approximation Power of Deep Residu..:

Tabuada, Paulo ; Gharesifard, Bahman
IEEE Transactions on Automatic Control.  69 (2024)  7 - p. 4891-4892 , 2024
 
?
6

Synthesis of Large-Scale Instant IoT Networks:

Ghosh, Pradipta ; Bunton, Jonathan ; Pylorof, Dimitrios...
IEEE Transactions on Mobile Computing.  22 (2023)  3 - p. 1810-1824 , 2023
 
?
7

Universal Approximation Power of Deep Residual Neural Netwo..:

Tabuada, Paulo ; Gharesifard, Bahman
IEEE Transactions on Automatic Control.  68 (2023)  5 - p. 2715-2728 , 2023
 
?
8

Sharp Performance Bounds for PASTA:

Marchi, Matteo ; Bunton, Jonathan ; Gas, Yskandar..
IEEE Control Systems Letters.  7 (2023)  - p. 2401-2406 , 2023
 
?
10

Being Correct Is Not Enough: Efficient Verification Using R..:

Anevlavis, Tzanis ; Philippe, Matthew ; Neider, Daniel.
ACM Transactions on Computational Logic (TOCL).  23 (2022)  2 - p. 1-39 , 2022
 
?
11

LiDAR Point Cloud Registration with Formal Guarantees:

, In: 2022 IEEE 61st Conference on Decision and Control (CDC),
 
?
12

Give the problem a lift: solving quadratic programs with co..:

, In: 2022 IEEE 61st Conference on Decision and Control (CDC),
Bunton, Jonathan ; Tabuada, Paulo - p. 6941-6946 , 2022
 
?
13

Watch and Learn: Learning to control feedback linearizable ..:

, In: 2022 International Conference on Robotics and Automation (ICRA),
 
?
14

Decentralized Learning Robust to Data Poisoning Attacks:

, In: 2022 IEEE 61st Conference on Decision and Control (CDC),
Mao, Yanwen ; Data, Deepesh ; Diggavi, Suhas. - p. 6788-6793 , 2022
 
1-15