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

TL;DR

This paper proposes a formal control-theoretical framework for neuromorphic control systems and demonstrates its application through a rhythmic control case study, enabling rigorous analysis and design.

Contribution

It introduces a formalization approach for neuromorphic control systems, bridging neuromorphic hardware advantages with classical control theory methods.

Findings

Framework enables analysis with describing function and harmonic balance methods

Application to rhythmic control shows potential for rigorous design

Facilitates integration of neuromorphic systems with mature control techniques

Abstract

Neuromorphic control is receiving growing attention due to the multifaceted advantages it brings over more classical control approaches, including: sparse and on-demand sensing, information transmission, and actuation; energy-efficient designs and realizations in neuromorphic hardware; event-based signal processing and control signal computation. However, a general control-theoretical formalization of what "neuromorphic control systems" are and how we can rigorously analyze, design, and control them is still largely missing. In this note, we suggest a possible path toward formalizing neuromorphic control systems. We apply the proposed framework to a rhythmic control case study and rigorously show how it has the potential to make neuromorphic control systems analysis and design amenable to mature control theoretical approaches like describing function analysis and harmonic balance, fast-slow analysis, discrete and hybrid systems, and robust optimization.