All authors
Claude Skills by hiyenwong
github.com/hiyenwong9,934 skills5 installs19,223 views
- Bandwidth Reduction Methods Packetized MpcWe study the design of an offloaded model predictive control (MPC) operating over a lossy communication channel. We introduce a controller design that utilizes two complementary ba... Activation: bandwidth, reduction, methods, packetized, overVotes: 0GitHub stars: 3
- Certified Closed Loop Control Packet NetworksCompositional certification framework for packet-network control as an executed-action certification problem. Certified operator sits between proposer and dataplane, projecting candidate actions to executable actions satisfying certificates. Covers backlog caps, service floors, Foster-Lyapunov drift, compositional envelope contracts. Activation: packet network control, certified control, compositional certification, network dynamical systems, closed-loop control certification.Votes: 0GitHub stars: 3
- Contraction Theory Control OptimizationContraction theory framework for robust control, optimization, and neural computation. Provides unified geometric analysis of dynamical system convergence, controller design, and learning algorithms. Activation: contraction theory, robust control, dynamical systems convergence, contraction metric, exponential stability analysis.Votes: 0GitHub stars: 3
- Core Periphery State Space核心-边缘状态空间模型方法论。使用Mamba选择性状态空间模型线性复杂度捕获脑网络长程依赖，CP-MoE专家混合学习连接模式。适用于功能连接组分类、fMRI分析。触发词：核心-边缘、状态空间模型、Mamba、功能连接、core-periphery、state space model、fMRI classification。Votes: 0GitHub stars: 3
- Coupling Phase Giant Atom ControlCoupling-phase engineering methodology for giant-atom waveguide QED systems. Uses coupling phase to control bound states in the continuum (BICs) and quantum dynamics in nonlocal light-matter interfaces. Applicable to quantum information processing, giant-atom quantum networks, and interference-based quantum state control.Votes: 0GitHub stars: 3
- Cps Security Anomaly DetectionComprehensive framework for anomaly detection in Cyber-Physical Systems (CPS) security. Covers model-based, data-driven, statistical, and hybrid approaches for detecting cyber threats in critical infrastructure. Activation: CPS security, anomaly detection, cyber-physical systems, intrusion detection, industrial control system security.Votes: 0GitHub stars: 3
- Data Driven Distributed Mpc BuildingsData-driven methodology for scalable distributed MPC in heterogeneous building aggregation - feature selection to convex optimizationVotes: 0GitHub stars: 3
- Data Driven Moving Horizon EstimationData-Driven Moving Horizon Estimation (DDMHE) for linear systems with unknown parameters. State estimation using both offline and online data with sample complexity analysis and ultimate boundedness guarantees. Use for: state estimation, model-free estimation, linear system identification, moving horizon estimation, data-driven control. Activation: DDMHE, data-driven estimation, moving horizon estimation, sample complexity estimation, linear system state estimation.Votes: 0GitHub stars: 3
- Density Driven Optimal Control Convergence GuarantThis paper addresses the decentralized non-uniform area coverage problem for multi-agent systems, a critical task in missions with high spatial priority and resource constraints. W... Activation: density, driven, optimal, control, convergenceVotes: 0GitHub stars: 3
- Density Driven Optimal Control Convergence Guarantees... Activation: systems engineering, controlVotes: 0GitHub stars: 3
- Discounted Mpc Infinite Horizon Optimal ControlWe study closed-loop stability and suboptimality for MPC and infinite-horizon optimal control solved using a surrogate model that differs from the real plant. We employ a unified f... Activation: discounted, infinite, horizon, optimal, controlVotes: 0GitHub stars: 3
- Discounted Mpc Robust Control.SkillDiscounted Model Predictive Control (MPC) robustness analysis under plant-model mismatch. Unified framework for stability and suboptimality guarantees with discounted/undiscounted costs, finite/infinite horizons.Votes: 0GitHub stars: 3
- Distributed Control Dcs ArchitectureDistributed control system (DCS) hardware architecture optimization using hybrid metaheuristics with formal model-based verification. Combines combinatorial optimization (genetic algorithms + simulated annealing) with formal verification (SAT/SMT) for cost-efficient, reliable distributed process control systems. Use when: designing DCS hardware architecture, optimizing control system layouts under uncertainty, integrating formal verification with optimization, model-based verification of indu...Votes: 0GitHub stars: 3
- Distributed Control Prototyping FrameworkPrototyping framework for distributed control of multi-robot systems using SPMD (Single Program, Multiple Data) paradigm. Emulates distributed control on a single computer, bridging theory and practical testing. Each core runs the same algorithm with local states and neighbor-to-neighbor communication. Use when: prototyping distributed control algorithms, testing multi-robot coordination, emulating distributed systems on single machine, SPMD paradigm for robotics, distributed optimization val...Votes: 0GitHub stars: 3
- Distributionally Robust Mpc Partial ObservabilityDistributionally robust MPC for partial observability.Votes: 0GitHub stars: 3
- Dmosopt Neural Dynamical SystemsDMOSOPT: Joint surrogate learning framework for multi-objective optimization of neural dynamical systems. Learns objectives, constraints, and sensitivities simultaneously. Activation: multi-objective optimization, neural dynamics, surrogate model, parameter optimizationVotes: 0GitHub stars: 3
- Dr Data Driven Predictive ControlDistributionally Robust Data-Driven Predictive Control (DR-DDPC) methodology for stochastic LTI systems with unknown dynamics and disturbance distributions. Combines subspace predictive control (SPC) with distributionally robust optimization using Wasserstein ambiguity sets. Use when: designing robust controllers under uncertainty, implementing data-driven MPC, handling stochastic disturbances with unknown distributions, or applying distributionally robust optimization to control systems.Votes: 0GitHub stars: 3
- Drosophila Orientation Dynamical SystemDynamical system approach to modeling Drosophila central complex neural network for heading direction encoding. Ring-connectivity model with bump attractor dynamics, stochastic extensions with Brownian noise and Markovian switching. Provides mathematically tractable framework for understanding population coding of angular position. Use when: ring attractor, heading direction, Drosophila neuroscience, bump attractor, switching diffusion, stochastic neural dynamics, insect navigation, populatio...Votes: 0GitHub stars: 3
- Ei Network Chaos Synchrony TheoryExtended Sompolinsky-Crisanti-Sommers (SCS) chaos theory framework for excitatory-inhibitory (E-I) recurrent networks with target-specific inhibition. Covers dynamical mean-field analysis, phase diagrams, mean-driven and fluctuation-driven instabilities, and the suppression of chaos by coherent oscillations. Use when analyzing E/I balance in neural networks, studying chaos-to-order transitions in recurrent networks, modeling target-specific inhibition effects, extending SCS theory to structur...Votes: 0GitHub stars: 3
- Event Triggered Formation ControlSwitched Event-Triggered Mechanism (SETM) for full state-constrained formation control of multi-vehicle systems. Uses smooth nonlinear mapping, RBFNN, and backstepping for intelligent transportation systems. Activation: event-triggered formation control, state-constrained formation, switched SETM, 事件触发编队控制.Votes: 0GitHub stars: 3
- Excitation Driven Control OptimizationExcitation-driven data generation and distributed control optimization for building thermal systems and district heating networks. Combines BuilDyn framework (arXiv:2605.29849) and distributed NMPC with ADMM (arXiv:2605.29841).Votes: 0GitHub stars: 3
- Existence Quadratic Control Lyapunov Functions... Activation: systems engineering, controlVotes: 0GitHub stars: 3
- Finite Time Reachability Constrained Partially UncThis paper presents a technique to drive the state of a constrained nonlinear system to a specified target state in finite time, when the system suffers a partial loss in control a... Activation: finite, time, reachability, constrained, partiallyVotes: 0GitHub stars: 3
- Firing Rate Nn Model Predictive ControlSkill for firing rate nn model predictive controlVotes: 0GitHub stars: 3
- Frustrated Neurons Phase Oscillators几何阻挫理论框架用于神经相位动力学分析。将排斥耦合节律单元映射到反铁磁XY模型，揭示结构化局部定时顺序如何塑造阻挫动力学景观。适用于神经相位动力学、振荡器网络、临界态研究。Votes: 0GitHub stars: 3
- Geometric Pareto ControlGeometric Pareto Control (GPC) methodology for cyber-physical systems with known physics. Core idea: embed the family of Pareto-optimal solutions as a submanifold within a Lie group offline, then use closed-form proximal navigation via Riemannian gradient flow online. Resolves RL barriers in safety-critical CPS: sample complexity, retraining needs, brittle switching logic, and unsafe exploration. Applicable to multi-objective optimal control, power systems, autonomous systems, real-time econo...Votes: 0GitHub stars: 3
- Highfidelity Networkbased Spatiotemporal Mathematical Models AlzHigh-fidelity network-based spatio-temporal PDE mathematical models for Alzheimer's disease progression with amyloid-beta and tau propagation. Activation: brain model, neural scaling, multimodal brain, fMRI, EEG, neural encoding.Votes: 0GitHub stars: 3
- Learning Adaptive Solvers For Distributed Factor Graph OptimizationLearning Adaptive Solvers for Distributed Factor Graph Optimization on Matrix Lie Groups. Modern robotic perception increasingly involves large-scale geometric optimization problems distributed across multiple robots or sessions. However, existing distributed solvers often depend on brittl... Activation: graph, self-supervised, benchmark, alignment, optimizationVotes: 0GitHub stars: 3
- Linear Feedback Controller Homogeneous Polynomial... Activation: systems engineering, controlVotes: 0GitHub stars: 3
- Machine Learning Testing In An Adas Case Study Using Simulationintegrated Bioinspired Searchbased Testing**arXiv ID:** 2203.12026 **Authors:** Mahshid Helali Moghadam, Markus Borg, Mehrdad Saadatmand, Seyed Jalaleddin Mousavirad, Markus Bohlin, Björn Lisper **Published:** 2022-03-22T20:27:40Z **Abstract:** This paper presents an extended version of Deeper, a search-based simulation-integrated test solution that generates failure-revealing test scenarios for testing a deep neural network-based lane-keeping system. In the newly proposed version, we utilize a new set of bio-inspired search algorith...Votes: 0GitHub stars: 3
- Mpc Game Controllers MisspecificationStability and sensitivity analysis for objective misspecifications among Model Predictive Game (MPG) controllers. Multi-agent control design with game-theoretic solution concepts and heterogeneous controller analysis. Use when designing multi-agent MPC with game-theoretic predictions, analyzing stability under model misspecifications, or quantifying sensitivity to game parameters. Activation: model predictive games, MPG controllers, multi-agent game control, objective misspecification, hetero...Votes: 0GitHub stars: 3
- Mpc Plant Model MismatchModel Predictive Control stability analysis under plant-model mismatch. Covers discounted/infinite-horizon optimal control, suboptimality bounds, and robustness guarantees. Use for: MPC design, control system robustness analysis, plant-model mismatch tolerance, stability proofs, optimal control with surrogate models.Votes: 0GitHub stars: 3
- Nca Attractor Stability AnalysisNeural Cellular Automata (NCA) attractor stability and geometry analysis methodology. Analyzes learned attractor states in NCAs beyond visual similarity, measuring basin of attraction, convergence properties, and geometric structure. Activation: NCA attractor, neural cellular automata stability, attractor basin analysis, NCA convergence.Votes: 0GitHub stars: 3
- Nl Cps Kubernetes Control PlaneReinforcement Learning-Based Kubernetes Control Plane Placement in Multi-Region Clusters. Optimize control-plane node placement for reliability, scalability, and performance in heterogeneous environments.Votes: 0GitHub stars: 3
- Nl Cps Kubernetes ControlReinforcement Learning-Based Kubernetes Control Plane Placement in Multi-Region Clusters. Covers NL-CPS framework, multi-region cluster optimization, control plane node selection, and distributed system resilience. Activation: kubernetes control plane, multi-region cluster, control plane placement, NL-CPS, distributed systems engineering.Votes: 0GitHub stars: 3
- Observer World CryptographyCryptographic extension of Impagliazzo's Five Worlds introducing the observational axis — models how restricted observation hierarchies affect cryptographic primitive existence and security guarantees.Votes: 0GitHub stars: 3
- Online Intention Prediction Control Informed Learning... Activation: systems engineering, controlVotes: 0GitHub stars: 3
- Onnes Cryogenic Fault DiagnosisMulti-agent LLM physics-grounded digital twin simulator for cryogenic fault diagnosis in quantum computing infrastructure. Uses dilution refrigerator forward physics model with learned noise fingerprint + multi-agent LLM operations layer. Activation: cryogenic fault diagnosis, dilution refrigerator, quantum computing infrastructure, digital twin, multi-agent LLM, BlueFors, quantum hardware monitoringVotes: 0GitHub stars: 3
- Physics Informed State Space ForecastingPhysics-informed state space models for reliable forecasting in autonomous systems. Projects meteorological and geometric variables into Koopman-linearized Riemannian manifold for thermodynamically consistent predictions. Activation: physics-informed ML, state space forecasting, Koopman operator, Riemannian manifold, solar irradiance forecasting, edge-deployable controllers.Votes: 0GitHub stars: 3
- Pidn Vqa DenoisingPhysics-Informed Denoising Network (PIDN) that reduces Zero-Noise Extrapolation circuit execution costs by ~4-6x for noisy variational quantum algorithms. Learns surrogate of ZNE optimization dynamics via physics-informed loss preserving gradient descent trajectories.Votes: 0GitHub stars: 3
- Prediction And Control With Temporal Segment ModelSkill for AI agent capabilitiesVotes: 0GitHub stars: 3
- Privacy Aware Networked ControlPrivacy-aware co-design of quantizer and controller in networked control systems. Solves stochastic control problems with mutual information regularization to prevent privacy leakage. Use for secure networked control, privacy-preserving IoT systems, and adversarial-resilient control design.Votes: 0GitHub stars: 3
- Pruning By Active Attention Manipulation**arXiv ID:** 2210.11114 **Authors:** Zahra Babaiee, Lucas Liebenwein, Ramin Hasani, Daniela Rus, Radu Grosu **Published:** 2022-10-20T09:17:02Z **Abstract:** Filter pruning of a CNN is typically achieved by applying discrete masks on the CNN's filter weights or activation maps, post-training. Here, we present a new filter-importance-scoring concept named pruning by active attention manipulation (PAAM), that sparsifies the CNN's set of filters through a particular attention mechanism, during-...Votes: 0GitHub stars: 3
- Reasoning Models Struggle To Control Their ChainsSkill for AI agent capabilitiesVotes: 0GitHub stars: 3
- Reflection Driven ControlSkill for AI agent capabilitiesVotes: 0GitHub stars: 3
- Robust Adaptive Backstepping Impedance ControlThis paper presents a Robust Adaptive Backstepping Impedance Control (RABIC) strategy for robots operating in contact-rich and uncertain environments. The proposed control strategy considers the compl... Activation: robotic control, impedance control, adaptive control.Votes: 0GitHub stars: 3
- Safe Large Scale Robust Nonlinear MpcWe present GPU-SLS, a GPU-parallelized framework for safe, robust nonlinear model predictive control (MPC) that scales to high-dimensional uncertain robotic systems and long planni... Activation: safe, large, scale, robust, nonlinearVotes: 0GitHub stars: 3
- Safety Liveness Control ContractsDesign layered control architectures (LCAs) using safety-liveness decomposition via heterogeneous assume-guarantee contracts. Use when: (1) designing hierarchical control systems with discrete planning + continuous execution, (2) enforcing safety constraints while achieving long-horizon objectives, (3) co-designing multi-layer controllers with formal guarantees, (4) building reference governor bridges between MPC planners and low-level controllers. Based on arXiv:2605.04222.Votes: 0GitHub stars: 3
- Sbind Spatiotemporal Imaging**Source:** arXiv:2509.18507 (ICML 2025)Votes: 0GitHub stars: 3
- Scalable Memristive Friendly Reservoir Computing Time SeriesScalable memristor-friendly reservoir computing for time series classification. Optimized for hardware implementation with memristor crossbar arrays. Triggers: memristive, reservoir computing, time series, hardware-friendly, memristor crossbar.Votes: 0GitHub stars: 3