Paulo Tabuada
- Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks
2007/09/01 by Paulo Tabuada · 72 citations
Computer Science · #Real-Time Systems Scheduling #Petri Nets in System Modeling #Embedded Systems Design Techniques
- To sample or not to sample: Self-triggered control for nonlinear systems
2008/06/04 by Adolfo Anta, Anta, Adolfo, Paulo Tabuada +1 · 6 citations
Engineering · #Adaptive Control of Nonlinear Systems #Control and Stability of Dynamical Systems #Dynamical Systems (math.DS) #FOS: Mathematics #Optimization and Control (math.OC) #Stability and Control of Uncertain Systems
- Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control
2016/09/22 by Xiangru Xu, Jessy W. Grizzle, Xu, Xiangru +5 · 4 citations
Engineering · Decision Sciences · #Traffic control and management #Real-time simulation and control systems #Simulation Techniques and Applications
- Approximately bisimilar symbolic models for incrementally stable switched systems
2008/07/31 by Antoine Girard, Giordano Pola, Girard, Antoine +3 · 2 citations
Computer Science · Engineering · #93A30 #Control and Stability of Dynamical Systems #FOS: Mathematics #Formal Methods in Verification #Optimization and Control (math.OC) #Petri Nets in System Modeling
- Supervisory Control of Discrete-event Systems under Attacks
2017/01/04 by Masashi Wakaiki, Paulo Tabuada, Wakaiki, Masashi +3 · 3 citations
Computer Science · #Petri Nets in System Modeling #Security and Verification in Computing #Distributed systems and fault tolerance
- Decentralized event-triggered control over wireless sensor/actuator\n networks
2010/04/03 by Manuel Mazo, Mazo, Manuel, Paulo Tabuada +1 · 2 citations
Computer Science · #Petri Nets in System Modeling #Network Time Synchronization Technologies #Energy Efficient Wireless Sensor Networks
- A unifying Lyapunov-based framework for the event-triggered control of\n nonlinear systems
2011/08/28 by Romain Postoyan, Postoyan, Romain, Adolfo Anta +5 · 2 citations
Computer Science · #Network Time Synchronization Technologies #Petri Nets in System Modeling #Real-Time Systems Scheduling
- The Asymptotic Behavior of Attention in Transformers
2024/12/03 by Álvaro Rodríguez Abella, João Pedro Silvestre, Abella, Álvaro Rodríguez +3 · 6 citations
Neuroscience · Computer Science · #Neural dynamics and brain function #Computability, Logic, AI Algorithms #Neural Networks and Applications
- Taming AI Bots: Controllability of Neural States in Large Language Models
2023/05/29 by Stefano Soatto, Paulo Tabuada, Soatto, Stefano +5 · 3 citations
Computer Science · #Adversarial Robustness in Machine Learning #Topic Modeling #Explainable Artificial Intelligence (XAI)
- Data-driven Stabilization of SISO Feedback Linearizable Systems
2020/03/30 by Lucas Fraile, Fraile, Lucas, Marchi, Matteo +2 · 1 citation
Computer Science · Engineering · #Adaptive Dynamic Programming Control #Advanced Control Systems Optimization #FOS: Electrical engineering #FOS: Mathematics #Optimization and Control (math.OC) #Reinforcement Learning in Robotics #Systems and Control (eess.SY) #electronic engineering #information engineering
- Meanings and Feelings of Large Language Models: Observability of Latent States in Generative AI
2024/05/22 by Tian Yu Liu, Liu, Tian Yu, Stefano Soatto +7 · 1 citation
Computer Science · #Topic Modeling