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