Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology-Reference-Cited by-同舟云学术

Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology

Published:2009 Issue: Volume: Page:155-169
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Donzé Alexandre,Clermont Gilles,Legay Axel,Langmead Christopher J.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-02008-7_11

Reference28 articles.

1. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science 138(1), 3–34 (1995)

2. Alur, R., Henzinger, T., Lafferriere, G., Pappas, G.: Discrete abstractions of hybrid systems, vol. 88(7), pp. 971–984. IEEE, Los Alamitos (2000)

3. An, G.: Agent based computer simulation and sirs: building a gap between basic science and clinical trials. Shock 16, 266–273 (2001)

4. Lecture Notes in Computer Science;A. Annichini,2000

5. Asarin, E., Dang, T., Girard, A.: Hybridization methods for verification of non-linear systems. In: ECC-CDC 2005 joint conference: Conference on Decision and Control CDC and European Control Conference ECC (2005)

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. MoonLight: a lightweight tool for monitoring spatio-temporal properties;International Journal on Software Tools for Technology Transfer;2023-06-22

2. Monitoring Spatio-Temporal Properties (Invited Tutorial);Runtime Verification;2020

3. Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications;Lectures on Runtime Verification;2018

4. Formal Methods for Discrete-Time Dynamical Systems;Studies in Systems, Decision and Control;2017

5. Robustness Analysis for Value-Freezing Signal Temporal Logic;Electronic Proceedings in Theoretical Computer Science;2013-08-27