archive
Every paper Pith has read. Search by title, abstract, or pith.
2089 papers in eess.SY · page 2
-
Bound propagation computes tight neural control envelopes for ship microgrids
DAE-Embedded Neural Control Verification for Shipboard Microgrids under Transient Shocks
-
Energy shaping stabilizes data-center converters under disturbances
Resilient Energy-Based Control for DC Data Centers under Grid and Load Disturbances
-
Simulation-trained RL policy shapes real microfibers at 40 Hz
Closed-Loop Sim-to-Real Reinforcement Learning for Deformable Microfiber Shape Control
-
Manifold constraints keep preset accuracy after input saturation
Fully Actuated Manifold Constraint Based Output Feedback Control for Input-Constrained Uncertain Nonlinear Systems
-
Output feedback controller enforces state constraints in linear systems
Output Feedback Control of Linear Time-Invariant Systems with Operational Constraints
-
Transformer lets microgrids predict DSO responses to P2P trades locally
Grid-Aware Peer-to-Peer Energy Trading: A Learning-Augmented Framework
-
DADS partial feedback regulates unknown PDE-ODE systems
Beyond Nonlinear Small-Gain Design: DADS with Partial-State Feedback
-
YANN-RL cuts training time for chemical process control
Reinforcement Learning-based Control via Y-wise Affine Neural Networks: Comparative Case Studies for Chemical Processes
-
Model optimizes eVTOL battery stations to cut range anxiety
Collaborative Optimization of Battery Charging / Swapping Stations for eVTOLs Based on Closed-Loop Supply Chain and Space-Time Network
-
Coordinated inverters cut voltage unbalance with leftover capacity
Coordinated Optimal Power Quality Management in Distribution Systems Using The Residual Capacity of Community IBRs
-
Python simulator models LoRaWAN capture effect and runs real firmware
LoRa and LoRaWAN simulator-cum-emulator with CAD and capture effect in Python
-
Sampling reveals limits of quadratic bounds on reset graphs
Scaled Graph Bounding Techniques for Reset Systems
-
Empirical steering fit beats learning methods in racing tests
Benchmarking Empirical and Learning-Based Approaches for Feedforward Steering Control in Autonomous Racing
-
Runtime bounds certify quantized KV attention with exact fallback
Runtime-Certified Bounded-Error Quantized Attention
-
Distillation from richer pseudo-samples improves sparse glucose estimates
PACD-Net: Pseudo-Augmented Contrastive Distillation for Glycemic Control Estimation from SMBG
-
Optimized cooling channels cut peak temps by 140°C in multi-chip packages
Cooling Channel Design Optimization for High Power Multi-Chip Packages
-
C-ALADIN converges globally for convex consensus optimization
Distributed and Decentralized Optimization Algorithms via Consensus ALADIN
-
TTR metrics unify priority and safety for aerial vehicle merging
Time-To-Reach Separation and Safety Filtering for Safe, Fair, and Efficient Multi-Agent Coordination
-
Crossing counts estimate ARMA poles via autocorrelation
A New Approach for ARMA Pole Estimation Using Higher-Order Crossings
-
Tighter quadratic bounds cut conservatism in neural net reachability
Quadratic Characterizations for Reachability Analysis of Neural Networks
-
Adaptive weights speed consensus in dense networks
A Bounded-Confidence Model of Opinion Dynamics with Adaptive Interaction Probabilities
-
Adaptive edge weights speed opinion convergence on dense networks
A Bounded-Confidence Model of Opinion Dynamics with Adaptive Interaction Probabilities
-
Moment corrections capture resets in hybrid stochastic filtering
Max-Entropy Moment Filtering for Stochastic Hybrid Systems
-
Model predictive control optimizes flexible PWR power changes
The OAPS solution: a real-time predictive system for flexible PWR operation
-
Adaptive term recovers nominal safety under unbounded attacks
A Unified Framework for Attack-Resilient CLF-CBF Quadratic Programs for Nonlinear Control-Affine Systems
-
Backward reachable sets ensure collision-free satellite paths
Hamilton--Jacobi Reachability for Spacecraft Collision Avoidance
-
Middleware enables real-time phase control in traffic hardware simulations
Enabling Real-Time Phase Control in Traffic Signal Hardware-in-the-Loop Simulation
-
Single trajectory yields neural k-inductive barriers for unknown dynamics
k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics
-
Controller tunes multi-input optimizers with one parameter per channel
A New Simple-to-Configure Self-Perturbing Multivariable Extremum-Seeking Controller
-
Disturbance observer synchronizes multi-agent PDE systems
Robust synchronization for multi-agent systems governed by PDEs with observable and unobservable disturbances
-
CBF safety filter guarantees spacecraft avoids pointing keep-out zone
Safe Deep Reinforcement Learning for Spacecraft Reorientation with Pointing Keep-Out Constraint
-
Linear program certifies region of attraction from vector-field samples
Data-driven approximation of regions of attraction via an LP-based selection of PWA Lyapunov functions
-
Linear program certifies data-based regions of attraction
Data-driven approximation of regions of attraction via an LP-based selection of PWA Lyapunov functions
-
Dynamic placement over three options cuts deadline misses in robot pipelines
DAG-Based QoS-Aware Dynamic Task Placement for Networked Multi-Stage Control Pipelines
-
Framework fuses sensor data with physics rules for better passenger counts
A Closed-loop, State-centric, Multi-agent Framework for Passenger Load Estimation from Heterogeneous Data Streams
-
Hinge motion powers ultrasonic sensing and LoRa uplink
Motion-Coupled Sensing: When the State Change Powers Its Own Sensing
-
Conformal model predicts safe motion control despite actuator failures
Equalized Coverage in Motion Control Performance Prediction for Self-Adaptive Road Vehicles
-
MagCeptors achieve 385 mN/mm³ force density via global fields
MagCeptor: Encoding Broadcast-Addressable Logic into Magnetic Receptors
-
Voltage angle dynamics unify stability in mixed power systems
Revisiting angle stability in power systems with grid-forming power converters
-
Hierarchical MoE RL improves UAV edge inference accuracy
UAV-Assisted Cooperative Edge Inference for Low-Altitude Economy via MoE-based Hierarchical Deep Reinforcement Learning
-
LLMs tune rewards in 5.2 iterations from 500x off weights
ERFSL: An Efficient Reward Function Searcher via Language Models for Custom-Environment Multi-Objective Optimization (Student Abstract)
-
Trust scores detect backdoors in over-the-air federated learning
Detecting and Mitigating Backdoor Attacks in OTA-FL Systems: A Two-Stage Robust Aggregation Scheme
-
Mixed integer program plans safer off-road combat routes
Multi-Criteria Integer Programming Model for Route Planning in an Off-Road Combat Environment
-
Delayed discrete mean observations still yield Nash equilibria in LQG games
Continuous Aggregative LQG Games with Delayed Discrete Observations
-
RDDP optimizes paths 28 times faster with optimality proofs
Reachability-Augmented Dual Dynamic Programming for Optimal Path Parameterization
-
Dynamic calibration cuts traffic prediction error by 48 percent
Dynamic Gradient-Based Calibration for Robust and Accurate Traffic Macrosimulation
-
MPC keeps motion plans feasible with high probability despite uncertainty
Probabilistic Recursively Feasible Motion Planning Under Uncertain Environments
-
Humanoid safety filters change behavior under stress
Adversarial Stress Testing of SPARK Humanoid Safety Filters
-
Scalable iterative Gramian synthesis reaches 100-dimensional nonlinear systems
Scalable iterative Gramian synthesis for control-affine systems
-
Unified calculus and lattice language reduce CS problems to performance evaluation
On Generalized Performance Evaluation and Generalized Controller Synthesis