Cover Image

Safe Controller Synthesis Using Lyapunov-based Barriers for Linear Hybrid Systems with Simplex Architecture

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Adhikary, Sunandan, Dey, Soumyajit
Format:	Preprint
Published:	2026
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Exploring The Resilience of Control Execution Skips against False Data Injection Attacks
by: Koley, Ipsita, et al.
Published: (2022)

Mitigating Timing-Based Attacks in Real-Time Cyber-Physical Systems
by: Sain, Arkaprava, et al.
Published: (2026)

Enhancing Attack Resilience in Real-Time Systems through Variable Control Task Sampling Rates
by: Sain, Arkaprava, et al.
Published: (2024)

A CAD Framework for Simulation of Network Level Attack on Platoons
by: Koley, Ipsita, et al.
Published: (2022)

Skip to Secure: Securing Cyber-physical Control Loops with Intentionally Skipped Executions
by: Adhikary, Sunandan, et al.
Published: (2020)

Learning-Enabled Adaptive Voltage Protection Against Load Alteration Attacks On Smart Grids
by: B., Anjana, et al.
Published: (2024)

A Barrier Certificate-based Simplex Architecture for Systems with Approximate and Hybrid Dynamics
by: Damare, Amol, et al.
Published: (2022)

Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions
by: Yang, Shuo, et al.
Published: (2023)

Safe Stabilization using Nonsmooth Control Lyapunov Barrier Function
by: Lan, Jianglin, et al.
Published: (2024)

Formal Verification of Control Lyapunov-Barrier Functions for Safe Stabilization with Bounded Controls
by: Liu, Jun
Published: (2025)

Safe and Stable Filter Design Using a Relaxed Compatibitlity Control Barrier -- Lyapunov Condition
by: Wang, Han, et al.
Published: (2024)

Corridor-based Adaptive Control Barrier and Lyapunov Functions for Safe Mobile Robot Navigation
by: Mohammad, Nicholas, et al.
Published: (2025)

Safe and Dynamically-Feasible Motion Planning using Control Lyapunov and Barrier Functions
by: Mestres, Pol, et al.
Published: (2024)

Safe Control Synthesis Using Environmentally Robust Control Barrier Functions
by: Hamdipoor, Vahid, et al.
Published: (2023)

Hybrid Lyapunov and Barrier Function-Based Control with Stabilization Guarantees
by: Matias, Hugo, et al.
Published: (2025)

Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions
by: Dai, Hongkai, et al.
Published: (2024)

Progressive Barrier Lyapunov Functions for Nonlinear Constrained Control Systems
by: Nohooji, Hamed Rahimi, et al.
Published: (2024)

Safe Controlled Invariance for Linear Systems Using Sum-of-Squares Programming
by: Wang, Han, et al.
Published: (2022)

Koopman-Based Linear MPC for Safe Control using Control Barrier Functions
by: Liu, Shuo, et al.
Published: (2026)

Advanced safety filter based on SOS Control Barrier and Lyapunov Functions
by: Schneeberger, Michael, et al.
Published: (2024)

An RL-Based Adaptive Detection Strategy to Secure Cyber-Physical Systems
by: Koley, Ipsita, et al.
Published: (2021)

Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes
by: Shen, Henghua, et al.
Published: (2025)

Spacecraft Attitude Control Under Reaction Wheel Constraints Using Control Lyapunov and Control Barrier Functions
by: Shahraki, Milad Alipour, et al.
Published: (2024)

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions
by: Singh, Aditya, et al.
Published: (2025)

Proxy Control Barrier Functions: Integrating Barrier-Based and Lyapunov-Based Safety-Critical Control Design
by: Wang, Yujie, et al.
Published: (2025)

Control Lyapunov-Barrier Function Based Model Predictive Control for Stochastic Nonlinear Affine Systems
by: Zheng, Weijiang, et al.
Published: (2022)

Safe and Stable Control via Lyapunov-Guided Diffusion Models
by: Cheng, Xiaoyuan, et al.
Published: (2025)

A Nonlinear Scaling-based Design of Control Lyapunov-barrier Function for Relative Degree 2 Case and its Application to Safe Feedback Linearization
by: Pyon, Haechan, et al.
Published: (2025)

A Review On Safe Reinforcement Learning Using Lyapunov and Barrier Functions
by: Kushwaha, Dhruv Singh, et al.
Published: (2025)

A Control Lyapunov Function Approach to Event-Triggered Parameterized Control for Discrete-Time Linear Systems
by: Rajan, Anusree, et al.
Published: (2024)

Barrier-Riccati Synthesis for Nonlinear Safe Control with Expanded Region of Attraction
by: Almubarak, Hassan, et al.
Published: (2025)

Safe Control of Second-Order Systems with Linear Constraints
by: Alyaseen, Mohammed, et al.
Published: (2025)

Safe Control for Nonlinear Systems Under Faults and Attacks Via Control Barrier Functions
by: Zhang, Hongchao, et al.
Published: (2022)

Safe Feedback Optimization through Control Barrier Functions
by: Delimpaltadakis, Giannis, et al.
Published: (2026)

Contact-Aware Safety in Soft Robots Using High-Order Control Barrier and Lyapunov Functions
by: Wong, Kiwan, et al.
Published: (2025)

Converse Barrier Functions via Lyapunov Functions
by: Liu, Jun
Published: (2020)

Unifying Direct and Indirect Learning for Safe Control of Linear Systems
by: Modares, Amir, et al.
Published: (2025)

Safe Human-to-Humanoid Motion Imitation Using Control Barrier Functions
by: Cai, Wenqi, et al.
Published: (2026)

Computing Control Lyapunov-Barrier Functions: Softmax Relaxation and Smooth Patching with Formal Guarantees
by: Liu, Jun, et al.
Published: (2025)

Synthesizing Control Lyapunov-Value Functions for High-Dimensional Systems Using System Decomposition and Admissible Control Sets
by: Gong, Zheng, et al.
Published: (2024)