Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A. Aaron and S. Sastry, Blowing up affine hybrid systems, In IEEE Conference on Decision and Control, 473–478, Dec. 2004.
R. Alur, C. Belta, F. Ivancic, V. Kumar, M. Mintz, G.J. Pappas, H. Rubin, and J. Schug, Hybrid modeling and simulation of biomolecular networks, In M.D. DiBenedetto and A.L. Sangiovanni-Vincentelli, Eds., Hybrid Systems: Computation and Control, LNCS 2034:19–32, Springer-Verlag, 2001.
R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine, The Algorithmic analysis of hybrid systems, Theoretical Computer Science, 138(1):3–34, 1995.
R. Alur, C. Courcoubetis, T.A. Henzinger, and P.H. Ho, Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems, In R.L. Grossman, A. Nerode, A.P. Ravn and H. Richel, Eds., Hybrid Systems, LNCS 736:209–229, Springer-Verlag, 1993.
R. Alur, T. Dang, and F. Ivancic, Progress on reachability analysis of hybrid systems using predicate abstraction, In O. Maler and A. Pnueli, Eds., Hybrid Systems: Computation and Control, LNCS 2623:4–19, Springer-Verlag, 2003.
D. Angeli and E.D. Sontag, Monotone control systems, IEEE Transaction on Automatic Control, 48:1684–1698, 2003.
D. Angeli and E.D. Sontag, An analysis of a circardian model using the smallgain approach to monotone systems (I), In IEEE Conference on Decision and Control, 575–578, Dec. 2004.
N. Barkai and S. Leibler, Circadian clocks limited by noise, Nature, 403:267–268, 2000.
R.W. Brockett, Pulses, periods, and cohomological terms in functional expansions, In System Theory, Springer-Verlag, 1993.
A. Cornish-Bowden, Fundamentals of Enzyme Kinetics (3rd edition), Portland Press, 2004.
R. DeCarlo, M. Branicky, S. Pettersson, and B. Lennartson, Perspectives and results on the stability and stabilizability of hybrid systems, Proceedings of IEEE, Special Issue on Hybrid Systems, 88(7):1069–1082, 2000.
L. Van Den Dries, Tame topology and o-minimal structures, London Mathematical Society Lecture Note, 248, Cambridge University Press, 1998.
R. Ghosh, A. Tiwari, and C. Tomlin, Automated symbolic reachability analysis; with application to delta-notch signaling automata, In O. Maler and A. Pnueli, Eds., Hybrid Systems: Computation and Control (HSCC’03), LNCS 2623:233–248, Springer-Verlag, 2003.
A. Goldbeter, A Model for circadian oscillations in the drosophila period protein (PER), Proc. Royal Soc. London B Biol. Sci., 261:319–324, 1995.
J.P. Keener and J. Sneyd, Mathematical Physiology, Springer-Verlag, 1998.
M. Kourjanski and P. Varaiya, Stability of hybrid systems, In R. Alur, T.A. Henzinger, E.D. Sontag, Eds., Hybrid Systems III: Verification and Control, LNCS 1066:413–423, Springer-Verlag, 1996.
J.P. LaSalle, Stability theory for ordinary differential equations, J. Diff. Equat., 4:57–65, 1968.
J. Lygeros, K.H. Johansson, S.N. Simić, J. Zhang, and S. Sastry, Dynamical properties of hybrid automata, IEEE Transactions on Automatic Control, 48(1):2–14, 2003.
B. Mishra, Computational Differential Algebra, 111–145, World-Scientific, Singapore, 2000.
B. Mishra, A Symbolic approach to modeling cellular behavior, In S. Sahni, V.K. Prasanna and U. Shukla, Eds., High Performance Computing, LNCS 2552:725–732, Springer-Verlag, 2002.
A. Nerode and W. Kohn, Hybrid systems and constraint logic programming, In D.S. Warren, Ed., International Conference on Logic Programming, 18–24, MIT Press, 1993.
A. Tarski, A Decision Method for Elementary Algebra and Geometry, Univ. California Press, 1951.
A. Tiwari and G. Khanna, Series of abstraction for hybrid automata, In C.J. Tomlin and M. Greenstreet, Eds., Hybrid Systems: Computation and Control, LNCS 2289:465–478, Springer-Verlag, 2002.
E.O. Voit, Computational Analysis of Biochemical Systems: A Practical Guide for Biochemists and Molecular Biologists, Cambridge University Press, 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Birkhäuser Boston
About this chapter
Cite this chapter
Piazza, C., Mishra, B. (2005). Stability of Hybrid Systems and Related Questions from Systems Biology. In: Abed, E.H. (eds) Advances in Control, Communication Networks, and Transportation Systems. Systems and Control: Foundations & Applications. Birkhäuser Boston. https://doi.org/10.1007/0-8176-4409-1_3
Download citation
DOI: https://doi.org/10.1007/0-8176-4409-1_3
Publisher Name: Birkhäuser Boston
Print ISBN: 978-0-8176-4385-0
Online ISBN: 978-0-8176-4409-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)