Shaping pulses to control bistable systems: analysis, computation and counterexamples

DOI10.1016/J.AUTOMATICA.2015.10.037zbMATH Open1329.93071arXiv1409.6150OpenAlexW2137855502WikidataQ124893611 ScholiaQ124893611MaRDI QIDQ901208FDOQ901208

Authors: Aivar Sootla, David Angeli, Guy-Bart Stan, Diego A. Oyarzún 

Publication date: 23 December 2015

Published in: Automatica (Search for Journal in Brave)

Abstract: In this paper we study how to shape temporal pulses to switch a bistable system between its stable steady states. Our motivation for pulse-based control comes from applications in synthetic biology, where it is generally difficult to implement real-time feedback control systems due to technical limitations in sensors and actuators. We show that for monotone bistable systems, the estimation of the set of all pulses that switch the system reduces to the computation of one non-increasing curve. We provide an efficient algorithm to compute this curve and illustrate the results with a genetic bistable system commonly used in synthetic biology. We also extend these results to models with parametric uncertainty and provide a number of examples and counterexamples that demonstrate the power and limitations of the current theory. In order to show the full potential of the framework, we consider the problem of inducing oscillations in a monotone biochemical system using a combination of temporal pulses and event-based control. Our results provide an insight into the dynamics of bistable systems under external inputs and open up numerous directions for future investigation.

Full work available at URL: https://arxiv.org/abs/1409.6150

Recommendations

• A mathematical framework for the control of piecewise-affine models of gene networks
• Optimal control formulation of pulse-based control using Koopman operator
• Exact control of genetic networks in a qualitative framework: the bistable switch example
• Pulsatile signaling of bistable switches reveal the distinct nature of pulse processing by mutual activation and mutual inhibition loop
• Stability analysis of a reduced model of the lac operon under impulsive and switching control

zbMATH Keywords

monotone systemsopen-loop controlevent-based controlcontrol by pulsesnear-monotone systemstoggle switch

Mathematics Subject Classification ID

Design techniques (robust design, computer-aided design, etc.) (93B51) Linear systems in control theory (93C05) Control/observation systems governed by ordinary differential equations (93C15) Discrete event control/observation systems (93C65) Stability of control systems (93D99)

Cites Work

• 10.1162/15324430152748236
• Title not available (Why is that?)
• Monotone control systems
• Dynamic multidrug therapies for HIV: Optimal and STI control approaches
• A Hybrid Bounding Method for Computing an Over-Approximation for the Reachable Set of Uncertain Nonlinear Systems
• Analysis, design and implementation of a novel scheme for in-vivo control of synthetic gene regulatory networks
• Asymptotic Tracking for Constrained Monotone Systems
• Saddle-point behavior for monotone semiflows and reaction-diffusion models
• Computing reachable sets for uncertain nonlinear monotone systems
• Finding all steady state solutions of chemical kinetic models

Cited In (4)

• Low-dimensional description of pulses under the action of global feedback control
• Control of coexisting attractors via temporal feedback
• Pulsatile signaling of bistable switches reveal the distinct nature of pulse processing by mutual activation and mutual inhibition loop
• Optimal control formulation of pulse-based control using Koopman operator

This page was built for publication: Shaping pulses to control bistable systems: analysis, computation and counterexamples

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q901208)