Probabilistic reachability for stochastic hybrid systems: theory, computations, and applications
暂无分享,去创建一个
[1] Alexander B. Kurzhanski,et al. REACHABILITY ANALYSIS UNDER CONTROL-DEPENDENT STOCHASTIC NOISE , 2005 .
[2] R. Rosen. Optimality Principles in Biology , 1967, Springer US.
[3] Feng Lin,et al. Analysis of Zeno behaviors in hybrid systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..
[4] HAROLD J. KUSHNER,et al. Numerical Approximations for Stochastic Differential Games , 2002, SIAM J. Control. Optim..
[5] J. Lygeros,et al. General stochastic hybrid systems: modelling and optimal control , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).
[6] Karl Henrik Johansson,et al. A hybrid systems framework for cellular processes. , 2005, Bio Systems.
[7] D. Bertsekas. Convergence of discretization procedures in dynamic programming , 1975 .
[8] Paulo Tabuada,et al. Compositional Abstractions of Hybrid Control Systems , 2004, Discret. Event Dyn. Syst..
[9] C. Rao,et al. Control, exploitation and tolerance of intracellular noise , 2002, Nature.
[10] John Lygeros,et al. Stochastic Hybrid Models: An Overview , 2003, ADHS.
[11] K. Entian,et al. Expression and Functional Analysis of the Subtilin Immunity Genes spaIFEG in the Subtilin-Sensitive Host Bacillus subtilis MO1099 , 2005, Journal of bacteriology.
[12] K. Entian,et al. The spa‐box for transcriptional activation of subtilin biosynthesis and immunity in Bacillus subtilis , 2003, Molecular microbiology.
[13] Steven I. Marcus,et al. Modeling and analysis of stochastic differential equations driven by point processes , 1978, IEEE Trans. Inf. Theory.
[14] Michael S. Branicky,et al. Studies in hybrid systems: modeling, analysis, and control , 1996 .
[15] A. Arkin,et al. Stochastic mechanisms in gene expression. , 1997, Proceedings of the National Academy of Sciences of the United States of America.
[16] Ashish Tiwari,et al. Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks , 2004, HSCC.
[17] John Lygeros,et al. Lecture Notes on Hybrid Systems , 2004 .
[18] A. Shiryaev,et al. Limit Theorems for Stochastic Processes , 1987 .
[19] A. Arkin,et al. Simulation of prokaryotic genetic circuits. , 1998, Annual review of biophysics and biomolecular structure.
[20] S. Weiland,et al. Optimal control of linear, stochastic systems with state and input constraints , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..
[21] G. Ladas,et al. Oscillation Theory of Delay Differential Equations: With Applications , 1992 .
[22] Antoine Girard,et al. Reachability Analysis of Nonlinear Systems Using Conservative Approximation , 2003, HSCC.
[23] G. TEMPLE,et al. Stability and Control , 1953, Nature.
[24] John Lygeros,et al. Stochastic reachability for discrete time systems: an application to aircraft collision avoidance , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).
[25] John N. Tsitsiklis,et al. Neuro-Dynamic Programming , 1996, Encyclopedia of Machine Learning.
[26] L. Shampine,et al. Event location for ordinary differential equations , 2000 .
[27] Steven I. Marcus,et al. Stochastic differential games with multiple modes , 1998 .
[28] M. Morari,et al. Optimal control of piecewise affine systems: A dynamic programming approach , 2005 .
[29] J. Tyson,et al. Modeling the control of DNA replication in fission yeast. , 1997, Proceedings of the National Academy of Sciences of the United States of America.
[30] N. H. Bingham. Financial Modelling With Jump Processes , 2006 .
[31] George J. Pappas,et al. Stochastic safety verification using barrier certificates , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).
[32] Paul Glasserman,et al. Numerical solution of jump-diffusion LIBOR market models , 2003, Finance Stochastics.
[33] John N. Tsitsiklis,et al. On the control of discrete-event dynamical systems , 1987, 26th IEEE Conference on Decision and Control.
[34] S. Shankar Sastry,et al. Aircraft conflict prediction in the presence of a spatially correlated wind field , 2005, IEEE Transactions on Intelligent Transportation Systems.
[35] H. Witsenhausen. A class of hybrid-state continuous-time dynamic systems , 1966 .
[36] Dimitri P. Bertsekas,et al. Stochastic optimal control : the discrete time case , 2007 .
[37] A. Arkin,et al. Motifs, modules and games in bacteria. , 2003, Current opinion in microbiology.
[38] Datta N. Godbole,et al. Addressing Multiobjective Control: Safety and Performance through Constrained Optimization , 2001, HSCC.
[39] D. Bertsekas. Infinite time reachability of state-space regions by using feedback control , 1972 .
[40] Rufus Isaacs,et al. Differential Games , 1965 .
[41] M. Stone. The Generalized Weierstrass Approximation Theorem , 1948 .
[42] Karl Henrik Johansson,et al. Dynamical properties of hybrid automata , 2003, IEEE Trans. Autom. Control..
[43] A. Arkin,et al. Diversity in times of adversity: probabilistic strategies in microbial survival games. , 2005, Journal of theoretical biology.
[44] João Pedro Hespanha,et al. Hybrid Modeling of TCP Congestion Control , 2001, HSCC.
[45] D. Gillespie. Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .
[46] P.V. Zhivoglyadov,et al. On stability in hybrid systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).
[47] T. Msadek. When the going gets tough: survival strategies and environmental signaling networks in Bacillus subtilis. , 1999, Trends in microbiology.
[48] Fernando Paganini,et al. IEEE Transactions on Automatic Control , 2006 .
[49] L. D. Nel. Theorems of Stone-Weierstrass type for non-compact spaces , 1968 .
[50] C. Rao,et al. Control motifs for intracellular regulatory networks. , 2001, Annual review of biomedical engineering.
[51] S. Ehrlich,et al. Essential Bacillus subtilis genes , 2003, Proceedings of the National Academy of Sciences of the United States of America.
[52] Vijay Kumar,et al. Accurate Event Detection for Simulating Hybrid Systems , 2001, HSCC.
[53] John Lygeros,et al. Stabilization of a class of stochastic differential equations with Markovian switching , 2005, Syst. Control. Lett..
[54] P. Varaiya,et al. Differential Games , 1994 .
[55] Pravin Varaiya,et al. On Reachability Under Uncertainty , 2002, SIAM J. Control. Optim..
[56] V. N. Lagunov. Introduction to differential games and control theory , 1985 .
[57] M. K. Ghosh,et al. Ergodic Control of Switching Diffusions , 1997 .
[58] S. Ethier,et al. Markov Processes: Characterization and Convergence , 2005 .
[59] George J. Pappas,et al. Geometric programming relaxations for linear system reachability , 2004, Proceedings of the 2004 American Control Conference.
[60] W. M. Vos,et al. Genetics of subtilin and nisin biosyntheses , 1996, Antonie van Leeuwenhoek.
[61] João Pedro Hespanha,et al. Stochastic Hybrid Systems: Application to Communication Networks , 2004, HSCC.
[62] Maria Prandini,et al. Stochastic Reachability: Theory and Numerical Approximation , 2006 .
[63] John Lygeros,et al. Toward a General Theory of Stochastic Hybrid Systems , 2006 .
[64] Olaf Stursberg,et al. Efficient Representation and Computation of Reachable Sets for Hybrid Systems , 2003, HSCC.
[65] Nancy A. Lynch,et al. Hybrid I/O Automata Revisited , 2001, HSCC.
[66] Alexandre M. Bayen,et al. Computational Techniques for the Verification and Control of Hybrid Systems , 2005 .
[67] Ian M. Mitchell,et al. A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems , 2005, HSCC.
[68] W. Grassman. Approximation and Weak Convergence Methods for Random Processes with Applications to Stochastic Systems Theory (Harold J. Kushner) , 1986 .
[69] S. Shankar Sastry,et al. Sufficient Conditions for the Existence of Zeno Behavior , 2007, Proceedings of the 44th IEEE Conference on Decision and Control.
[70] Marta Z. Kwiatkowska,et al. Stochastic Model Checking , 2007, SFM.
[71] K. Entian,et al. Dual control of subtilin biosynthesis and immunity in Bacillus subtilis , 2002, Molecular microbiology.
[72] Mato Baotic,et al. A new algorithm for constrained finite time optimal control of hybrid systems with a linear performance index , 2003, 2003 European Control Conference (ECC).
[73] A.D. Ames,et al. A priori detection of Zeno behavior in communication networks modeled as hybrid systems , 2006, 2006 American Control Conference.
[74] George J. Pappas,et al. Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.
[75] Ling Shi,et al. A Stability Criterion for Stochastic Hybrid Systems , 2005 .
[76] S. Sastry. Nonlinear Systems: Analysis, Stability, and Control , 1999 .
[77] Mark H. A. Davis. Piecewise‐Deterministic Markov Processes: A General Class of Non‐Diffusion Stochastic Models , 1984 .
[78] John Lygeros,et al. Hierarchical, Hybrid Control of Large Scale Systems , 1996 .
[79] John Lygeros,et al. Synthesizing Controllers for Nonlinear Hybrid Systems , 1998, HSCC.
[80] John Lygeros,et al. A Stochastic Hybrid Model for Air Traffic Control Simulation , 2004, HSCC.
[81] Ádám M. Halász,et al. Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems , 2004, HSCC.
[82] Alexandre M. Bayen,et al. A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games , 2005, IEEE Transactions on Automatic Control.
[84] D. Bertsekas. Control of uncertain systems with a set-membership description of the uncertainty , 1971 .
[85] S. Shankar Sastry,et al. Conflict resolution for air traffic management: a study in multiagent hybrid systems , 1998, IEEE Trans. Autom. Control..
[86] Eckhard Platen,et al. Time Discrete Taylor Approximations for Itǒ Processes with Jump Component , 1988 .
[87] Nancy A. Lynch,et al. Hybrid I/O automata , 1995, Inf. Comput..
[88] M. Branicky. Stability of switched and hybrid systems , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.
[89] Leda Cosmides,et al. The Latest on the Best Essays on Evolution and Optimality---- , 2005 .
[90] Mads Kærn,et al. Noise in eukaryotic gene expression , 2003, Nature.
[91] João Pedro Hespanha. Polynomial Stochastic Hybrid Systems , 2005, HSCC.
[92] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[93] George J. Pappas,et al. SIMULATION RELATIONS FOR DISCRETE-TIME LINEAR SYSTEMS , 2002 .
[94] K. Gopalsamy. Stability and Oscillations in Delay Differential Equations of Population Dynamics , 1992 .
[95] JOHN EVANS,et al. The Royal Society , 1894, Nature.
[96] Pll Siinksen,et al. Control , 1999, Diabetic medicine : a journal of the British Diabetic Association.
[97] Antoine Girard,et al. Reachability of Uncertain Linear Systems Using Zonotopes , 2005, HSCC.
[98] Feng Lin,et al. Analysis of Zeno behaviors in a class of hybrid systems , 2005, IEEE Transactions on Automatic Control.
[99] Martin L. Puterman,et al. Markov Decision Processes: Discrete Stochastic Dynamic Programming , 1994 .
[100] Manuela L. Bujorianu,et al. Extended Stochastic Hybrid Systems and Their Reachability Problem , 2004, HSCC.
[101] John Lygeros,et al. A probabilistic approach to aircraft conflict detection , 2000, IEEE Trans. Intell. Transp. Syst..
[102] Dimitri Jeltsema,et al. Proceedings Of The 2000 American Control Conference , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).
[103] S. Bron,et al. Engineering of quorum‐sensing systems for improved production of alkaline protease by Bacillus subtilis , 2004, Journal of applied microbiology.
[104] Alexandre M. Bayen,et al. A Differential Game Formulation of Alert Levels in ETMS Data for High Altitude Traffic , 2003 .
[105] Jan C. Willems,et al. Introduction to mathematical systems theory: a behavioral approach, Texts in Applied Mathematics 26 , 1999 .
[106] Ashish Tiwari,et al. Nonlinear Systems: Approximating Reach Sets , 2004, HSCC.
[107] S. Shankar Sastry,et al. The Concept of Deadlock and Livelock in Hybrid Control Systems , 2007, HSCC.
[108] P. Souganidis,et al. Differential Games and Representation Formulas for Solutions of Hamilton-Jacobi-Isaacs Equations. , 1983 .
[109] Hidde de Jong,et al. Modeling and Simulation of Genetic Regulatory Systems: A Literature Review , 2002, J. Comput. Biol..
[110] Ian M. Mitchell,et al. Level Set Methods for Computation in Hybrid Systems , 2000, HSCC.
[111] J. Lygeros,et al. A game theoretic approach to controller design for hybrid systems , 2000, Proceedings of the IEEE.
[112] G. G. Stokes. "J." , 1890, The New Yale Book of Quotations.
[113] C. Guestrin,et al. Solving Factored MDPs with Hybrid State and Action Variables , 2006, J. Artif. Intell. Res..
[114] Karl Henrik Johansson,et al. Towards a Geometric Theory of Hybrid Systems , 2000, HSCC.
[115] K. Entian,et al. Genes involved in self-protection against the lantibiotic subtilin produced by Bacillus subtilis ATCC 6633 , 1994, Applied and environmental microbiology.
[116] L.C.G.J.M. Habets,et al. Book review: Introduction to mathematical systems theory, a behavioral approach , 2000 .
[117] Roger W. Brockett,et al. Hybrid Models for Motion Control Systems , 1993 .
[118] Olivier Bournez,et al. Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems , 2000, HSCC.
[119] John Lygeros,et al. On reachability and minimum cost optimal control , 2004, Autom..
[120] Pravin Varaiya. The martingale theory of jump processes , 1975 .
[121] Tiziano Villa,et al. Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine , 2000, HSCC.
[122] John Lygeros,et al. Controllers for reachability specifications for hybrid systems , 1999, Autom..
[123] Jianghai Hu,et al. A stochastic approximation method for reachability computations , 2006 .
[124] Bruce H. Krogh,et al. Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes , 2006, HSCC.
[125] S. I. Rubinow,et al. Introduction to Mathematical Biology , 1975 .
[126] Alexandre M. Bayen,et al. Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets , 2001, HSCC.
[127] John Lygeros,et al. An interface between continuous and discrete-event controllers for vehicle automation , 1994 .
[128] U. Ozguner,et al. Stability of hybrid systems , 1994, Proceedings of 1994 9th IEEE International Symposium on Intelligent Control.
[129] S. Shankar Sastry,et al. O-Minimal Hybrid Systems , 2000, Math. Control. Signals Syst..
[130] B. Krogh,et al. Computing polyhedral approximations to flow pipes for dynamic systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).
[131] S. Banerjee,et al. Structure and expression of a gene encoding the precursor of subtilin, a small protein antibiotic. , 1988, The Journal of biological chemistry.
[132] John Lygeros,et al. Stochastic hybrid systems: Theory and safety critical applications , 2006 .
[133] John Lygeros,et al. Stochastic Hybrid Delay Population Dynamics , 2006, HSCC.
[134] A. Bicchi,et al. SYNTHESIS FOR PRACTICAL STABILIZATION OF QUANTIZED LINEAR SYSTEMS , 2022 .
[135] John Lygeros,et al. Towars a Theory of Stochastic Hybrid Systems , 2000, HSCC.
[136] M. K. Ghosh,et al. Optimal control of switching diffusions with application to flexible manufacturing systems , 1993 .
[137] H. Kushner. Numerical Methods for Stochastic Control Problems in Continuous Time , 2000 .
[138] Mark H. Davis. Markov Models and Optimization , 1995 .
[139] David Q. Mayne,et al. Reachability analysis of discrete-time systems with disturbances , 2006, IEEE Transactions on Automatic Control.
[140] T. Stein. Bacillus subtilis antibiotics: structures, syntheses and specific functions , 2005, Molecular microbiology.
[141] A. B. Kurzhanskii,et al. Attainability problems under stochastic perturbations , 2004 .
[142] Xuerong Mao,et al. Convergence of the Euler-Maruyama method for stochastic differential equations with Markovian switching , 2004, Math. Comput. Simul..
[143] M. Mariton,et al. Jump Linear Systems in Automatic Control , 1992 .
[144] A.D. Ames,et al. Characterization of Zeno behavior in hybrid systems using homological methods , 2005, Proceedings of the 2005, American Control Conference, 2005..
[145] S. Shankar Sastry,et al. Modeling Subtilin Production in Bacillus subtilis Using Stochastic Hybrid Systems , 2004, HSCC.
[146] Henrik Sandberg,et al. Proceedings of the 16th International symposium on Mathematical Theory of Networks and Systems , 2004 .
[147] Patrizio Colaneri,et al. On almost sure stability of continuous-time Markov jump linear systems , 2006, Autom..
[148] V. Borkar. Probability Theory: An Advanced Course , 1995 .
[149] N. U. Prabhu,et al. Stochastic Processes and Their Applications , 1999 .
[150] Tae Woong Yoon,et al. Proceedings of the 43rd IEEE Conference on Decision and Control , 2004 .
[151] J. Walrand,et al. Distributed Dynamic Programming , 2022 .
[152] John Lygeros,et al. On the exponential stability of switching diffusion processes , 2005, IEEE Transactions on Automatic Control.
[153] R. Cont,et al. Financial Modelling with Jump Processes , 2003 .
[154] Xenofon D. Koutsoukos,et al. Computational Methods for Reachability Analysis of Stochastic Hybrid Systems , 2006, HSCC.
[155] S. Sastry,et al. Towars a Theory of Stochastic Hybrid Systems , 2000, HSCC.
[156] Aihua Xia,et al. Weak Convergence of Markov Processes with Extended Generators , 1994 .
[157] Abhay G. Bhatt,et al. Weak convergence to a Markov process: The martingale approach , 1993 .
[158] Christopher A. Voigt,et al. The Bacillus subtilis sin Operon , 2005, Genetics.
[159] Henk A. P. Blom,et al. Stochastic Hybrid Processes with Hybrid Jumps , 2003, ADHS.
[160] G. Church,et al. Analysis of optimality in natural and perturbed metabolic networks , 2002 .
[161] Paul Glasserman,et al. Convergence of a discretization scheme for jump-diffusion processes with state–dependent intensities , 2004, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.
[162] John Lygeros,et al. Verified hybrid controllers for automated vehicles , 1998, IEEE Trans. Autom. Control..
[163] R. Malhamé,et al. Electric load model synthesis by diffusion approximation of a high-order hybrid-state stochastic system , 1985 .
[164] Pravin Varaiya,et al. Smart cars on smart roads: problems of control , 1991, IEEE Trans. Autom. Control..
[165] Pravin Varaiya,et al. Ellipsoidal Techniques for Reachability Analysis , 2000, HSCC.
[166] J. Hasty,et al. Noise-based switches and amplifiers for gene expression. , 2000, Proceedings of the National Academy of Sciences of the United States of America.
[167] S. Shankar Sastry,et al. A Homology Theory for Hybrid Systems: Hybrid Homology , 2005, HSCC.
[168] S. Sastry,et al. Zeno hybrid systems , 2001 .
[169] H.A.P. Blom,et al. Particle filtering for stochastic hybrid systems , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).
[170] Jörgen W. Weibull,et al. Evolutionary Game Theory , 1996 .
[171] K. Entian,et al. Evidence for a multimeric subtilin synthetase complex , 1997, Journal of bacteriology.
[172] Anders Rantzer,et al. Convex dynamic programming for hybrid systems , 2002, IEEE Trans. Autom. Control..
[173] D. Williams. STOCHASTIC DIFFERENTIAL EQUATIONS: THEORY AND APPLICATIONS , 1976 .
[174] S. Gould,et al. The spandrels of San Marco and the Panglossian paradigm: a critique of the adaptationist programme , 1979, Proceedings of the Royal Society of London. Series B. Biological Sciences.
[175] Vivek S. Borkar,et al. Optimal Control of Diffusion Processes , 1989 .
[176] Antoine Girard,et al. Approximate Simulation Relations for Hybrid Systems , 2008, Discret. Event Dyn. Syst..
[177] John Lygeros,et al. Reachability Questions in Piecewise Deterministic Markov Processes , 2003, HSCC.
[178] Calin Belta,et al. Hybrid Modeling and Simulation of Biomolecular Networks , 2001, HSCC.
[179] Pravin Varaiya,et al. Stochastic Systems: Estimation, Identification, and Adaptive Control , 1986 .
[180] Hiroaki Kitano,et al. Looking beyond the details: a rise in system-oriented approaches in genetics and molecular biology , 2002, Current Genetics.
[181] D. Gillespie. A General Method for Numerically Simulating the Stochastic Time Evolution of Coupled Chemical Reactions , 1976 .
[182] Patrizio Colaneri,et al. Almost sure stability of stochastic linear systems with ergodic parameters: an average contractivity criterion , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.
[183] M. K. Ghosh,et al. Optimal Control of a Stochastic Hybrid System with Discounted Cost , 1999 .
[184] Ashish Tiwari,et al. Box invariance of Hybrid and switched Systems , 2006, ADHS.
[185] Debasish Chatterjee,et al. Stability analysis of deterministic and stochastic switched systems via a comparison principle and multiple Lyapunov functions , 2006, SIAM J. Control. Optim..
[186] S. Shankar Sastry,et al. Probabilistic safety analysis in three dimensional aircraft flight , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).
[187] G. Milstein. Numerical Integration of Stochastic Differential Equations , 1994 .
[188] S. Strogatz. Exploring complex networks , 2001, Nature.
[189] E. M. Hartwell. Boston , 1906 .
[190] D. Chatterjee,et al. On stability of stochastic switched systems , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).
[191] J M Smith,et al. Evolution and the theory of games , 1976 .
[192] J. Geromel,et al. Stability and stabilization of discrete time switched systems , 2006 .
[193] Ashish Tiwari,et al. Series of Abstractions for Hybrid Automata , 2002, HSCC.
[194] Arunabha Bagchi,et al. Modeling Stochastic Hybrid Systems , 2003, System Modelling and Optimization.
[195] Daniel Liberzon,et al. Switching in Systems and Control , 2003, Systems & Control: Foundations & Applications.
[196] Linda J. S. Allen,et al. An introduction to mathematical biology , 2006 .
[197] Ian M. Mitchell,et al. A Toolbox of Level Set Methods , 2005 .
[198] John Lygeros,et al. Parameter identification for piecewise Deterministic Markov Processes: a Case Study on a biochemical Network , 2006, ADHS.
[199] Pravin Varaiya,et al. What's decidable about hybrid automata? , 1995, STOC '95.
[200] John Lygeros,et al. Asymptotic stability and boundedness of delay switching diffusions , 2004, IEEE Transactions on Automatic Control.
[201] A. Arkin,et al. It's a noisy business! Genetic regulation at the nanomolar scale. , 1999, Trends in genetics : TIG.
[202] Ansgar Fehnker,et al. Benchmarks for Hybrid Systems Verification , 2004, HSCC.
[203] Thomas A. Henzinger,et al. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.