Safe Self-Triggered Control Based on Precomputed Reachability Sequences

DOI10.1145/3575870.3587124MaRDI QIDQ6202082

Indranil Saha, Thao Dang, Arvind Adimoolam

Publication date: 21 February 2024

Published in: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cites Work

• Unnamed Item
• Robust self-triggered MPC for constrained linear systems: a tube-based approach
• An ISS self-triggered implementation of linear controllers
• Reachability analysis of linear systems using support functions
• Augmented complex zonotopes for computing invariants of affine hybrid systems
• Robust self-triggered control for time-varying and uncertain constrained systems via reachability analysis
• Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis
• Digital self-triggered robust control of nonlinear systems
• Self-Triggered Model Predictive Control for Nonlinear Input-Affine Dynamical Systems via Adaptive Control Samples Selection
• Analysis of event-driven controllers for linear systems
• Self-Triggered Feedback Control Systems With Finite-Gain ${\cal L}_{2}$ Stability
• Self-Triggering Under State-Independent Disturbances
• To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems
• A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
• Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks
• Hybrid Systems: Computation and Control

This page was built for publication: Safe Self-Triggered Control Based on Precomputed Reachability Sequences