Abstraction-Based Parameter Synthesis for Multiaffine Systems
暂无分享,去创建一个
[1] Calin Belta,et al. Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty , 2008, IEEE Transactions on Automatic Control.
[2] Edmund M. Clarke,et al. Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions , 2014, CMSB.
[3] Calin Belta,et al. Controlling a Class of Nonlinear Systems on Rectangles , 2006, IEEE Transactions on Automatic Control.
[4] C. Belta,et al. Reachability analysis of multi-affine systems , 2010 .
[5] Ezio Bartocci,et al. From Cardiac Cells to Genetic Regulatory Networks , 2011, CAV.
[6] Oded Maler,et al. Sensitive state-space exploration , 2008, 2008 47th IEEE Conference on Decision and Control.
[7] Edmund M. Clarke,et al. Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions , 2014, ArXiv.
[8] Ezio Bartocci,et al. Modeling and simulation of cardiac tissue using hybrid I/O automata , 2009, Theor. Comput. Sci..
[9] Chris J. Myers,et al. Engineering Genetic Circuits , 2009 .
[10] Jan H. van Schuppen,et al. Reachability and control synthesis for piecewise-affine hybrid systems on simplices , 2006, IEEE Transactions on Automatic Control.
[11] F. Fenton,et al. Visualization of spiral and scroll waves in simulated and experimental cardiac tissue , 2008 .
[12] W. Marsden. I and J , 2012 .
[13] Antoine Girard,et al. SpaceEx: Scalable Verification of Hybrid Systems , 2011, CAV.
[14] Edmund M. Clarke,et al. δ-Complete Decision Procedures for Satisfiability over the Reals , 2012, IJCAR.
[15] Calin Belta,et al. Robustness analysis and tuning of synthetic gene networks , 2007, Bioinform..
[16] Thao Dang,et al. Parameter synthesis for polynomial biological models , 2014, HSCC.
[17] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[18] Roberto Bagnara,et al. The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems , 2006, Sci. Comput. Program..
[19] Ezio Bartocci,et al. A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits , 2013, CMSB.