The following pages link to Paulo Tabuada (Q533799):
Displayed 50 items.
- (Q461470) (redirect page) (← links)
- Minimum attention control for linear systems (Q461471) (← links)
- Self-triggered linear quadratic control (Q463924) (← links)
- Towards Kron reduction of generalized electrical networks (Q472580) (← links)
- Symbolic approximate time-optimal control (Q533800) (← links)
- An ISS self-triggered implementation of linear controllers (Q608436) (← links)
- Symbolic models for control systems (Q868433) (← links)
- Approximate reduction of dynamic systems (Q932129) (← links)
- Approximately bisimilar symbolic models for nonlinear control systems (Q1004115) (← links)
- Abstractions of Hamiltonian control systems. (Q1421436) (← links)
- Hierarchical trajectory refinement for a class of nonlinear systems (Q1776424) (← links)
- Periodic event-triggered control of nonlinear systems using overapproximation techniques (Q1797091) (← links)
- Symbolic models for nonlinear time-delay systems using approximate bisimulations (Q1959416) (← links)
- Securing state reconstruction under sensor and actuator attacks: theory and design (Q1987261) (← links)
- On the computational complexity of the secure state-reconstruction problem (Q2063856) (← links)
- Sum-of-squares methods for controlled invariant sets with applications to model-predictive control (Q2178207) (← links)
- Data driven stability analysis of black-box switched linear systems (Q2280933) (← links)
- Supervisory control of discrete-event systems under attacks (Q2292112) (← links)
- First steps toward formal controller synthesis for bipedal robots with experimental implementation (Q2406959) (← links)
- Local factorization of trajectory lifting morphisms for single-input affine control systems (Q2433416) (← links)
- Bisimilar control affine systems (Q2503604) (← links)
- Controller synthesis for bisimulation equivalence (Q2519735) (← links)
- Bisimulation relations for dynamical, control, and hybrid systems (Q2566293) (← links)
- Bisimulation Relations for Dynamical and Control Systems (Q2842819) (← links)
- Event-Triggered State Observers for Sparse Sensor Noise/Attacks (Q2980444) (← links)
- A Notion of Robustness for Cyber-Physical Systems (Q2980446) (← links)
- A Framework for the Event-Triggered Stabilization of Nonlinear Systems (Q2982769) (← links)
- Towards Robustness for Cyber-Physical Systems (Q2982916) (← links)
- Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks (Q2983141) (← links)
- Robust discrete synthesis against unspecified disturbances (Q2986731) (← links)
- Specification-guided controller synthesis for linear systems and safe linear-time temporal logic (Q2986938) (← links)
- Abstracting and refining robustness for cyber-physical systems (Q2986969) (← links)
- First steps toward formal controller synthesis for bipedal robots (Q2988940) (← links)
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems (Q3523108) (← links)
- Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations (Q3557942) (← links)
- On Simulations and Bisimulations of General Flow Systems (Q3612967) (← links)
- Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems (Q3612999) (← links)
- Verification and Control of Hybrid Systems (Q3629218) (← links)
- (Q4418864) (← links)
- (Q4552491) (← links)
- Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach (Q4566843) (← links)
- Mode-Target Games: Reactive Synthesis for Control Applications (Q4567056) (← links)
- Control Barrier Function Based Quadratic Programs for Safety Critical Systems (Q4589444) (← links)
- An Approximate Simulation Approach to Symbolic Control (Q4974259) (← links)
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems (Q4978661) (← links)
- To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems (Q4978931) (← links)
- Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption (Q4990247) (← links)
- Distortion-Based Lightweight Security for Cyber-Physical Systems (Q4990270) (← links)
- Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic (Q5034230) (← links)
- From LTL to rLTL monitoring (Q5146368) (← links)