Discrete Semantics for Hybrid Automata
暂无分享,去创建一个
[1] Antoine Girard,et al. Approximate Simulation Relations for Hybrid Systems , 2008, Discret. Event Dyn. Syst..
[2] P. Kopke. The Theory of Rectangular Hybrid Automata , 1996 .
[3] Martin Fränzle,et al. Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States , 1999, CSL.
[4] A. Casagrande,et al. Discreteness, hybrid automata, and biology , 2008, 2008 9th International Workshop on Discrete Event Systems.
[5] Jack Schwartz. The Pernicious Influence of Mathematics on Science , 1992 .
[6] Gong-Xin Yu,et al. Ruleminer: a Knowledge System for Supporting High-throughput Protein Function Annotations , 2004, J. Bioinform. Comput. Biol..
[7] Claudine Chaouiya,et al. Petri net modelling of biological networks , 2007, Briefings Bioinform..
[8] Robert L. Grossman,et al. Timed Automata , 1999, CAV.
[9] Corrado Priami,et al. Beta Binders for Biological Interactions , 2004, CMSB.
[10] E Mjolsness,et al. A gene network approach to modeling early neurogenesis in Drosophila. , 1998, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.
[11] C. A. Petri. Fundamentals of a Theory of Asynchronous Information Flow , 1962, IFIP Congress.
[12] Claire J. Tomlin,et al. Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model , 2001, HSCC.
[13] A. Tarski. A Decision Method for Elementary Algebra and Geometry , 2023 .
[14] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[15] Marie-Françoise Roy,et al. On the combinatorial and algebraic complexity of quantifier elimination , 1996, JACM.
[16] Antoine Girard,et al. Approximate bisimulation relations for constrained linear systems , 2007, Autom..
[17] George J. Pappas,et al. Hierarchical control system design using approximate simulation , 2001 .
[18] S. Kauffman. Metabolic stability and epigenesis in randomly constructed genetic nets. , 1969, Journal of theoretical biology.
[19] D. Grigor'ev. Complexity of deciding Tarski algebra , 1988 .
[20] George E. Collins,et al. Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition , 1975, Automata Theory and Formal Languages.
[21] George J. Pappas,et al. From discrete to continuous and back: Abstractions and mesoscopic phenomena in cells , 2008, 2008 9th International Workshop on Discrete Event Systems.
[22] J. Lewis,et al. Delta-Notch signalling and the patterning of sensory cell differentiation in the zebrafish ear: evidence from the mind bomb mutant. , 1998, Development.
[23] Herbert B. Enderton,et al. A mathematical introduction to logic , 1972 .
[24] P. Maini,et al. Pattern formation by lateral inhibition with feedback: a mathematical model of delta-notch intercellular signalling. , 1996, Journal of theoretical biology.
[25] M. Egerstedt,et al. On the regularization of Zeno hybrid automata , 1999 .
[26] Frank Stephan,et al. Behavioural Approximations for Restricted Linear Differential Hybrid Automata , 2006, HSCC.
[27] Amir Pnueli,et al. Orthogonal Polyhedra: Representation and Computation , 1999, HSCC.
[28] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.
[29] Pravin Varaiya,et al. What's decidable about hybrid automata? , 1995, STOC '95.
[30] Corrado Priami,et al. Stochastic pi-Calculus , 1995, Comput. J..
[31] Saugata Basu,et al. An improved algorithm for quantifier elimination over real closed fields , 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.
[32] Pravin Varaiya,et al. Decidability of Hybrid Systems with Rectangular Differential Inclusion , 1994, CAV.
[33] Elliott Mendelson,et al. Introduction to Mathematical Logic , 1979 .
[34] A. Casagrande,et al. Semi-Algebraic Constant Reset Hybrid Automata - SACoRe , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.
[35] Grzegorz Rozenberg,et al. Real-Time: Theory in Practice , 1991, Lecture Notes in Computer Science.
[36] D. Gillespie. Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .
[37] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[38] James Renegar,et al. On the Computational Complexity and Geometry of the First-Order Theory of the Reals, Part I: Introduction. Preliminaries. The Geometry of Semi-Algebraic Sets. The Decision Problem for the Existential Theory of the Reals , 1992, J. Symb. Comput..
[39] James Renegar,et al. On the Computational Complexity and Geometry of the First-Order Theory of the Reals, Part III: Quantifier Elimination , 1992, J. Symb. Comput..
[40] Zohar Manna,et al. From Timed to Hybrid Systems , 1991, REX Workshop.
[41] Ashish Tiwari,et al. Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata , 2003, HSCC.
[42] William H. Sanders,et al. Dynamic partitioning for hybrid simulation of the bistable HIV-1 transactivation network , 2006, Bioinform..
[43] Carla Piazza,et al. Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology , 2005, ATVA.
[44] Thomas A. Henzinger,et al. Executable Biology , 2006, Proceedings of the 2006 Winter Simulation Conference.
[45] Alberto Policriti,et al. Hybrid Systems and Biology , 2008, SFM.
[46] Fariza Tahi,et al. Modeling and Simulation with Hybrid Functional Petri Nets of the Role of Interleukin-6 in Human Early Haematopoiesis , 2006, Pacific Symposium on Biocomputing.
[47] T. Henzinger,et al. Executable cell biology , 2007, Nature Biotechnology.
[48] Alberto Policriti,et al. Hybrid systems and biology: continuous and discrete modeling for systems biology , 2008, FM'08 2008.
[49] E Mjolsness,et al. Delta-Notch lateral inhibitory patterning in the emergence of ciliated cells in Xenopus: experimental observations and a gene network model. , 2000, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.
[50] Eugene Asarin,et al. The d/dt Tool for Verification of Hybrid Systems , 2002, CAV.
[51] Bastien Chopard,et al. A cellular automaton model for neurogenesis in Drosophila , 1998 .
[52] Denis Thieffry,et al. Petri net modelling of biological regulatory networks , 2008, J. Discrete Algorithms.
[53] Angus Macintyre,et al. On the decidability of the real exponential field , 1996 .
[54] Thomas A. Henzinger,et al. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.
[55] Carla Piazza,et al. Algorithmic Algebraic Model Checking I: Challenges from Systems Biology , 2005, CAV.
[56] S. Shankar Sastry,et al. O-Minimal Hybrid Systems , 2000, Math. Control. Signals Syst..
[57] Pierre N. Robillard,et al. Modeling and Simulation of Molecular Biology Systems Using Petri Nets: Modeling Goals of Various Approaches , 2004, J. Bioinform. Comput. Biol..