-
Structure and Control of Biology-inspired Networks
Authors:
Zexin Sun,
John Baillieul
Abstract:
There is increasing interest in developing the theoretical foundations of networked control systems that illuminate how brain networks function so as to enable sensory perception, control of movement, memory and all the operations that are needed for animals to survive. The present paper proposes a biologically inspired network model featuring dynamic connections regulated by Hebbian learning. Dra…
▽ More
There is increasing interest in developing the theoretical foundations of networked control systems that illuminate how brain networks function so as to enable sensory perception, control of movement, memory and all the operations that are needed for animals to survive. The present paper proposes a biologically inspired network model featuring dynamic connections regulated by Hebbian learning. Drawing on the machinery of graph theory and classical control we show that our novel nonlinear model exhibits such biologically plausible features as bounded evolution, stability, resilience, and a kind of structural stability -- meaning that perturbations of the model parameters leave the essential properties of the model in tact. The proposed network model involves generalized cactus graphs with multiple control input nodes, and it is shown that the properties of the network are resilient to various changes in network topology provided these changes preserve the generalized cactus structure. A particular example described in what follows is an idealized network model of the visual system of a macaque monkey. The model displays resilience to network disruptions such as might occur in a living organism due to disease or injury. A different model of the same type provides an example of a system that can perform data classification.
△ Less
Submitted 2 June, 2025; v1 submitted 9 October, 2024;
originally announced October 2024.
-
Koopman-based Deep Learning for Nonlinear System Estimation
Authors:
Zexin Sun,
Mingyu Chen,
John Baillieul
Abstract:
Nonlinear differential equations are encountered as models of fluid flow, spiking neurons, and many other systems of interest in the real world. Common features of these systems are that their behaviors are difficult to describe exactly and invariably unmodeled dynamics present challenges in making precise predictions. In this paper, we present a novel data-driven linear estimator based on Koopman…
▽ More
Nonlinear differential equations are encountered as models of fluid flow, spiking neurons, and many other systems of interest in the real world. Common features of these systems are that their behaviors are difficult to describe exactly and invariably unmodeled dynamics present challenges in making precise predictions. In this paper, we present a novel data-driven linear estimator based on Koopman operator theory to extract meaningful finite-dimensional representations of complex non-linear systems. The Koopman model is used together with deep reinforcement networks that learn the optimal stepwise actions to predict future states of nonlinear systems. Our estimator is also adaptive to a diffeomorphic transformation of the estimated nonlinear system, which enables it to compute optimal state estimates without re-learning.
△ Less
Submitted 14 September, 2024; v1 submitted 1 May, 2024;
originally announced May 2024.
-
Neuromimetic Dynamic Networks with Hebbian Learning
Authors:
Zexin Sun,
John Baillieul
Abstract:
Leveraging recent advances in neuroscience and control theory, this paper presents a neuromimetic network model with dynamic symmetric connections governed by Hebbian learning rules. Formal analysis grounded in graph theory and classical control establishes that this biologically plausible model exhibits boundedness, stability, and structural controllability given a generalized sym-cactus structur…
▽ More
Leveraging recent advances in neuroscience and control theory, this paper presents a neuromimetic network model with dynamic symmetric connections governed by Hebbian learning rules. Formal analysis grounded in graph theory and classical control establishes that this biologically plausible model exhibits boundedness, stability, and structural controllability given a generalized sym-cactus structure with multiple control nodes. We prove the necessity of this topology when there are distributed control inputs. Simulations using a 14-node generalized sym-cactus network with two input types validate the model's effectiveness in capturing key neural dynamics.
△ Less
Submitted 3 October, 2023;
originally announced October 2023.
-
On the complexity of linear systems: an approach via rate distortion theory and emulating systems
Authors:
Eric Wendel,
John Baillieul,
Joseph Hollmann
Abstract:
We define the complexity of a continuous-time linear system to be the minimum number of bits required to describe its forward increments to a desired level of fidelity, and compute this quantity using the rate distortion function of a Gaussian source of uncertainty in those increments. The complexity of a linear system has relevance in control-communications contexts requiring local and dynamic de…
▽ More
We define the complexity of a continuous-time linear system to be the minimum number of bits required to describe its forward increments to a desired level of fidelity, and compute this quantity using the rate distortion function of a Gaussian source of uncertainty in those increments. The complexity of a linear system has relevance in control-communications contexts requiring local and dynamic decision-making based on sampled data representations. We relate this notion of complexity to the design of attention-varying controllers, and demonstrate a novel methodology for constructing source codes via the endpoint maps of so-called emulating systems, with potential for non-parametric, data-based simulation and analysis of unknown dynamical systems.
△ Less
Submitted 4 June, 2023;
originally announced June 2023.
-
Emulation Learning for Neuromimetic Systems
Authors:
Zexin Sun,
John Baillieul
Abstract:
Building on our recent research on neural heuristic quantization systems, results on learning quantized motions and resilience to channel dropouts are reported. We propose a general emulation problem consistent with the neuromimetic paradigm. This optimal quantization problem can be solved by model predictive control (MPC), but because the optimization step involves integer programming, the approa…
▽ More
Building on our recent research on neural heuristic quantization systems, results on learning quantized motions and resilience to channel dropouts are reported. We propose a general emulation problem consistent with the neuromimetic paradigm. This optimal quantization problem can be solved by model predictive control (MPC), but because the optimization step involves integer programming, the approach suffers from combinatorial complexity when the number of input channels becomes large. Even if we collect data points to train a neural network simultaneously, collection of training data and the training itself are still time-consuming. Therefore, we propose a general Deep Q Network (DQN) algorithm that can not only learn the trajectory but also exhibit the advantages of resilience to channel dropout. Furthermore, to transfer the model to other emulation problems, a mapping-based transfer learning approach can be used directly on the current model to obtain the optimal direction for the new emulation problems.
△ Less
Submitted 4 May, 2023;
originally announced May 2023.
-
Model Predictive Control for Neuromimetic Quantized Systems
Authors:
Zexin Sun,
John Baillieul
Abstract:
Based on our recent research on neural heuristic quantization systems, we propose an emulation problem consistent with the neuromimetic paradigm. This optimal quantization problem can be solved with model predictive control (MPC) by deriving the conditions under which the quantized system can guarantee (asymptotic) stability during emulation by optimizing a Lyapunov-like objective function. The ne…
▽ More
Based on our recent research on neural heuristic quantization systems, we propose an emulation problem consistent with the neuromimetic paradigm. This optimal quantization problem can be solved with model predictive control (MPC) by deriving the conditions under which the quantized system can guarantee (asymptotic) stability during emulation by optimizing a Lyapunov-like objective function. The neuromimetic model features large numbers of discrete inputs, and the optimization involves integer variables. The approach in the paper begins by solving an optimization using model predictive control (MPC) and then using a neural network to train the data generated in this process and applying Fincke and Pohst's sphere decoding algorithm to narrow down the search for the optimal solution.
△ Less
Submitted 4 May, 2023; v1 submitted 19 December, 2022;
originally announced December 2022.
-
Neuromimetic Linear Systems -- Resilience and Learning
Authors:
Zexin Sun,
John Baillieul
Abstract:
Building on our recent work on {\em neuromimetic control theory}, new results on resilience and neuro-inspired quantization are reported. The term neuromimetic refers to the models having features that are characteristic of the neurobiology of biological motor control. As in previous work, the focus is on what we call {\em overcomplete} linear systems that are characterized by larger numbers of in…
▽ More
Building on our recent work on {\em neuromimetic control theory}, new results on resilience and neuro-inspired quantization are reported. The term neuromimetic refers to the models having features that are characteristic of the neurobiology of biological motor control. As in previous work, the focus is on what we call {\em overcomplete} linear systems that are characterized by larger numbers of input and output channels than the dimensions of the state. The specific contributions of the present paper include a proposed {\em resilient} observer whose operation tolerates output channel intermittency and even complete dropouts. Tying these ideas together with our previous work on resilient stability, a resilient separation principle is established. We also propose a {\em principled quantization} in which control signals are encoded as simple discrete inputs which act collectively through the many channels of input that are the hallmarks of the overcomplete models. Aligned with the neuromimetic paradigm, an {\em emulation} problem is proposed and this in turn defines an optimal quantization problem. Several possible solutions are discussed including direct combinatorial optimization, a Hebbian-like iterative learning algorithm, and a deep Q-learning (DQN) approach. For the problems being considered, machine learning approaches to optimization provide valuable insights regarding comparisons between optimal and nearby suboptimal solutions. These are useful in understanding the kinds of resilience to intermittency and channel dropouts that were earlier demonstrated for continuous systems.
△ Less
Submitted 10 May, 2022;
originally announced May 2022.
-
Visual Navigation Using Sparse Optical Flow and Time-to-Transit
Authors:
Chiara Boretti,
Philippe Bich,
Yanyu Zhang,
John Baillieul
Abstract:
Drawing inspiration from biology, we describe the way in which visual sensing with a monocular camera can provide a reliable signal for navigation of mobile robots. The work takes inspiration from a classic paper by Lee and Reddish (Nature, 1981, https://doi.org/10.1038/293293a0) in which they outline a behavioral strategy pursued by diving sea birds based on a visual cue called time-to-contact. A…
▽ More
Drawing inspiration from biology, we describe the way in which visual sensing with a monocular camera can provide a reliable signal for navigation of mobile robots. The work takes inspiration from a classic paper by Lee and Reddish (Nature, 1981, https://doi.org/10.1038/293293a0) in which they outline a behavioral strategy pursued by diving sea birds based on a visual cue called time-to-contact. A closely related concept of time-to-transit, tau, is defined, and it is shown that idealized steering laws based on monocular camera perceptions of tau can reliably and robustly steer a mobile vehicle within a wide variety of spaces in which features perceived to lie on walls and other objects in the environment provide adequate visual cues. The contribution of the paper is two-fold. It provides a simple theory of robust vision-based steering control. It goes on to show how the theory guides the implementation of robust visual navigation using ROS-Gazebo simulations as well as deployment and experiments with a camera-equipped Jackal robot. As far as we know, the experiments described below are the first to demonstrate visual navigation based on tau.
△ Less
Submitted 18 November, 2021;
originally announced November 2021.
-
Neuromimetic Control -- A Linear Model Paradigm
Authors:
John Baillieul,
Zexin Sun
Abstract:
Stylized models of the neurodynamics that underpin sensory motor control in animals are proposed and studied. The voluntary motions of animals are typically initiated by high level intentions created in the primary cortex through a combination of perceptions of the current state of the environment along with memories of past reactions to similar states. Muscle movements are produced as a result of…
▽ More
Stylized models of the neurodynamics that underpin sensory motor control in animals are proposed and studied. The voluntary motions of animals are typically initiated by high level intentions created in the primary cortex through a combination of perceptions of the current state of the environment along with memories of past reactions to similar states. Muscle movements are produced as a result of neural processes in which the parallel activity of large multiplicities of neurons generate signals that collectively lead to desired actions. Essential to coordinated muscle movement are intentionality, prediction, regions of the cortex dealing with misperceptions of sensory cues, and a significant level of resilience with respect to disruptions in the neural pathways through which signals must propagate. While linear models of feedback control systems have been well studied over decades, this paper proposes and analyzes a class of models whose aims are to capture some of the essential features of neural control of movement. Whereas most linear models of feedback systems entail a state component whose dimension is higher than the number of inputs or outputs, the work that follows will treat models in which the numbers of input and output channels greatly exceed the state dimension. While we begin by considering continuous time systems, the aim will be to treat systems whose evolution involves classes of inputs that emulate neural spike trains. Within the proposed class of models, the paper will study resilience to channel dropouts, the ways in which noise and uncertainty can be mitigated by an appropriate notion of consensus among noisy inputs, and finally, by a simple model in which binary activations of a multiplicity of input channels produce a dynamic response that closely approximates the dynamics of a prescribed linear system whose inputs are continuous functions of time.
△ Less
Submitted 8 October, 2021; v1 submitted 26 April, 2021;
originally announced April 2021.
-
Visual Navigation with a 2-pixel Camera---Possibilities and Limitations
Authors:
John Baillieul,
Feiyang Kang
Abstract:
Borrowing terminology from fluid mechanics, the concepts of {\em Eulerian} and {\em Lagrangian optical flow sensing} are introduced. Eulerian optical flow sensing assumes that each photoreceptor in the camera or eye can instantaneously detect feature image points and their velocities on the retina. If this assumption is satisfied, even a two pixel imaging system can provide a moving agent with inf…
▽ More
Borrowing terminology from fluid mechanics, the concepts of {\em Eulerian} and {\em Lagrangian optical flow sensing} are introduced. Eulerian optical flow sensing assumes that each photoreceptor in the camera or eye can instantaneously detect feature image points and their velocities on the retina. If this assumption is satisfied, even a two pixel imaging system can provide a moving agent with information about its movement along a corridor that is sufficiently precise as to be used as a robustly reliable steering signal. Implementing Eulerian optical flow sensing poses significant challenges, however. Lagrangian optical flow, on the other hand, tracks feature image points as they move on the retina. This form of visual sensing is the basis for many standard computer vision implementations, including Lukas-Kanade and Horn-Schunck. Lagrangian optical flow has its own challenges, not least of which is that it is badly confounded by rotational components of motion. Combined steering and sensing strategies for mitigating the effects of rotational motions are considered.
△ Less
Submitted 27 February, 2021;
originally announced March 2021.
-
Perceptual Control with Large Feature and Actuator Networks
Authors:
John Baillieul
Abstract:
This paper discusses elements of a control theory of systems comprised of networks of simple agents that collectively achieve sensing and actuation goals despite having strictly limited capability when acting alone. The goal is to understand {\em neuromorphic} feedback control in which streams of data come from large arrays of sensors (e.g. photo-receptors in the eye) and actuation requires coordi…
▽ More
This paper discusses elements of a control theory of systems comprised of networks of simple agents that collectively achieve sensing and actuation goals despite having strictly limited capability when acting alone. The goal is to understand {\em neuromorphic} feedback control in which streams of data come from large arrays of sensors (e.g. photo-receptors in the eye) and actuation requires coordination of large numbers of actuators (e.g. motor neurons). The context for this work is set by consideration of a stylized problem of robot navigation that uses optical flow as sensed by two idealized and precise photoreceptors. A robust steering law in this setting establishes a foundation for exploiting optical flow based on averaged noisy inputs from large numbers of imprecise sensing elements. Seeking inspiration in neurobiology, the challenges of actuator and sensor intermittency are discussed as are learning actuator coordination strategies. It is shown that there are advantages to having large numbers of control inputs and outputs. The results will be shown to make contact with ideas from control communication complexity and the standard parts problem.
△ Less
Submitted 20 October, 2019; v1 submitted 25 March, 2019;
originally announced March 2019.
-
Introduction to the Special Issue on Approaches to Control Biological and Biologically Inspired Networks
Authors:
Reka Albert,
John Baillieul,
Adilson E. Motter
Abstract:
The emerging field at the intersection of quantitative biology, network modeling, and control theory has enjoyed significant progress in recent years. This Special Issue brings together a selection of papers on complementary approaches to observe, identify, and control biological and biologically inspired networks. These approaches advance the state of the art in the field by addressing challenges…
▽ More
The emerging field at the intersection of quantitative biology, network modeling, and control theory has enjoyed significant progress in recent years. This Special Issue brings together a selection of papers on complementary approaches to observe, identify, and control biological and biologically inspired networks. These approaches advance the state of the art in the field by addressing challenges common to many such networks, including high dimensionality, strong nonlinearity, uncertainty, and limited opportunities for observation and intervention. Because these challenges are not unique to biological systems, it is expected that many of the results presented in these contributions will also find applications in other domains, including physical, social, and technological networks.
△ Less
Submitted 28 June, 2018;
originally announced July 2018.
-
Power Grid Decomposition Based on Vertex Cut Sets and Its Applications to Topology Control and Power Trading
Authors:
Shuai Wang,
John Baillieul
Abstract:
It is well known that the reserves/redundancies built into the transmission grid in order to address a variety of contingencies over a long planning horizon may, in the short run, cause economic dispatch inefficiency. Accordingly, power grid optimization by means of short term line switching has been proposed and is typically formulated as a mixed integer programming problem by treating the state…
▽ More
It is well known that the reserves/redundancies built into the transmission grid in order to address a variety of contingencies over a long planning horizon may, in the short run, cause economic dispatch inefficiency. Accordingly, power grid optimization by means of short term line switching has been proposed and is typically formulated as a mixed integer programming problem by treating the state of the transmission lines as a binary decision variable, i.e. in-service or out-of-service, in the optimal power flow problem. To handle the combinatorial explosion, a number of heuristic approaches to grid topology reconfiguration have been proposed in the literature. This paper extends our recent results on the iterative heuristics and proposes a fast grid decomposition algorithm based on vertex cut sets with the purpose of further reducing the computational cost. The paper concludes with a discussion of the possible relationship between vertex cut sets in transmission networks and power trading.
△ Less
Submitted 18 March, 2018; v1 submitted 15 March, 2018;
originally announced March 2018.
-
Paradigm and Paradox in Topology Control of Power Grids
Authors:
Shuai Wang,
John Baillieul
Abstract:
Corrective Transmission Switching can be used by the grid operator to relieve line overloading and voltage violations, improve system reliability, and reduce system losses. Power grid optimization by means of line switching is typically formulated as a mixed integer programming problem (MIP). Such problems are known to be computationally intractable, and accordingly, a number of heuristic approach…
▽ More
Corrective Transmission Switching can be used by the grid operator to relieve line overloading and voltage violations, improve system reliability, and reduce system losses. Power grid optimization by means of line switching is typically formulated as a mixed integer programming problem (MIP). Such problems are known to be computationally intractable, and accordingly, a number of heuristic approaches to grid topology reconfiguration have been proposed in the power systems literature. By means of some low order examples (3-bus systems), it is shown that within a reasonably large class of greedy heuristics, none can be found that perform better than the others across all grid topologies. Despite this cautionary tale, statistical evidence based on a large number of simulations using using IEEE 118- bus systems indicates that among three heuristics, a globally greedy heuristic is the most computationally intensive, but has the best chance of reducing generation costs while enforcing N-1 connectivity. It is argued that, among all iterative methods, the locally optimal switches at each stage have a better chance in not only approximating a global optimal solution but also greatly limiting the number of lines that are switched.
△ Less
Submitted 16 March, 2018; v1 submitted 15 March, 2018;
originally announced March 2018.
-
A Novel Decomposition for Control of DC Circuits and Grid Models with Heterogeneous Energy Sources
Authors:
Shuai Wang,
John Baillieul
Abstract:
The way in which electric power depends on the topology of circuits with mixed voltage and current sources is examined. The power flowing in any steady-state DC circuit is shown to depend on a minimal set of key variables called fundamental node voltages and fundamental edge currents. Every steady-state DC circuit can be decomposed into a voltage controlled subcircuit and a current controlled subc…
▽ More
The way in which electric power depends on the topology of circuits with mixed voltage and current sources is examined. The power flowing in any steady-state DC circuit is shown to depend on a minimal set of key variables called fundamental node voltages and fundamental edge currents. Every steady-state DC circuit can be decomposed into a voltage controlled subcircuit and a current controlled subcircuit. In terms of such a decomposition, the I^2R losses of a mixed source circuit are always the sum of losses on the voltage controlled subcircuit and the current controlled subcircuit. The paper concludes by showing that the total power flowing in a mixed source circuit can be found as critical points of the power expressed in terms of the key voltage and current variables mentioned above. The possible relationship to topology control of electric grid operations is discussed.
△ Less
Submitted 21 September, 2017;
originally announced September 2017.
-
Control and Communication Protocols that Enable Smart Building Microgrids
Authors:
Bowen Zhang,
John Baillieul
Abstract:
Recent communication, computation, and technology advances coupled with climate change concerns have transformed the near future prospects of electricity transmission, and, more notably, distribution systems and microgrids. Distributed resources (wind and solar generation, combined heat and power) and flexible loads (storage, computing, EV, HVAC) make it imperative to increase investment and impro…
▽ More
Recent communication, computation, and technology advances coupled with climate change concerns have transformed the near future prospects of electricity transmission, and, more notably, distribution systems and microgrids. Distributed resources (wind and solar generation, combined heat and power) and flexible loads (storage, computing, EV, HVAC) make it imperative to increase investment and improve operational efficiency. Commercial and residential buildings, being the largest energy consumption group among flexible loads in microgrids, have the largest potential and flexibility to provide demand side management. Recent advances in networked systems and the anticipated breakthroughs of the Internet of Things will enable significant advances in demand response capabilities of intelligent load network of power-consuming devices such as HVAC components, water heaters, and buildings. In this paper, a new operating framework, called packetized direct load control (PDLC), is proposed based on the notion of quantization of energy demand. This control protocol is built on top of two communication protocols that carry either complete or binary information regarding the operation status of the appliances. We discuss the optimal demand side operation for both protocols and analytically derive the performance differences between the protocols. We propose an optimal reservation strategy for traditional and renewable energy for the PDLC in both day-ahead and real time markets. In the end we discuss the fundamental trade-off between achieving controllability and endowing flexibility.
△ Less
Submitted 16 April, 2015;
originally announced April 2015.
-
The Kirchhoff-Braess Paradox and Its Implications for Smart Microgrids
Authors:
John Baillieul,
Bowen Zhang,
Shuai Wang
Abstract:
Well known in the theory of network flows, Braess paradox states that in a congested network, it may happen that adding a new path between destinations can increase the level of congestion. In transportation networks the phenomenon results from the decisions of network participants who selfishly seek to optimize their own performance metrics. In an electric power distribution network, an analogous…
▽ More
Well known in the theory of network flows, Braess paradox states that in a congested network, it may happen that adding a new path between destinations can increase the level of congestion. In transportation networks the phenomenon results from the decisions of network participants who selfishly seek to optimize their own performance metrics. In an electric power distribution network, an analogous increase in congestion can arise as a consequence Kirchhoff's laws. Even for the simplest linear network of resistors and voltage sources, the sudden appearance of congestion due to an additional conductive line is a nonlinear phenomenon that results in a discontinuous change in the network state. It is argued that the phenomenon can occur in almost any grid in which they are loops, and with the increasing penetration of small-scale distributed generation it suggests challenges ahead in the operation of microgrids.
△ Less
Submitted 21 September, 2015; v1 submitted 16 April, 2015;
originally announced April 2015.
-
Saliency Based Control in Random Feature Networks
Authors:
John Baillieul,
Zhaodan Kong
Abstract:
The ability to rapidly focus attention and react to salient environmental features enables animals to move agiley through their habitats. To replicate this kind of high-performance control of movement in synthetic systems, we propose a new approach to feedback control that bases control actions on randomly perceived features. Connections will be made with recent work incorporating communication pr…
▽ More
The ability to rapidly focus attention and react to salient environmental features enables animals to move agiley through their habitats. To replicate this kind of high-performance control of movement in synthetic systems, we propose a new approach to feedback control that bases control actions on randomly perceived features. Connections will be made with recent work incorporating communication protocols into networked control systems. The concepts of {\em random channel controllability} and {\em random channel observability} for LTI control systems are introduced and studied.
△ Less
Submitted 6 August, 2014; v1 submitted 21 March, 2014;
originally announced March 2014.
-
Optimal Provision of Regulation Service Reserves Under Dynamic Energy Service Preferences
Authors:
Bowen Zhang,
Michael C. Caramanis,
John Baillieul
Abstract:
We propose and solve a stochastic dynamic programming (DP) problem addressing the optimal provision of regulation service reserves (RSR) by controlling dynamic demand preferences in smart buildings. A major contribution over past dynamic pricing work is that we pioneer the relaxation of static, uniformly distributed utility of demand. In this paper we model explicitly the dynamics of energy servic…
▽ More
We propose and solve a stochastic dynamic programming (DP) problem addressing the optimal provision of regulation service reserves (RSR) by controlling dynamic demand preferences in smart buildings. A major contribution over past dynamic pricing work is that we pioneer the relaxation of static, uniformly distributed utility of demand. In this paper we model explicitly the dynamics of energy service preferences leading to a non-uniform and time varying probability distribution of demand utility. More explicitly, we model active and idle duty cycle appliances in a smart building as a closed queuing system with price-controlled arrival rates into the active appliance queue. Focusing on cooling appliances, we model the utility associated with the transition from idle to active as a non-uniform time varying function. We (i) derive an analytic characterization of the optimal policy and the differential cost function, and (ii) prove optimal policy monotonicity and value function convexity. These properties enable us to propose and implement a smart assisted value iteration (AVI) algorithm and an approximate DP (ADP) that exploits related functional approximations. Numerical results demonstrate the validity of the solution techniques and the computational advantage of the proposed ADP on realistic, large-state-space problems.
△ Less
Submitted 24 July, 2017; v1 submitted 19 March, 2014;
originally announced March 2014.
-
Perception and Steering Control in Paired Bat Flight
Authors:
Zhaodan Kong,
Kayhan Ozcimder,
Nathan W. Fuller,
John Baillieul
Abstract:
Animals within groups need to coordinate their reactions to perceived environmental features and to each other in order to safely move from one point to another. This paper extends our previously published work on the flight patterns of Myotis velifer that have been observed in a habitat near Johnson City, Texas. Each evening, these bats emerge from a cave in sequences of small groups that typical…
▽ More
Animals within groups need to coordinate their reactions to perceived environmental features and to each other in order to safely move from one point to another. This paper extends our previously published work on the flight patterns of Myotis velifer that have been observed in a habitat near Johnson City, Texas. Each evening, these bats emerge from a cave in sequences of small groups that typically contain no more than three or four individuals, and they thus provide ideal subjects for studying leader-follower behaviors. By analyzing the flight paths of a group of M. velifer, the data show that the flight behavior of a follower bat is influenced by the flight behavior of a leader bat in a way that is not well explained by existing pursuit laws, such as classical pursuit, constant bearing and motion camouflage. Thus we propose an alternative steering law based on virtual loom, a concept we introduce to capture the geometrical configuration of the leader-follower pair. It is shown that this law may be integrated with our previously proposed vision-enabled steering laws to synthesize trajectories, the statistics of which fit with those of the bats in our data set. The results suggest that bats use perceived information of both the environment and their neighbors for navigation.
△ Less
Submitted 15 November, 2013;
originally announced November 2013.
-
Optical Flow Sensing and the Inverse Perception Problem for Flying Bats
Authors:
Zhaodan Kong,
Kayhan Özcimder,
Nathan Fuller,
Alison Greco,
Diane Theriault,
Zheng Wu,
Thomas Kunz,
Margrit Betke,
John Baillieul
Abstract:
The movements of birds, bats, and other flying species are governed by complex sensorimotor systems that allow the animals to react to stationary environmental features as well as to wind disturbances, other animals in nearby airspace, and a wide variety of unexpected challenges. The paper and talk will describe research that analyzes the three-dimensional trajectories of bats flying in a habitat…
▽ More
The movements of birds, bats, and other flying species are governed by complex sensorimotor systems that allow the animals to react to stationary environmental features as well as to wind disturbances, other animals in nearby airspace, and a wide variety of unexpected challenges. The paper and talk will describe research that analyzes the three-dimensional trajectories of bats flying in a habitat in Texas. The trajectories are computed with stereoscopic methods using data from synchronous thermal videos that were recorded with high temporal and spatial resolution from three viewpoints. Following our previously reported work, we examine the possibility that bat trajectories in this habitat are governed by optical flow sensing that interpolates periodic distance measurements from echolocation. Using an idealized geometry of bat eyes, we introduce the concept of time-to-transit, and recall some research that suggests that this quantity is computed by the animals' visual cortex. Several steering control laws based on time-to-transit are proposed for an idealized flight model, and it is shown that these can be used to replicate the observed flight of what we identify as typical bats. Although the vision-based motion control laws we propose and the protocols for switching between them are quite simple, some of the trajectories that have been synthesized are qualitatively bat-like. Examination of the control protocols that generate these trajectories suggests that bat motions are governed both by their reactions to a subset of key feature points as well by their memories of where these feature points are located.
△ Less
Submitted 12 March, 2013;
originally announced March 2013.
-
A Two Level Feedback System Design to Regulation Service Provision
Authors:
Bowen Zhang,
John Baillieul
Abstract:
Demand side management has gained increasing importance as the penetration of renewable energy grows. Based on a Markov jump process modelling of a group of thermostatic loads, this paper proposes a two level feedback system design between the independent system operator (ISO) and the regulation service provider such that two objectives are achieved: (1) the ISO can optimally dispatch regulation s…
▽ More
Demand side management has gained increasing importance as the penetration of renewable energy grows. Based on a Markov jump process modelling of a group of thermostatic loads, this paper proposes a two level feedback system design between the independent system operator (ISO) and the regulation service provider such that two objectives are achieved: (1) the ISO can optimally dispatch regulation signals to multiple providers in real time in order to reduce the requirement for expensive spinning reserves, and (2) each regulation provider can control its thermostatic loads to respond the ISO signal. It is also shown that the amount of regulation service that can be provided is implicitly restricted by a few fundamental parameters of the provider itself, such as the allowable set point choice and its thermal constant. An interesting finding is that the regulation provider's ability to provide a large amount of long term accumulated regulation and short term signal tracking restrict each other. Simulation results are presented to verify and illustrate the performance of the proposed framework.
△ Less
Submitted 27 January, 2013;
originally announced January 2013.
-
A Packetized Direct Load Control Mechanism for Demand Side Management
Authors:
Bowen Zhang,
John Baillieul
Abstract:
Electricity peaks can be harmful to grid stability and result in additional generation costs to balance supply with demand. By developing a network of smart appliances together with a quasi-decentralized control protocol, direct load control (DLC) provides an opportunity to reduce peak consumption by directly controlling the on/off switch of the networked appliances. This paper proposes a packetiz…
▽ More
Electricity peaks can be harmful to grid stability and result in additional generation costs to balance supply with demand. By developing a network of smart appliances together with a quasi-decentralized control protocol, direct load control (DLC) provides an opportunity to reduce peak consumption by directly controlling the on/off switch of the networked appliances. This paper proposes a packetized DLC (PDLC) solution that is illustrated by an application to air conditioning temperature control. Here the term packetized refers to a fixed time energy usage authorization. The consumers in each room choose their preferred set point, and then an operator of the local appliance pool will determine the comfort band around the set point. We use a thermal dynamic model to investigate the duty cycle of thermostatic appliances. Three theorems are proposed in this paper. The first two theorems evaluate the performance of the PDLC in both transient and steady state operation. The first theorem proves that the average room temperature would converge to the average room set point with fixed number of packets applied in each discrete interval. The second theorem proves that the PDLC solution guarantees to control the temperature of all the rooms within their individual comfort bands. The third theorem proposes an allocation method to link the results in theorem 1 and assumptions in theorem 2 such that the overall PDLC solution works. The direct result of the theorems is that we can reduce the consumption oscillation that occurs when no control is applied. Simulation is provided to verify theoretical results.
△ Less
Submitted 23 January, 2013;
originally announced January 2013.
-
Animal-Inspired Agile Flight Using Optical Flow Sensing
Authors:
Kenneth Sebesta,
John Baillieul
Abstract:
There is evidence that flying animals such as pigeons, goshawks, and bats use optical flow sensing to enable high-speed flight through forest clutter. This paper discusses the elements of a theory of controlled flight through obstacle fields in which motion control laws are based on optical flow sensing. Performance comparison is made with feedback laws that use distance and bearing measurements,…
▽ More
There is evidence that flying animals such as pigeons, goshawks, and bats use optical flow sensing to enable high-speed flight through forest clutter. This paper discusses the elements of a theory of controlled flight through obstacle fields in which motion control laws are based on optical flow sensing. Performance comparison is made with feedback laws that use distance and bearing measurements, and practical challenges of implementation on an actual robotic air vehicle are described. The related question of fundamental performance limits due to clutter density is addressed.
△ Less
Submitted 13 March, 2012;
originally announced March 2012.
-
Control Communication Complexity of Distributed Actions
Authors:
Wing Shing Wong,
John Baillieul
Abstract:
Recent papers have treated {\em control communication complexity} in the context of information-based, multiple agent control systems including nonlinear systems of the type that have been studied in connection with quantum information processing. The present paper continues this line of investigation into a class of two-agent distributed control systems in which the agents cooperate in order to r…
▽ More
Recent papers have treated {\em control communication complexity} in the context of information-based, multiple agent control systems including nonlinear systems of the type that have been studied in connection with quantum information processing. The present paper continues this line of investigation into a class of two-agent distributed control systems in which the agents cooperate in order to realize common goals that are determined via independent actions undertaken individually by the agents. A basic assumption is that the actions taken are unknown in advance to the other agent. These goals can be conveniently summarized in the form of a {\em target matrix}, whose entries are computed by the control system responding to the choices of inputs made by the two agents. We show how to realize such target matrices for a broad class of systems that possess an input-output mapping that is bilinear. One can classify control-communication strategies, known as {\em control protocols}, according to the amount of information sharing occurring between the two agents. Protocols that assume no information sharing on the inputs that each agent selects and protocols that allow sufficient information sharing for identifying the common goals are the two extreme cases. Control protocols will also be evaluated and compared in terms of cost functionals given by integrated quadratic functions of the control inputs. The minimal control cost of the two classes of control protocols are analyzed and compared. The difference in the control costs between the two classes reflects an inherent trade-off between communication complexity and control cost.
△ Less
Submitted 1 February, 2012; v1 submitted 31 January, 2012;
originally announced January 2012.
-
The Control Theory of Motion-Based Communication: Problems in Teaching Robots to Dance
Authors:
J. Baillieul,
K. Özcimder
Abstract:
The paper describes results on two components of a research program focused on motion-based communication mediated by the dynamics of a control system. Specifically we are interested in how mobile agents engaged in a shared activity such as dance can use motion as a medium for transmitting certain types of messages. The first part of the paper adopts the terminology of motion description languages…
▽ More
The paper describes results on two components of a research program focused on motion-based communication mediated by the dynamics of a control system. Specifically we are interested in how mobile agents engaged in a shared activity such as dance can use motion as a medium for transmitting certain types of messages. The first part of the paper adopts the terminology of motion description languages and deconstructs an elementary form of the well-known popular dance, Salsa, in terms of four motion primitives (dance steps). Several notions of dance complexity are introduced. We describe an experiment in which ten performances by an actual pair of dancers are evaluated by judges and then compared in terms of proposed complexity metrics. An energy metric is also defined. Values of this metric are obtained by summing the lengths of motion segments executed by wheeled robots replicating the movements of the human dancers in each of the ten dance performances. Of all the metrics that are considered in this experiment, energy is the most closely correlated with the human judges' assessments of performance quality.
The second part of the paper poses a general class of dual objective motion control problems in which a primary objective (artistic execution of a dance step or efficient movement toward a specified terminal state) is combined with a communication objective. Solutions of varying degrees of explicitness can be given in several classes of problems of communicating through the dynamics of finite dimensional linear control systems. In this setting it is shown that the cost of adding a communication component to motions that steer a system between prescribed pairs of states is independent of those states. At the same time, the optimal encoding problem itself is shown to be a problem of packing geometric objects, and it remains open.
△ Less
Submitted 27 September, 2011;
originally announced September 2011.
-
Decision Making for Rapid Information Acquisition in the Reconnaissance of Random Fields
Authors:
Dimitar Baronov,
John Baillieul
Abstract:
Research into several aspects of robot-enabled reconnaissance of random fields is reported. The work has two major components: the underlying theory of information acquisition in the exploration of unknown fields and the results of experiments on how humans use sensor-equipped robots to perform a simulated reconnaissance exercise.
The theoretical framework reported herein extends work on robotic…
▽ More
Research into several aspects of robot-enabled reconnaissance of random fields is reported. The work has two major components: the underlying theory of information acquisition in the exploration of unknown fields and the results of experiments on how humans use sensor-equipped robots to perform a simulated reconnaissance exercise.
The theoretical framework reported herein extends work on robotic exploration that has been reported by ourselves and others. Several new figures of merit for evaluating exploration strategies are proposed and compared. Using concepts from differential topology and information theory, we develop the theoretical foundation of search strategies aimed at rapid discovery of topological features (locations of critical points and critical level sets) of a priori unknown differentiable random fields. The theory enables study of efficient reconnaissance strategies in which the tradeoff between speed and accuracy can be understood. The proposed approach to rapid discovery of topological features has led in a natural way to to the creation of parsimonious reconnaissance routines that do not rely on any prior knowledge of the environment. The design of topology-guided search protocols uses a mathematical framework that quantifies the relationship between what is discovered and what remains to be discovered. The quantification rests on an information theory inspired model whose properties allow us to treat search as a problem in optimal information acquisition. A central theme in this approach is that "conservative" and "aggressive" search strategies can be precisely defined, and search decisions regarding "exploration" vs. "exploitation" choices are informed by the rate at which the information metric is changing.
△ Less
Submitted 26 July, 2011;
originally announced July 2011.
