MARCO: A reachability algorithm for multi-affine systems with applications to biological systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4416 LNCS, Issue , 2007, Pages 76-89

  Berman, Spring ^a   Halász, Ádám ^a   Kumar, Vijay ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; BIOLOGICAL SYSTEMS; MATHEMATICAL MODELS;

CONICAL OVERAPPROXIMATIONS; HYBRID SYSTEMS; LACTOSE INDUCTION SYSTEM; MULTI-AFFINE SYSTEMS; QUORUM SENSING; RECTANGLE VERTICES;

ALGORITHMS;

EID: 38049139484     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71493-4_9     Document Type: Conference Paper

References (16)

1. Belta, C., Habets, L., Kumar, V.: Control of multi-affine systems on rectangles with applications to hybrid biomolecular networks. In: 41st IEEE Conference on Decision and Control, Las Vegas, NV (2002)
2. Kloetzer, M., Belta, C: Reachability analysis of multi-affine systems. In Hespanha, J.P., Tiwari, A., eds.: Proc. 9th Int'l Workshop on Hybrid Systems: Computation and Control (HSCC). Volume 3927 of LNCS. (2006) 348-362
3. Halasz, A.M., Kumar, V., Imielinski, M., Belta, C., Sokolsky, O., Pathak, S., Rubin, H.: Analysis of lactose metabolism in E.coli using reachability analysis of hybrid systems. (Accepted to IET Systems Biology 2006; available at http://www.seas.upenn.edu/~spring)
4. Franks, N., Pratt, S., Mallon, E., Britton, N., Sumpter, D.: Information flow, opinion polling and collective intelligence in house-hunting social insects. Phil Trans Roy Soc London B (357) (2002) 1567-1584
5. Santillan, M., Mackey, M.C.: Influence of catabolite repression and inducer exclusion on the bistable behavior of the lac operon. Biophys. J. 86 (2004) 1282-1292
6. Sastry, S.: Nonlinear systems: analysis, stability, and control. Springer-Verlag, New York (1999)
7. Ptashne, M., Gann, A.: Genes and Signals. Cold Spring Harbor Laboratory Press, New York (2002)
8. Berman, S., Halasz, A., Kumar, V., Pratt, S.: Algorithms for the analysis and synthesis of a bio-inspired swarm robotic system. In: Swarm Robotics SAB 2006 International Workshop, Rome, Italy (2006) to appear in LNCS.
9. Dang, T., Maler, O.: Reachability analysis via face lifting. In Henzinger, T., Sastry, S., eds.: Hybrid Systems : Computation and Control. Volume 1386 of Lecture Notes in Computer Science. Springer Verlag, Berlin (1998) 96-109
10. Henzinger, T., Ho, P., Wong-Toi, H.: HyTech: A model checker for hybrid systems. Software Tools for Technology Transfer 1(1) (1998) 110-122
11. Silva, B., Richeson, K., Krogh, B., Chutinan, A.: Modeling and verifying hybrid dynamic systems using CheckMate. In: Proc. 4th Conference on Automation of Mixed Processes. (2000) 323-328
12. Lafferriere, G., Pappas, G., Yovine, S.: A new class of decidable hybrid systems. In: Hybrid Systems: Computation and Control (HSCC). Volume 1569 of LNCS. (1999) 137-151
13. Habets, L., van Schuppen, J.: A control problem for affine dynamical systems on a full-dimensional polytope. Automatica 40 (2004) 21-35
14. Frehse, G.: PHAVer: Algorithmic verification of hybrid systems past HyTech. In Morari, M., Thiele, L., eds.: Proc. 5th Int'l Workshop on Hybrid Systems: Computation and Control (HSCC). Volume 3414 of LNCS. (2005) 258-273
15. Girard, A., Pappas, G.: Approximate bisimulations for nonlinear dynamical systems. In: Proc. 44th IEEE Conf. on Decision and Control, Seville, Spain (2005)
16. van der Schaft, A.J., Schumacher, J.M.: An introduction to hybrid dynamical systems. Springer-Verlag, Berlin (2000)