Proceedings of the ... IEEE Conference on Decision & Control. IEEE Conference on Decision & Control最新文献

Gene circuits within the same host cell often experience coupling, stemming from the competition for limited resources during transcriptional and translational processes. This resource competition introduces an additional layer of noise to gene expression. Here we present three multi-module antithetic control strategies: negatively competitive regulation (NCR) controller, alongside local and global controllers, aimed at reducing the gene expression noise within the context of resource competition. Through stochastic simulations and fluctuation-dissipation theorem (FDT) analysis, our findings highlight the superior performance of the NCR antithetic controller in reducing noise levels. Our research provides an effective control strategy for attenuating resource-driven noise and offers insight into the development of robust gene circuits.

Control of gene regulation requires quantitatively accurate predictions of heterogeneous cellular responses. When inferred from single-cell experiments, discrete stochastic models can enable such predictions, but such experiments are highly adjustable, allowing for almost infinitely many potential designs (e.g., at different induction levels, for different measurement times, or considering different observed biological species). Not all experiments are equally informative, experiments are time-consuming or expensive to perform, and research begins with limited prior information with which to construct models. To address these concerns, we developed a sequential experiment design strategy that starts with simple preliminary experiments and then integrates chemical master equations to compute the likelihood of single-cell data, a Bayesian inference procedure to sample posterior parameter distributions, and a finite state projection based Fisher information matrix to estimate the expected information for different designs for subsequent experiments. Using simulated then real single-cell data, we determined practical working principles to reduce the overall number of experiments needed to achieve predictive, quantitative understanding of single-cell responses.

We present a novel 3D adaptive observer framework for use in the determination of subsurface organic tissue temperatures in electrosurgery. The observer structure leverages pointwise 2D surface temperature readings obtained from a real-time infrared thermographer for both parameter estimation and temperature field observation. We introduce a novel approach to decoupled parameter adaptation and estimation, wherein the parameter estimation can run in real-time, while the observer loop runs on a slower time scale. To achieve this, we introduce a novel parameter estimation method known as attention-based noise-robust averaging, in which surface thermography time series are used to directly estimate the tissue's diffusivity. Our observer contains a real-time parameter adaptation component based on this diffusivity adaptation law, as well as a Luenberger-type corrector based on the sensed surface temperature. In this work, we also present a novel model structure adapted to the setting of robotic surgery, wherein we model the electrosurgical heat distribution as a compactly supported magnitude- and velocity-controlled heat source involving a new nonlinear input mapping. We demonstrate satisfactory performance of the adaptive observer in simulation, using real-life experimental ex vivo porcine tissue data.

Illuminating the mechanisms that the brain uses to manage and coordinate its resources is a core question in neuroscience. In particular, circuits and networks in the brain are able to encode, store and recall large amounts of information, in the service of a wide range of functionality. How do the various dynamical mechanisms within these networks allow for such coordination? We consider the specific problem of how the dynamics of networks can enact a representation of input stimuli that is retained over time, i.e., a form of short-term memory. We utilize modeling and control-theoretic methods to approach these questions, treating the state trajectory of a dynamical system as an abstract memory trace of prior inputs. The inputs impinge on the network via a variable gain, which is to be synthesized by optimization. In order to perpetuate these memory traces of stimuli, we propose that this gain is adapted to optimize: i) the error between a ground truth representation of stimuli and the encoding of them; as well as ii) overwriting of prior information. Optimizing over these central tenets of memory, we obtain a 'policy' for adapting the input gain that is dependent on the state of the network. This derived policy yields a recurrent neural network between the policy and the neural circuits, affirming existing theories that the prefrontal cortex may hold subnetworks dedicated to working memory while actively engaging with other neural subnetworks.

Hybrid Model Predictive Control (HMPC) is presented as a decision-making tool for novel behavioral interventions to increase physical activity in sedentary adults, such as Just Walk. A broad-based HMPC formulation for mixed logical dynamical (MLD) systems relevant to problems in behavioral medicine is developed and illustrated on a representative participant model arising from the Just Walk study. The MLD model is developed based on the requirement of granting points for meeting daily step goals and categorical input variables. The algorithm features three degrees-of-freedom tuning for setpoint tracking, measured and unmeasured disturbance rejection that facilitates controller robustness; disturbance anticipation further improves performance for upcoming events such as weekends and weather forecasts. To avoid the corresponding mixed-integer quadratic problem (MIQP) from becoming infeasible, slack variables are introduced in the objective function. Simulation results indicate that the proposed HMPC scheme effectively manages hybrid dynamics, setpoint tracking, disturbance rejection, and the transition between the two phases of the intervention (initiation and maintenance) and is suitable for evaluation in clinical trials.

New SARS-CoV-2 variants escaping the effect of vaccines are an eminent threat. The use of antivirals to inhibit the viral replication cycle or immunomodulators to regulate host immune responses can help to tackle the viral infection at the host level. To evaluate the potential use of these therapies, we propose the application of an inverse optimal neural controller to a mathematical model that represents SARS-CoV-2 dynamics in the host. Antiviral effects and immune responses are considered as the control actions. The variability between infected hosts can be large, thus, the host infection dynamics are identified based on a Recurrent High-Order Neural Network (RHONN) trained with the Extended Kalman Filter (EKF). The performance of the control strategies is tested by employing a Monte Carlo analysis. Simulation results present different scenarios where potential antivirals and immunomodulators could reduce the viral load.

One of the applications of Extremum Seeking (ES) is to localize the source of a scalar field by using a mobile agent that can measure this field at its current location. While the scientific literature has presented many approaches to this problem, a formal analysis of the behavior of ES controllers for source seeking in the presence of disturbances is still lacking. This paper aims to fill this gap by analyzing a specific version of an ES control algorithm in the presence of source movement and measurement disturbances. We define an approximate version of this controller that captures the main features but allows for a simplified analysis and then formally characterize the convergence properties of this approximation. Through simulations and physical experiments, we compare the theoretically-predicted regions of attraction of the simplified system with the behavior of the full system and show that the simplified version is a good predictor of the behavior of the initial ES controller.

Estimating the direction of ambient fluid flow is key for many flying or swimming animals and robots, but can only be accomplished through indirect measurements and active control. Recent work with tethered flying insects indicates that their sensory representation of orientation, apparent wind, direction of movement, and control is represented by a 2-dimensional angular encoding in the central brain. This representation simplifies sensory integration by projecting the direction (but not scale) of measurements with different units onto a universal polar coordinate frame. To align these angular measurements with one another and the motor system does, however, require a calibration of angular gain and offset for each sensor. This calibration could change with time due to changes in the environment or physical structure. The circumstances under which small robots and animals with angular sensors and changing calibrations could self-calibrate and estimate the direction of ambient fluid flow while moving remains an open question. Here, a methodical nonlinear observability analysis is presented to address this. The analysis shows that it is mathematically feasible to continuously estimate flow direction and perform self-calibrations by adopting frequent changes in course (or active prevention thereof) and orientation, and requires fusion and temporal differentiation of three sensory measurements: apparent flow, orientation (or its derivative), and direction of motion (or its derivative). These conclusions are consistent with the zigzagging trajectories exhibited by many plume tracking organisms, suggesting that perhaps flow estimation is a secondary driver of their trajectory structure.

The problem of computing the reachable set for a given system is a quintessential question in nonlinear control theory. Motivated by prior work on safety-critical online planning, this paper considers an environment where the only available information about system dynamics is that of dynamics at a single point. Limited to such knowledge, we study the problem of describing the set of all states that are guaranteed to be reachable regardless of the unknown true dynamics. We show that such a set can be underapproximated by a reachable set of a related known system whose dynamics at every state depend on the velocity vectors that are available in all control systems consistent with the assumed knowledge. Complementing the theory, we discuss a simple model of an aircraft in distress to verify that such an underapproximation is meaningful in practice.

Motion planning in an unknown environment demands synthesis of an optimal control policy that balances between exploration and exploitation. In this paper, we present the environment as a labeled graph where the labels of states are initially unknown, and consider a motion planning objective to fulfill a generalized reach-avoid specification given on these labels in minimum time. By describing the record of visited labels as an automaton, we translate our problem to a Canadian traveler problem on an adapted state space. We propose a strategy that enables the agent to perform its task by exploiting possible a priori knowledge about the labels and the environment and incrementally revealing the environment online. Namely, the agent plans, follows, and replans the optimal path by assigning edge weights that balance between exploration and exploitation, given the current knowledge of the environment. We illustrate our strategy on the setting of an agent operating on a two-dimensional grid environment.