Source author record

John C. Doyle

John C. Doyle appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

11works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2023arXiv

Internal feedback in the cortical perception-action loop enables fast and accurate behavior

Animals move smoothly and reliably in unpredictable environments. Models of sensorimotor control have assumed that sensory information from the environment leads to actions, which then act back on the environment, creating a single, unidirectional perception-action loop. This loop contains internal delays in sensory and motor pathways, which can lead to unstable control. We show here that these delays can be compensated by internal feedback signals that flow backwards, from motor towards sensory areas. Internal feedback is ubiquitous in neural sensorimotor systems and recent advances in control theory show how internal feedback compensates internal delays. This is accomplished by filtering out self-generated and other predictable changes in early sensory areas so that unpredicted, actionable information can be rapidly transmitted toward action by the fastest components. For example, fast, giant neurons are necessarily less accurate than smaller neurons, but they are crucial for fast and accurate behavior. We use a mathematically tractable control model to show that internal feedback has an indispensable role in achieving state estimation, localization of function -- how different parts of cortex control different parts of the body -- and attention, all of which are crucial for effective sensorimotor control. This control model can explain anatomical, physiological and behavioral observations, including motor signals in visual cortex, heterogeneous kinetics of sensory receptors and the presence of giant Betz cells in motor cortex, Meynert cells in visual cortex and giant von Economo cells in the prefrontal cortex of humans as well as internal feedback patterns and unexplained heterogeneity in other neural systems.

preprint2022arXiv

Internal Feedback in Biological Control: Diversity, Delays, and Standard Theory

Neural architectures in organisms support efficient and robust control that is beyond the capability of engineered architectures. Unraveling the function of such architectures is challenging; their components are highly diverse and heterogeneous in their morphology, physiology, and biochemistry, and often obey severe speed-accuracy tradeoffs; they also contain many cryptic internal feedback pathways (IFPs). We claim that IFPs are crucial architectural features that strategically combine highly diverse components to give rise to optimal performance. We demonstrate this in a case study, and additionally describe how sensing and actuation delays in standard control (state feedback, full control, output feedback) give rise to independent and separable sources of IFPs. Our case study is an LQR problem with two types of sensors, one fast but sparse and one dense but slow. Controllers using only one type of sensor perform poorly, often failing even to stabilize; controllers using both types of sensors perform extremely well, demonstrating a strong diversity-enabled sweet spot (DESS). We demonstrate that IFPs are key in enabling this DESS, and additionally that with IFPs removed, controllers with delayed sensing perform poorly. The existence of strong DESS and IFP in this simple example suggest that these are fundamental architectural features in any complex system with diverse components, such as organisms and cyberphysical systems.

preprint2015arXiv

Primal robustness and semidefinite cones

This paper reformulates and streamlines the core tools of robust stability and performance for LTI systems using now-standard methods in convex optimization. In particular, robustness analysis can be formulated directly as a primal convex (semidefinite program or SDP) optimization problem using sets of gramians whose closure is a semidefinite cone. This allows various constraints such as structured uncertainty to be included directly, and worst-case disturbances and perturbations constructed directly from the primal variables. Well known results such as the KYP lemma and various scaled small gain tests can also be obtained directly through standard SDP duality. To readers familiar with robustness and SDPs, the framework should appear obvious, if only in retrospect. But this is also part of its appeal and should enhance pedagogy, and we hope suggest new research. There is a key lemma proving closure of a grammian that is also obvious but our current proof appears unnecessarily cumbersome, and a final aim of this paper is to enlist the help of experts in robust control and convex optimization in finding simpler alternatives.

preprint2014arXiv

Localized LQR Optimal Control

This paper introduces a receding horizon like control scheme for localizable distributed systems, in which the effect of each local disturbance is limited spatially and temporally. We characterize such systems by a set of linear equality constraints, and show that the resulting feasibility test can be solved in a localized and distributed way. We also show that the solution of the local feasibility tests can be used to synthesize a receding horizon like controller that achieves the desired closed loop response in a localized manner as well. Finally, we formulate the Localized LQR (LLQR) optimal control problem and derive an analytic solution for the optimal controller. Through a numerical example, we show that the LLQR optimal controller, with its constraints on locality, settling time, and communication delay, can achieve similar performance as an unconstrained H2 optimal controller, but can be designed and implemented in a localized and distributed way.

preprint2014arXiv

Optimal Two Player LQR State Feedback With Varying Delay

This paper presents an explicit solution to a two player distributed LQR problem in which communication between controllers occurs across a communication link with varying delay. We extend known dynamic programming methods to accommodate this varying delay, and show that under suitable assumptions, the optimal control actions are linear in their information, and that the resulting controller has piecewise linear dynamics dictated by the current effective delay regime.

preprint2014arXiv

The H2 Control Problem for Quadratically Invariant Systems with Delays

This paper gives a new solution to the output feedback H2 problem for quadratically invariant communication delay patterns. A characterization of all stabilizing controllers satisfying the delay constraints is given and the decentralized H2 problem is cast as a convex model matching problem. The main result shows that the model matching problem can be reduced to a finite-dimensional quadratic program. A recursive state-space method for computing the optimal controller based on vectorization is given.

preprint2012arXiv

Output Feedback H_2 Model Matching for Decentralized Systems with Delays

This paper gives a new solution to the output feedback H_2 model matching problem for a large class of delayed information sharing patterns. Existing methods for such problems typically reduce the decentralized problem to a centralized problem of higher state dimension. In contrast, the controller given in this paper is constructed from the solutions to the centralized control and estimation Riccati equations for the original system. The problem is solved by decomposing the controller into two components. One is centralized, but delayed, while the other is decentralized with finite impulse response (FIR). It is then shown that the optimal controller can be constructed through a combination of centralized spectral factorization and quadratic programming.

preprint2010arXiv

Amplification and Nonlinear Mechanisms in Plane Couette Flow

We study the input-output response of a streamwise constant projection of the Navier-Stokes equations for plane Couette flow, the so-called 2D/3C model. Study of a streamwise constant model is motivated by numerical and experimental observations that suggest the prevalence and importance of streamwise and quasi-streamwise elongated structures. Periodic spanwise/wall-normal (z-y) plane stream functions are used as input to develop a forced 2D/3C streamwise velocity field that is qualitatively similar to a fully turbulent spatial field of DNS data. The input-output response associated with the 2D/3C nonlinear coupling is used to estimate the energy optimal spanwise wavelength over a range of Reynolds numbers. The results of the input-output analysis agree with previous studies of the linearized Navier-Stokes equations. The optimal energy corresponds to minimal nonlinear coupling. On the other hand, the nature of the forced 2D/3C streamwise velocity field provides evidence that the nonlinear coupling in the 2D/3C model is responsible for creating the well known characteristic "S" shaped turbulent velocity profile. This indicates that there is an important tradeoff between energy amplification, which is primarily linear and the seemingly nonlinear momentum transfer mechanism that produces a turbulent-like mean profile.

preprint2010arXiv

On Lossless Approximations, the Fluctuation-Dissipation Theorem, and Limitations of Measurements

In this paper, we take a control-theoretic approach to answering some standard questions in statistical mechanics, and use the results to derive limitations of classical measurements. A central problem is the relation between systems which appear macroscopically dissipative but are microscopically lossless. We show that a linear system is dissipative if, and only if, it can be approximated by a linear lossless system over arbitrarily long time intervals. Hence lossless systems are in this sense dense in dissipative systems. A linear active system can be approximated by a nonlinear lossless system that is charged with initial energy. As a by-product, we obtain mechanisms explaining the Onsager relations from time-reversible lossless approximations, and the fluctuation-dissipation theorem from uncertainty in the initial state of the lossless system. The results are applied to measurement devices and are used to quantify limits on the so-called observer effect, also called back action, which is the impact the measurement device has on the observed system. In particular, it is shown that deterministic back action can be compensated by using active elements, whereas stochastic back action is unavoidable and depends on the temperature of the measurement device.

preprint2009arXiv

A proposal for a coordinated effort for the determination of brainwide neuroanatomical connectivity in model organisms at a mesoscopic scale

In this era of complete genomes, our knowledge of neuroanatomical circuitry remains surprisingly sparse. Such knowledge is however critical both for basic and clinical research into brain function. Here we advocate for a concerted effort to fill this gap, through systematic, experimental mapping of neural circuits at a mesoscopic scale of resolution suitable for comprehensive, brain-wide coverage, using injections of tracers or viral vectors. We detail the scientific and medical rationale and briefly review existing knowledge and experimental techniques. We define a set of desiderata, including brain-wide coverage; validated and extensible experimental techniques suitable for standardization and automation; centralized, open access data repository; compatibility with existing resources, and tractability with current informatics technology. We discuss a hypothetical but tractable plan for mouse, additional efforts for the macaque, and technique development for human. We estimate that the mouse connectivity project could be completed within five years with a comparatively modest budget.