𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Functional stability of autonomous asynchronous logical networks

✍ Scribed by A. V. Marchuk

Publisher
Springer US
Year
1980
Tongue
English
Weight
159 KB
Volume
15
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Application of formal methods to biologi
Application of formal methods to biological regulatory networks: extending Thomas’ asynchronous logical approach with temporal logic
✍ Gilles Bernot; Jean-Paul Comet; Adrien Richard; Janine Guespin πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 310 KB

Based on the discrete definition of biological regulatory networks developed by ReneΒ΄Thomas, we provide a computer science formal approach to treat temporal properties of biological regulatory networks, expressed in computational tree logic. It is then possible to build all the models satisfying a s

Preservation of exponential stability fo
Preservation of exponential stability for linear non-autonomous functional differential systems
✍ Leonid Berezansky; Elena Braverman πŸ“‚ Article πŸ“… 2010 πŸ› Elsevier Science 🌐 English βš– 299 KB

We consider preservation of exponential stability for a system of linear equations with a distributed delay under the addition of new terms and a delay perturbation. As particular cases, the system includes models with concentrated delays and systems of integrodifferential equations. Our method is b