papers
Publications (17)
cs.LO2010
Safety-Guarantee Controller Synthesis for Cyber-Physical Systems
Pritam Roy, Paulo Tabuada, Rupak Majumdar
math.OC2008
To sample or not to sample: Self-triggered control for nonlinear systems
Adolfo Anta, Paulo Tabuada
math.OC2011
A unifying Lyapunov-based framework for the event-triggered control of nonlinear systems
Romain Postoyan, Adolfo Anta, Dragan Nesic +1
math.OC2018
Computing controlled invariant sets for hybrid systems with applications to model-predictive control
Benoît Legat, Paulo Tabuada, Raphaël M. Jungers
math.OC2010
An ISS self-triggered implementation of linear controller
Manuel Mazo, Adolfo Anta, Paulo Tabuada
math.OC2019
Symmetries and isomorphisms for privacy in control over the cloud
Alimzhan Sultangazin, Paulo Tabuada
math.DS2009
Symbolic models for nonlinear time-delay systems using approximate bisimulations
Giordano Pola, Pierdomenico Pepe, Maria D. Di Benedetto +1
math.OC2008
Approximately bisimilar symbolic models for nonlinear control systems
Giordano Pola, Antoine Girard, Paulo Tabuada
math.OC2011
Symbolic models for nonlinear control systems without stability assumptions
Majid Zamani, Giordano Pola, Manuel Mazo +1
math.OC2007
Controller synthesis for bisimulation equivalence
Paulo Tabuada
math.OC2007
Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
Giordano Pola, Paulo Tabuada
math.OC2008
Approximately bisimilar symbolic models for incrementally stable switched systems
Antoine Girard, Giordano Pola, Paulo Tabuada
math.OC2007
Approximate reduction of dynamical systems
Paulo Tabuada, Aaron D. Ames, Agung Julius +1
cs.IT2018
Distorting an Adversary's View in Cyber-Physical Systems
Gaurav Kumar Agarwal, Mohammed Karmoose, Suhas Diggavi +2
cs.RO2016
Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control
Jonathan A. DeCastro, Ruediger Ehlers, Matthias Rungger +3
math.OC2010
Backstepping design for incremental stability
Majid Zamani, Paulo Tabuada
math.OC2018
Data Driven Stability Analysis of Black-box Switched Linear Systems
Joris Kenanian, Ayca Balkan, Raphael M. Jungers +1