:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Lu, Pengyuan, Cleaveland, Matthew, Sokolsky, Oleg, Lee, Insup, Ruchkin, Ivan
Format:	Preprint
Published:	2023
Subjects:	Systems and Control
Online Access:	https://arxiv.org/abs/2311.03477
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Conservative Perception Models for Probabilistic Verification
by: Cleaveland, Matthew, et al.
Published: (2025)

Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep and Exploratory Works
by: Lu, Pengyuan, et al.
Published: (2024)

Conformal Prediction Regions for Time Series using Linear Complementarity Programming
by: Cleaveland, Matthew, et al.
Published: (2023)

Distributionally Robust Statistical Verification with Imprecise Neural Networks
by: Dutta, Souradeep, et al.
Published: (2023)

What Does It Take to Get Guarantees? Systematizing Assumptions in Cyber-Physical Systems
by: Li, Chengyu, et al.
Published: (2025)

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy
by: Peper, Jordan, et al.
Published: (2025)

AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties
by: Ji, Xiayan, et al.
Published: (2024)

Statistical-Symbolic Verification of Perception-Based Autonomous Systems using State-Dependent Conformal Prediction
by: Geng, Yuang, et al.
Published: (2025)

State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification of Autonomous Systems
by: Waite, Thomas, et al.
Published: (2025)

Multi-Modal Conformal Prediction Regions with Simple Structures by Optimizing Convex Shape Templates
by: Tumu, Renukanandan, et al.
Published: (2023)

Neuro-Symbolic Acceleration of MILP Motion Planning with Temporal Logic and Chance Constraints
by: Cai, Junyang, et al.
Published: (2025)

Online Slip Detection and Friction Coefficient Estimation for Autonomous Racing
by: Oeltjen, Christopher, et al.
Published: (2025)

IDSO-Managed Bid-Based Transactive Distribution Systems Design for DER Participation in Wholesale Markets While Preserving T-D Interactions
by: Sharma, Swastik, et al.
Published: (2025)

ACLM: ADMM-Based Distributed Model Predictive Control for Collaborative Loco-Manipulation
by: Zhou, Ziyi, et al.
Published: (2026)

Learning-Based Efficient Approximation of Data-Enabled Predictive Control
by: Zhou, Yihan, et al.
Published: (2024)

TEACar: An Open-Source Autonomous Driving Platform
by: Zhang, Zhongzheng, et al.
Published: (2026)

Stability Preserving Safe Control of a Bicopter
by: Delgado, Jhon Manuel Portella, et al.
Published: (2025)

Neural Cooperative Reach-While-Avoid Certificates for Interconnected Systems
by: Zhou, Jingyuan, et al.
Published: (2026)

Dynamic Virtual Inertia and Damping Control for Zero-Inertia Grids
by: Khamisov, Oleg O., et al.
Published: (2024)

Model Predictive Path Integral Control of I2RIS Robot Using RBF Identifier and Extended Kalman Filter
by: Esfandiari, Mojtaba, et al.
Published: (2025)

DC4L: Distribution Shift Recovery via Data-Driven Control for Deep Learning Models
by: Lin, Vivian, et al.
Published: (2023)

Neural Data-Enabled Predictive Control
by: Lazar, Mircea
Published: (2024)

A Novel Approach to Evaluating Battery Charger Controller Design with Nonlinear PID Controller in an Extendable CHIL Setup
by: Rad, Shervin Salehi, et al.
Published: (2024)

Passivity-Preserving Safety-Critical Control using Control Barrier Functions
by: Califano, Federico
Published: (2023)

Control Algorithms for Quadcopter Motion in Dynamic Positioning Mode
by: Kim, Stanislav, et al.
Published: (2026)

Robust Quadcopter Motion Control Using Output Feedback
by: Kim, Stanislav, et al.
Published: (2026)

Collaborative-Online-Learning-Enabled Distributionally Robust Motion Control for Multi-Robot Systems
by: Ning, Chao, et al.
Published: (2025)

Safety Filtering While Training: Improving the Performance and Sample Efficiency of Reinforcement Learning Agents
by: Bejarano, Federico Pizarro, et al.
Published: (2024)

Blockchain-Enabled Renewable Energy Certificate Trading: A Secure and Privacy-Preserving Approach
by: Liu, Wei-Jen, et al.
Published: (2026)

Coordinated Trajectory Control Algorithm for Quadcopter Motion along a Smooth Spatial Trajectory
by: Kim, Stanislav, et al.
Published: (2026)

Learning-Enabled Iterative Convex Optimization for Safety-Critical Model Predictive Control
by: Liu, Shuo, et al.
Published: (2024)

Connectivity-Preserving Multi-Agent Area Coverage via Optimal-Transport-Based Density-Driven Optimal Control (D2OC)
by: Lee, Kooktae, et al.
Published: (2025)

A Privacy-Preserving Framework for Cloud-Based HVAC Control
by: Feng, Zhenan, et al.
Published: (2023)

Privacy Preservation by Local Design in Cooperative Networked Control Systems
by: Yang, Chao, et al.
Published: (2022)

Scalable Distributed Nonlinear Control Under Flatness-Preserving Coupling
by: Yang, Fengjun, et al.
Published: (2025)

Privacy Preservation by Intermittent Transmission in Cooperative LQG Control Systems
by: Lin, Wenhao, et al.
Published: (2024)

Adaptive Traffic Signal Control with Deep Reinforcement Learning An Exploratory Investigation
by: Muresan, Matthew, et al.
Published: (2019)

Enabling Safety for Aerial Robots: Planning and Control Architectures
by: Naveed, Kaleb Ben, et al.
Published: (2025)

HierFedCEA: Hierarchical Federated Edge Learning for Privacy-Preserving Climate Control Optimization Across Heterogeneous Controlled Environment Agriculture Facilities
by: Vakhnovskyi, Andrii
Published: (2026)

Decreasing Utilization of Systems with Multi-Rate Cause-Effect Chains While Reducing End-to-End Latencies
by: Maia, Luiz, et al.
Published: (2025)