✦ LIBER ✦

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 4416 || Qualitative Analysis of Nonlinear Biochemical Networks with Piecewise-Affine Functions

✍ Scribed by Bemporad, Alberto; Bicchi, Antonio; Buttazzo, Giorgio

Book ID: 120621994
Publisher: Springer Berlin Heidelberg
Year: 2007
Weight: 325 KB
Category: Article
ISBN: 3540714936
DOI: 10.1007/978-3-540-71493-4_71

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Hybr

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 4416 || Model Checking Genetic Regulatory Networks with Parameter Uncertainty

✍ Bemporad, Alberto; Bicchi, Antonio; Buttazzo, Giorgio 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg ⚖ 654 KB

[Lecture Notes in Computer Science] Hybr

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 3927 || Reachability Analysis of Multi-affine Systems

✍ Hespanha, João P.; Tiwari, Ashish 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 698 KB

[Lecture Notes in Computer Science] Hybr

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2034 || Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model

✍ Di Benedetto, Maria Domenica; Sangiovanni-Vincentelli, Alberto 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 626 KB

[Lecture Notes in Computer Science] Hybr

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2034 || Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model

✍ Di Benedetto, Maria Domenica; Sangiovanni-Vincentelli, Alberto 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 626 KB

This volume contains the proceedings of the Fourth Workshop on Hybrid - stems: Computation and Control (HSCC 2001) held in Rome, Italy on March 28-30, 2001. The Workshop on Hybrid Systems attracts researchers from in- stry and academia interested in modeling, analysis, synthesis, and implemen- tion

[Lecture Notes in Computer Science] Hybr

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2993 || Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks

✍ Alur, Rajeev; Pappas, George J. 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 169 KB

This Volume Contains The Proceedings Of The 7th Workshop On Hybrid Systems: Computation And Control (hscc 2004) Held In Philadelphia, Usa, From March 25 To 27, 2004. The Annual Workshop On Hybrid Systems Attracts Researchers From Academia And Industry Interested In Modeling, Analysis, And Implemen-

[Lecture Notes in Computer Science] Hybr

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2289 || Qualitative Modeling and Heterogeneous Control of Global System Behavior

✍ Tomlin, Claire J.; Greenstreet, Mark R. 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 243 KB

This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, HSCC 2002, held in Stanford, California, USA, in March 2002. The 33 revised full papers presented were carefully reviewed and selected from 73 submissions. All current issues