Buchumschlag

Early Design Exploration of Aerospace Systems Using Assume-Guarantee Contracts

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Rouquette, Nicolas, Pinto, Alessandro, Incer, Inigo
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

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

Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach
von: Monir, Negar, et al.
Veröffentlicht: (2025)

Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts
von: Liu, Siyuan, et al.
Veröffentlicht: (2023)

Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks
von: Incer, Inigo, et al.
Veröffentlicht: (2024)

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

Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach
von: Wooding, Ben, et al.
Veröffentlicht: (2023)

On the Contraction of Excitable Systems
von: Cecconi, Alessandro, et al.
Veröffentlicht: (2025)

Safe Guaranteed Exploration for Non-linear Systems
von: Prajapat, Manish, et al.
Veröffentlicht: (2024)

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

Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems
von: Li, Haoyu, et al.
Veröffentlicht: (2025)

Eigendecomposition Parameterization of Penalty Matrices for Enhanced Control Design: Aerospace Applications
von: Nurre, Nicholas P., et al.
Veröffentlicht: (2025)

Learning a Contracting KKL-observer with Local Optimal Guarantees
von: Galimberti, Clara Lucía, et al.
Veröffentlicht: (2026)

Using Seminorms To Analyze Contraction of Switched Systems With Only Non-Contracting Modes
von: Baum, Edwin, et al.
Veröffentlicht: (2025)

Contract-Based Design for Hybrid Dynamical Systems and Invariance Properties
von: Alaoui, Sadek Belamfedel, et al.
Veröffentlicht: (2024)

Learning Soft Constrained MPC Value Functions: Efficient MPC Design and Implementation providing Stability and Safety Guarantees
von: Chatzikiriakos, Nicolas, et al.
Veröffentlicht: (2024)

Assumed Density Filtering and Smoothing with Neural Network Surrogate Models
von: Kuang, Simon, et al.
Veröffentlicht: (2025)

Mesh Stability Guaranteed Rigid Body Networks Using Control and Topology Co-Design
von: Song, Zihao, et al.
Veröffentlicht: (2025)

Guarantees on Robot System Performance Using Stochastic Simulation Rollouts
von: Vincent, Joseph A., et al.
Veröffentlicht: (2023)

Contraction Analysis of Time-Delay Systems
von: Watanabe, Rintaro, et al.
Veröffentlicht: (2026)

Learning Hierarchical Control Systems for Autonomous Systems with Energy Constraints
von: Vallon, Charlott, et al.
Veröffentlicht: (2024)

Guaranteed Trajectory Tracking under Learned Dynamics with Contraction Metrics and Disturbance Estimation
von: Zhao, Pan, et al.
Veröffentlicht: (2021)

Latent Representations for Control Design with Provable Stability and Safety Guarantees
von: Lutkus, Paul, et al.
Veröffentlicht: (2025)

A General Nonlinear Observer Design for Inertial Navigation Systems with Almost Global Stability Guarantees
von: Benahmed, Sifeddine, et al.
Veröffentlicht: (2024)

A Learning- and Scenario-based MPC Design for Nonlinear Systems in LPV Framework with Safety and Stability Guarantees
von: Bao, Yajie, et al.
Veröffentlicht: (2022)

Model Updating for Nonlinear Systems with Stability Guarantees
von: Ghanipoor, Farhad, et al.
Veröffentlicht: (2024)

Self-triggered Stabilization of Contracting Systems under Quantization
von: Wakaiki, Masashi
Veröffentlicht: (2023)

Scenario Reduction with Guarantees for Stochastic Optimal Control of Linear Systems
von: Cordiano, Francesco, et al.
Veröffentlicht: (2024)

Guaranteed Privacy-Preserving $\mathcal{H}_{\infty}$-Optimal Interval Observer Design for Bounded-Error LTI Systems
von: Khajenejad, Mohammad, et al.
Veröffentlicht: (2023)

Space Exploration Architecture and Design Framework for Commercialization
von: Chen, Hao, et al.
Veröffentlicht: (2021)

Probabilistic Safety Guarantee for Stochastic Control Systems Using Average Reward MDPs
von: Omidi, Saber, et al.
Veröffentlicht: (2025)

$k$-Contraction in a Generalized Lurie System
von: Ofir, Ron, et al.
Veröffentlicht: (2023)

A Comparative Study of MINLP and MPVC Formulations for Solving Complex Nonlinear Decision-Making Problems in Aerospace Applications
von: Ghezzi, Andrea, et al.
Veröffentlicht: (2025)

Concentration of Stochastic System Trajectories with Time-varying Contraction Conditions
von: Liu, Zishun, et al.
Veröffentlicht: (2026)

Distribution-Free Guarantees for Systems with Decision-Dependent Noise
von: Zhang, Heling, et al.
Veröffentlicht: (2024)

A Scalable Design Approach to Resilient Architectures for Interconnected Cyber-Physical Systems: Safety Guarantees under Multiple Attacks
von: Badr, Eman, et al.
Veröffentlicht: (2025)

Learning to Stabilize High-dimensional Unknown Systems Using Lyapunov-guided Exploration
von: Zhang, Songyuan, et al.
Veröffentlicht: (2023)

Adaptive Economic Model Predictive Control: Performance Guarantees for Nonlinear Systems
von: Degner, Maximilian, et al.
Veröffentlicht: (2024)

Incremental Policy Iteration for Unknown Nonlinear Systems with Stability and Performance Guarantees
von: Meng, Qingkai, et al.
Veröffentlicht: (2025)

Resilient AFE Drive Control using Neural Networks with Tracking Guarantees
von: Kirsch, Nicolas, et al.
Veröffentlicht: (2025)