:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Incer, Inigo, Csomay-Shanklin, Noel, Ames, Aaron, Murray, Richard M.
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Systems and Control
Online-Zugang:	https://arxiv.org/abs/2402.11666
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Dynamically Feasible Path Planning in Cluttered Environments via Reachable Bezier Polytopes
von: Csomay-Shanklin, Noel, et al.
Veröffentlicht: (2024)

Constructive Nonlinear Control of Underactuated Systems via Zero Dynamics Policies
von: Compton, William, et al.
Veröffentlicht: (2024)

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

Safety-Critical Controller Synthesis with Reduced-Order Models
von: Cohen, Max H., et al.
Veröffentlicht: (2024)

A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
von: Graebener, Josefine B., et al.
Veröffentlicht: (2025)

Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
von: Incer, Inigo
Veröffentlicht: (2024)

Early Design Exploration of Aerospace Systems Using Assume-Guarantee Contracts
von: Rouquette, Nicolas, et al.
Veröffentlicht: (2024)

Layered Nonlinear Model Predictive Control for Robust Stabilization of Hybrid Systems
von: Olkin, Zachary, et al.
Veröffentlicht: (2025)

Context-Aided Variable Elimination for Requirement Engineering
von: Incer, Inigo, et al.
Veröffentlicht: (2023)

Compatibility of Multiple Control Barrier Functions for Constrained Nonlinear Systems
von: Cohen, Max H., et al.
Veröffentlicht: (2025)

A Contract Theory for Layered Control Architectures
von: Mazo Jr., Manuel, et al.
Veröffentlicht: (2024)

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

Topological Obstructions to the Existence of Control Barrier Functions
von: de Sa, Massimiliano, et al.
Veröffentlicht: (2026)

Learning for Layered Safety-Critical Control with Predictive Control Barrier Functions
von: Compton, William D., et al.
Veröffentlicht: (2024)

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
von: Mestres, Pol, et al.
Veröffentlicht: (2025)

Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
von: Incer, Inigo, et al.
Veröffentlicht: (2023)

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

Bilevel Optimization for Real-Time Control with Application to Locomotion Gait Generation
von: Olkin, Zachary, et al.
Veröffentlicht: (2024)

Computationally Efficient Safe Control of Linear Systems under Severe Sensor Attacks
von: Tan, Xiao, et al.
Veröffentlicht: (2025)

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

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

Safety Under State Uncertainty: Robustifying Control Barrier Functions
von: Nanayakkara, Rahal, et al.
Veröffentlicht: (2025)

Hierarchical Event-Triggered Systems: Safe Learning of Quasi-Optimal Deadline Policies
von: Ong, Pio, et al.
Veröffentlicht: (2024)

Matrix Control Barrier Functions
von: Ong, Pio, et al.
Veröffentlicht: (2025)

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

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

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

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

Control Barrier Function Synthesis for Nonlinear Systems with Dual Relative Degree
von: Bahati, Gilbert, et al.
Veröffentlicht: (2025)

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

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

Stability of Control Lyapunov Function Guided Reinforcement Learning
von: Olkin, Zachary, et al.
Veröffentlicht: (2026)

Collaborative Altruistic Safety in Coupled Multi-Agent Systems
von: Butler, Brooks A., et al.
Veröffentlicht: (2026)

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

A Duality-Based Optimization Formulation of Safe Control Design with State Uncertainties
von: Tan, Xiao, et al.
Veröffentlicht: (2026)

Safety of Linear Systems under Severe Sensor Attacks
von: Tan, Xiao, et al.
Veröffentlicht: (2024)

Structure, Feasibility, and Explicit Safety Filters for Linear Systems
von: Mousavi, Shima Sadat, et al.
Veröffentlicht: (2026)

Distributionally Robust Imitation Learning: Layered Control Architecture for Certifiable Autonomy
von: Gahlawat, Aditya, et al.
Veröffentlicht: (2025)

Rollover Prevention for Mobile Robots with Control Barrier Functions: Differentiator-Based Adaptation and Projection-to-State Safety
von: Das, Ersin, et al.
Veröffentlicht: (2024)