Safe Self-Triggered Control Based on Precomputed Reachability Sequences
DOI10.1145/3575870.3587124MaRDI QIDQ6202082FDOQ6202082
Authors: Arvind Adimoolam, Indranil Saha, Thao Dang 
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)
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
- Reachability analysis of linear systems using support functions
- Self-Triggered Feedback Control Systems With Finite-Gain ${\cal L}_{2}$ Stability
- 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
- An ISS self-triggered implementation of linear controllers
- Robust self-triggered MPC for constrained linear systems: a tube-based approach
- Title not available (Why is that?)
- Digital self-triggered robust control of nonlinear systems
- Analysis of event-driven controllers for linear systems
- Self-Triggering Under State-Independent Disturbances
- Self-Triggered Model Predictive Control for Nonlinear Input-Affine Dynamical Systems via Adaptive Control Samples Selection
- Augmented complex zonotopes for computing invariants of affine hybrid systems
- Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis
- Robust self-triggered control for time-varying and uncertain constrained systems via reachability analysis
This page was built for publication: Safe Self-Triggered Control Based on Precomputed Reachability Sequences
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6202082)
