Repairing Learning-Enabled Controllers While Preserving What Works
Fuente:
arXiv
Salvato in:
| Autori principali: | Lu, Pengyuan, Cleaveland, Matthew, Sokolsky, Oleg, Lee, Insup, Ruchkin, Ivan |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2023
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Conservative Perception Models for Probabilistic Verification
di: Cleaveland, Matthew, et al.
Pubblicazione: (2025)
di: Cleaveland, Matthew, et al.
Pubblicazione: (2025)
Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep and Exploratory Works
di: Lu, Pengyuan, et al.
Pubblicazione: (2024)
di: Lu, Pengyuan, et al.
Pubblicazione: (2024)
Conformal Prediction Regions for Time Series using Linear Complementarity Programming
di: Cleaveland, Matthew, et al.
Pubblicazione: (2023)
di: Cleaveland, Matthew, et al.
Pubblicazione: (2023)
What Does It Take to Get Guarantees? Systematizing Assumptions in Cyber-Physical Systems
di: Li, Chengyu, et al.
Pubblicazione: (2025)
di: Li, Chengyu, et al.
Pubblicazione: (2025)
Distributionally Robust Statistical Verification with Imprecise Neural Networks
di: Dutta, Souradeep, et al.
Pubblicazione: (2023)
di: Dutta, Souradeep, et al.
Pubblicazione: (2023)
Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy
di: Peper, Jordan, et al.
Pubblicazione: (2025)
di: Peper, Jordan, et al.
Pubblicazione: (2025)
Statistical-Symbolic Verification of Perception-Based Autonomous Systems using State-Dependent Conformal Prediction
di: Geng, Yuang, et al.
Pubblicazione: (2025)
di: Geng, Yuang, et al.
Pubblicazione: (2025)
State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification of Autonomous Systems
di: Waite, Thomas, et al.
Pubblicazione: (2025)
di: Waite, Thomas, et al.
Pubblicazione: (2025)
AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties
di: Ji, Xiayan, et al.
Pubblicazione: (2024)
di: Ji, Xiayan, et al.
Pubblicazione: (2024)
Multi-Modal Conformal Prediction Regions with Simple Structures by Optimizing Convex Shape Templates
di: Tumu, Renukanandan, et al.
Pubblicazione: (2023)
di: Tumu, Renukanandan, et al.
Pubblicazione: (2023)
Neuro-Symbolic Acceleration of MILP Motion Planning with Temporal Logic and Chance Constraints
di: Cai, Junyang, et al.
Pubblicazione: (2025)
di: Cai, Junyang, et al.
Pubblicazione: (2025)
IDSO-Managed Bid-Based Transactive Distribution Systems Design for DER Participation in Wholesale Markets While Preserving T-D Interactions
di: Sharma, Swastik, et al.
Pubblicazione: (2025)
di: Sharma, Swastik, et al.
Pubblicazione: (2025)
Learning-Based Efficient Approximation of Data-Enabled Predictive Control
di: Zhou, Yihan, et al.
Pubblicazione: (2024)
di: Zhou, Yihan, et al.
Pubblicazione: (2024)
Online Slip Detection and Friction Coefficient Estimation for Autonomous Racing
di: Oeltjen, Christopher, et al.
Pubblicazione: (2025)
di: Oeltjen, Christopher, et al.
Pubblicazione: (2025)
ACLM: ADMM-Based Distributed Model Predictive Control for Collaborative Loco-Manipulation
di: Zhou, Ziyi, et al.
Pubblicazione: (2026)
di: Zhou, Ziyi, et al.
Pubblicazione: (2026)
Stability Preserving Safe Control of a Bicopter
di: Delgado, Jhon Manuel Portella, et al.
Pubblicazione: (2025)
di: Delgado, Jhon Manuel Portella, et al.
Pubblicazione: (2025)
TEACar: An Open-Source Autonomous Driving Platform
di: Zhang, Zhongzheng, et al.
Pubblicazione: (2026)
di: Zhang, Zhongzheng, et al.
Pubblicazione: (2026)
Neural Cooperative Reach-While-Avoid Certificates for Interconnected Systems
di: Zhou, Jingyuan, et al.
Pubblicazione: (2026)
di: Zhou, Jingyuan, et al.
Pubblicazione: (2026)
Dynamic Virtual Inertia and Damping Control for Zero-Inertia Grids
di: Khamisov, Oleg O., et al.
Pubblicazione: (2024)
di: Khamisov, Oleg O., et al.
Pubblicazione: (2024)
Passivity-Preserving Safety-Critical Control using Control Barrier Functions
di: Califano, Federico
Pubblicazione: (2023)
di: Califano, Federico
Pubblicazione: (2023)
Neural Data-Enabled Predictive Control
di: Lazar, Mircea
Pubblicazione: (2024)
di: Lazar, Mircea
Pubblicazione: (2024)
A Novel Approach to Evaluating Battery Charger Controller Design with Nonlinear PID Controller in an Extendable CHIL Setup
di: Rad, Shervin Salehi, et al.
Pubblicazione: (2024)
di: Rad, Shervin Salehi, et al.
Pubblicazione: (2024)
Control Algorithms for Quadcopter Motion in Dynamic Positioning Mode
di: Kim, Stanislav, et al.
Pubblicazione: (2026)
di: Kim, Stanislav, et al.
Pubblicazione: (2026)
Robust Quadcopter Motion Control Using Output Feedback
di: Kim, Stanislav, et al.
Pubblicazione: (2026)
di: Kim, Stanislav, et al.
Pubblicazione: (2026)
Model Predictive Path Integral Control of I2RIS Robot Using RBF Identifier and Extended Kalman Filter
di: Esfandiari, Mojtaba, et al.
Pubblicazione: (2025)
di: Esfandiari, Mojtaba, et al.
Pubblicazione: (2025)
Blockchain-Enabled Renewable Energy Certificate Trading: A Secure and Privacy-Preserving Approach
di: Liu, Wei-Jen, et al.
Pubblicazione: (2026)
di: Liu, Wei-Jen, et al.
Pubblicazione: (2026)
Learning-Enabled Iterative Convex Optimization for Safety-Critical Model Predictive Control
di: Liu, Shuo, et al.
Pubblicazione: (2024)
di: Liu, Shuo, et al.
Pubblicazione: (2024)
A Privacy-Preserving Framework for Cloud-Based HVAC Control
di: Feng, Zhenan, et al.
Pubblicazione: (2023)
di: Feng, Zhenan, et al.
Pubblicazione: (2023)
Privacy Preservation by Local Design in Cooperative Networked Control Systems
di: Yang, Chao, et al.
Pubblicazione: (2022)
di: Yang, Chao, et al.
Pubblicazione: (2022)
Scalable Distributed Nonlinear Control Under Flatness-Preserving Coupling
di: Yang, Fengjun, et al.
Pubblicazione: (2025)
di: Yang, Fengjun, et al.
Pubblicazione: (2025)
Privacy Preservation by Intermittent Transmission in Cooperative LQG Control Systems
di: Lin, Wenhao, et al.
Pubblicazione: (2024)
di: Lin, Wenhao, et al.
Pubblicazione: (2024)
HierFedCEA: Hierarchical Federated Edge Learning for Privacy-Preserving Climate Control Optimization Across Heterogeneous Controlled Environment Agriculture Facilities
di: Vakhnovskyi, Andrii
Pubblicazione: (2026)
di: Vakhnovskyi, Andrii
Pubblicazione: (2026)
Collaborative-Online-Learning-Enabled Distributionally Robust Motion Control for Multi-Robot Systems
di: Ning, Chao, et al.
Pubblicazione: (2025)
di: Ning, Chao, et al.
Pubblicazione: (2025)
Coordinated Trajectory Control Algorithm for Quadcopter Motion along a Smooth Spatial Trajectory
di: Kim, Stanislav, et al.
Pubblicazione: (2026)
di: Kim, Stanislav, et al.
Pubblicazione: (2026)
Adaptive Traffic Signal Control with Deep Reinforcement Learning An Exploratory Investigation
di: Muresan, Matthew, et al.
Pubblicazione: (2019)
di: Muresan, Matthew, et al.
Pubblicazione: (2019)
Data-Enabled Predictive Iterative Control
di: Zhang, Kai, et al.
Pubblicazione: (2024)
di: Zhang, Kai, et al.
Pubblicazione: (2024)
Adaptive Safe Reinforcement Learning-Enabled Optimization of Battery Fast-Charging Protocols
di: Chowdhury, Myisha A., et al.
Pubblicazione: (2024)
di: Chowdhury, Myisha A., et al.
Pubblicazione: (2024)
Connectivity-Preserving Multi-Agent Area Coverage via Optimal-Transport-Based Density-Driven Optimal Control (D2OC)
di: Lee, Kooktae, et al.
Pubblicazione: (2025)
di: Lee, Kooktae, et al.
Pubblicazione: (2025)
Decreasing Utilization of Systems with Multi-Rate Cause-Effect Chains While Reducing End-to-End Latencies
di: Maia, Luiz, et al.
Pubblicazione: (2025)
di: Maia, Luiz, et al.
Pubblicazione: (2025)
Privacy-Preserving Aggregation of Controllable Loads to Compensate Fluctuations in Solar Power
di: Dong, Jin, et al.
Pubblicazione: (2018)
di: Dong, Jin, et al.
Pubblicazione: (2018)
Documenti analoghi
-
Conservative Perception Models for Probabilistic Verification
di: Cleaveland, Matthew, et al.
Pubblicazione: (2025) -
Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep and Exploratory Works
di: Lu, Pengyuan, et al.
Pubblicazione: (2024) -
Conformal Prediction Regions for Time Series using Linear Complementarity Programming
di: Cleaveland, Matthew, et al.
Pubblicazione: (2023) -
What Does It Take to Get Guarantees? Systematizing Assumptions in Cyber-Physical Systems
di: Li, Chengyu, et al.
Pubblicazione: (2025) -
Distributionally Robust Statistical Verification with Imprecise Neural Networks
di: Dutta, Souradeep, et al.
Pubblicazione: (2023)