Imagen de Portada

Formalizing Neuromorphic Control Systems: A General Proposal and A Rhythmic Case Study

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Medvedeva, Taisia, Franci, Alessio, Castaños, Fernando
Formato:	Preprint
Publicado:	2025
Materias:	Systems and Control Optimization and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

On data-driven Wasserstein distributionally robust Nash equilibrium problems with heterogeneous uncertainty
por: Pantazis, Georgios, et al.
Publicado: (2023)

Finite-sample guarantees for data-driven forward-backward operator methods
por: Fabiani, Filippo, et al.
Publicado: (2025)

Neuromorphic Control of a Pendulum
por: Schmetterling, Raphael, et al.
Publicado: (2024)

Collective rhythm design in coupled mixed-feedback systems through dominance and bifurcations
por: Juarez-Alvarez, Omar, et al.
Publicado: (2024)

Formally Proving Invariant Systemic Properties of Control Programs Using Ghost Code and Integral Quadratic Constraints
por: Khalife, Elias, et al.
Publicado: (2025)

Formal Entropy-Regularized Control of Stochastic Systems
por: van Zutphen, Menno, et al.
Publicado: (2026)

Formal Verification of Control Lyapunov-Barrier Functions for Safe Stabilization with Bounded Controls
por: Liu, Jun
Publicado: (2025)

Novel Conditions for the Finite-Region Stability of 2D-Systems with Application to Iterative Learning Control
por: Liang, Chao, et al.
Publicado: (2024)

Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered Control
por: Delimpaltadakis, Giannis, et al.
Publicado: (2022)

High-Performance Model Predictive Control for Quadcopters with Formal Stability Guarantees
por: Izadi, Maedeh, et al.
Publicado: (2024)

Computing Control Lyapunov-Barrier Functions: Softmax Relaxation and Smooth Patching with Formal Guarantees
por: Liu, Jun, et al.
Publicado: (2025)

Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees
por: Serry, Mohamed, et al.
Publicado: (2024)

Design of the Impulsive Goodwin's Oscillator: A Case Study
por: Medvedev, Alexander, et al.
Publicado: (2023)

An Integrated Cyber-Physical Risk Assessment Framework for Worst-Case Attacks in Industrial Control Systems
por: Aftabi, Navid, et al.
Publicado: (2023)

A Minimax Optimal Controller for Positive Systems
por: Gurpegui, Alba, et al.
Publicado: (2025)

Robust Control of General Linear Delay Systems under Dissipativity: Part I -- A KSD-based Framework
por: Feng, Qian, et al.
Publicado: (2025)

Nonlinear Feedback Linearization and LQG/LTR Control: A Comparative Study for a Single-Machine Infinite-Bus System
por: Vernekar, Pratik
Publicado: (2025)

Distributed and Localized Covariance Control of Coupled Systems: A System Level Approach
por: Khalil, Ahmed, et al.
Publicado: (2025)

Bringing Quantum Systems under Control: A Tutorial Invitation to Quantum Computing and Its Relation to Bilinear Control Systems
por: Berberich, Julian, et al.
Publicado: (2024)

Linear-Quadratic Problems in Systems and Controls via Covariance Representations and Linear-Conic Duality: Finite-Horizon Case
por: Bamieh, Bassam
Publicado: (2024)

A System Level Approach to LQR Control of the Diffusion Equation
por: McCurdy, Addie, et al.
Publicado: (2025)

A Versatile Framework for Data-Driven Control of Nonlinear Systems
por: Monshizadeh, Nima, et al.
Publicado: (2024)

A Path-Complete Approach for Optimal Control of Switched Systems
por: Ninite, Léa, et al.
Publicado: (2026)

A Survey on Convex Optimization for Guidance and Control of Vehicular Systems
por: Wang, Zhenbo
Publicado: (2023)

A Simulation Preorder for Koopman-like Lifted Control Systems
por: Aspeel, Antoine, et al.
Publicado: (2024)

Threshold Decision-Making Dynamics Adaptive to Physical Constraints and Changing Environment
por: Amorim, Giovanna, et al.
Publicado: (2023)

A Comparative Study of Distributed Feedback Optimizing Control Architectures
por: Dirza, Risvan, et al.
Publicado: (2024)

Control Co-design of a Hydrokinetic Turbine: A Comparative Study of Open-loop Optimal Control and Feedback Control
por: Amini, Mohammad Reza, et al.
Publicado: (2023)

Controlling Complex Systems
por: Coraggio, Marco, et al.
Publicado: (2025)

A Control Lyapunov Function Approach to Event-Triggered Parameterized Control for Discrete-Time Linear Systems
por: Rajan, Anusree, et al.
Publicado: (2024)

Risk-Averse Ensemble Control for Control-Affine Systems
por: Scagliotti, Alessandro, et al.
Publicado: (2026)

Handling Control System Optimality
por: Li, Hao
Publicado: (2026)

Koopman Operator-based Detection-Isolation of Cyberattack: A Case Study on Electric Vehicle Charging
por: Ghosh, Sanchita, et al.
Publicado: (2024)

Gramians for a New Class of Nonlinear Control Systems Using Koopman and a Novel Generalized SVD
por: Brown, Brian, et al.
Publicado: (2025)

Formally Verified Physics-Informed Neural Control Lyapunov Functions
por: Liu, Jun, et al.
Publicado: (2024)

Stabilizing Optimal Control for Nonlinear Stochastic Systems: A Parametric Gradient-Based Approach
por: Ito, Yuji, et al.
Publicado: (2025)

From Data to Predictive Control: A Framework for Stochastic Linear Systems with Output Measurements
por: Balim, Haldun, et al.
Publicado: (2024)

System Design Approach for Control of Differentially Private Dynamical Systems
por: Goyal, Raman, et al.
Publicado: (2024)

Stabilizing Rate of Stochastic Control Systems
por: Jia, Hui, et al.
Publicado: (2025)

Synthesizing Control Lyapunov-Value Functions for High-Dimensional Systems Using System Decomposition and Admissible Control Sets
por: Gong, Zheng, et al.
Publicado: (2024)