Safe Self-Triggered Control Based on Precomputed Reachability Sequences

DOI10.1145/3575870.3587124MaRDI QIDQ6202082zbMATH OpenFDO

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)

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

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

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)