Cover Image

Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Incer, Inigo, Csomay-Shanklin, Noel, Ames, Aaron, Murray, Richard M.
Format:	Preprint
Published:	2024
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Bezier Reachable Polytopes: Efficient Certificates for Robust Motion Planning with Layered Architectures
by: Csomay-Shanklin, Noel, et al.
Published: (2024)

Dynamically Feasible Path Planning in Cluttered Environments via Reachable Bezier Polytopes
by: Csomay-Shanklin, Noel, et al.
Published: (2024)

Constructive Nonlinear Control of Underactuated Systems via Zero Dynamics Policies
by: Compton, William, et al.
Published: (2024)

Dynamic Tube MPC: Learning Tube Dynamics with Massively Parallel Simulation for Robust Safety in Practice
by: Compton, William D., et al.
Published: (2024)

Safety-Critical Controller Synthesis with Reduced-Order Models
by: Cohen, Max H., et al.
Published: (2024)

A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
by: Graebener, Josefine B., et al.
Published: (2025)

Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
by: Incer, Inigo
Published: (2024)

Early Design Exploration of Aerospace Systems Using Assume-Guarantee Contracts
by: Rouquette, Nicolas, et al.
Published: (2024)

Layered Nonlinear Model Predictive Control for Robust Stabilization of Hybrid Systems
by: Olkin, Zachary, et al.
Published: (2025)

Compatibility of Multiple Control Barrier Functions for Constrained Nonlinear Systems
by: Cohen, Max H., et al.
Published: (2025)

Context-Aided Variable Elimination for Requirement Engineering
by: Incer, Inigo, et al.
Published: (2023)

A Contract Theory for Layered Control Architectures
by: Mazo Jr., Manuel, et al.
Published: (2024)

Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications
by: Akella, Prithvi, et al.
Published: (2023)

Topological Obstructions to the Existence of Control Barrier Functions
by: de Sa, Massimiliano, et al.
Published: (2026)

Learning for Layered Safety-Critical Control with Predictive Control Barrier Functions
by: Compton, William D., et al.
Published: (2024)

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
by: Mestres, Pol, et al.
Published: (2025)

Computationally Efficient Safe Control of Linear Systems under Severe Sensor Attacks
by: Tan, Xiao, et al.
Published: (2025)

From Bundles to Backstepping: Geometric Control Barrier Functions for Safety-Critical Control on Manifolds
by: de Sa, Massimiliano, et al.
Published: (2025)

Bilevel Optimization for Real-Time Control with Application to Locomotion Gait Generation
by: Olkin, Zachary, et al.
Published: (2024)

Safety-Critical Control for Autonomous Systems: Control Barrier Functions via Reduced-Order Models
by: Cohen, Max H., et al.
Published: (2024)

Constructive Safety-Critical Control: Synthesizing Control Barrier Functions for Partially Feedback Linearizable Systems
by: Cohen, Max H., et al.
Published: (2024)

The Ingenuity Mars Helicopter Specified and Analyzed with the Real-time Mode-aware Dataflow Model
by: Roumage, Guillaume, et al.
Published: (2025)

Safety Under State Uncertainty: Robustifying Control Barrier Functions
by: Nanayakkara, Rahal, et al.
Published: (2025)

Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
by: Incer, Inigo, et al.
Published: (2023)

Hierarchical Event-Triggered Systems: Safe Learning of Quasi-Optimal Deadline Policies
by: Ong, Pio, et al.
Published: (2024)

A Layered Control Perspective on Legged Locomotion: Embedding Reduced Order Models via Hybrid Zero Dynamics
by: Esteban, Sergio A., et al.
Published: (2025)

Control Barrier Function Synthesis for Nonlinear Systems with Dual Relative Degree
by: Bahati, Gilbert, et al.
Published: (2025)

Matrix Control Barrier Functions
by: Ong, Pio, et al.
Published: (2025)

Input-to-State Safe Backstepping: Robust Safety-Critical Control with Unmatched Uncertainties
by: Cohen, Max H., et al.
Published: (2026)

Bounding Stochastic Safety: Leveraging Freedman's Inequality with Discrete-Time Control Barrier Functions
by: Cosner, Ryan K., et al.
Published: (2024)

Towards a Theory of Control Architecture: A quantitative framework for layered multi-rate control
by: Matni, Nikolai, et al.
Published: (2024)

Zero-Order Control Barrier Functions for Sampled-Data Systems with State and Input Dependent Safety Constraints
by: Tan, Xiao, et al.
Published: (2024)

Stability of Control Lyapunov Function Guided Reinforcement Learning
by: Olkin, Zachary, et al.
Published: (2026)

Collaborative Altruistic Safety in Coupled Multi-Agent Systems
by: Butler, Brooks A., et al.
Published: (2026)

A Duality-Based Optimization Formulation of Safe Control Design with State Uncertainties
by: Tan, Xiao, et al.
Published: (2026)

Safety of Linear Systems under Severe Sensor Attacks
by: Tan, Xiao, et al.
Published: (2024)

High-Order Matrix Control Barrier Functions: Well-Posedness and Feasibility via Matrix Relative Degree
by: Gessow, Samuel G., et al.
Published: (2026)

Minimizing Conservatism in Safety-Critical Control for Input-Delayed Systems via Adaptive Delay Estimation
by: Kim, Yitaek, et al.
Published: (2024)

Structure, Feasibility, and Explicit Safety Filters for Linear Systems
by: Mousavi, Shima Sadat, et al.
Published: (2026)

Distributionally Robust Imitation Learning: Layered Control Architecture for Certifiable Autonomy
by: Gahlawat, Aditya, et al.
Published: (2025)