Abstraction of Monotone Systems Based on Feedback Controllers
Sign Up to like & getrecommendations! Published in 2020 at "IFAC-PapersOnLine"
DOI: 10.1016/j.ifacol.2020.12.2342
Abstract: Abstract In this paper, we consider the problem of computation of efficient symbolic abstractions for a certain subclass of continuous-time monotone control systems. The new abstraction algorithm utilizes the properties of such systems to build… read more here.
Keywords: control; systems based; abstraction monotone; monotone systems ... See more keywords
The circuit-breaking algorithm for monotone systems.
Sign Up to like & getrecommendations! Published in 2017 at "Mathematical biosciences"
DOI: 10.1016/j.mbs.2016.09.002
Abstract: In earlier work, we have introduced the circuit-breaking algorithm (CBA) for the analysis of intracellular regulation networks. This algorithm uses the network topology to construct a one-dimensional circuit-characteristic whose zeros correspond to the fixed points… read more here.
Keywords: monotone; breaking algorithm; circuit; monotone systems ... See more keywords
Formal Synthesis of Control Strategies for Positive Monotone Systems
Sign Up to like & getrecommendations! Published in 2019 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2018.2814631
Abstract: We design controllers from formal specifications for positive discrete-time monotone systems that are subject to bounded disturbances. Such systems are widely used to model the dynamics of transportation and biological networks. The specifications are described… read more here.
Keywords: control; control strategies; synthesis control; formal synthesis ... See more keywords