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

DOI10.1016/J.AUTOMATICA.2015.10.037MaRDI QIDQ901208zbMATH OpenOpenAlexWikidataFDO

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)

Full work available at URL https://arxiv.org/abs/1409.6150, http://hdl.handle.net/10044/1/27308

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)

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.

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

Cites work

• scientific article; zbMATH DE number 4017400 (Why is no real title available?)
• 10.1162/15324430152748236
• 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
• Computing reachable sets for uncertain nonlinear monotone systems
• Dynamic multidrug therapies for HIV: Optimal and STI control approaches
• Finding all steady state solutions of chemical kinetic models
• Monotone control systems
• Saddle-point behavior for monotone semiflows and reaction-diffusion 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)