Approximation Metrics for Discrete and Continuous Systems
暂无分享,去创建一个
[1] Ian M. Mitchell,et al. Level Set Methods for Computation in Hybrid Systems , 2000, HSCC.
[2] Antoine Girard,et al. Approximate Simulation Relations for Hybrid Systems , 2008, Discret. Event Dyn. Syst..
[3] Paulo Tabuada,et al. Bisimilar control affine systems , 2004, Syst. Control. Lett..
[4] George J. Pappas,et al. Approximate Bisimulations for Constrained Linear Systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.
[5] A. Agung Julius,et al. A behavioral framework for compositionality: linear systems, discrete event systems and hybrid systems , 2004 .
[6] Sérgio Vale Aguiar Campos,et al. Symbolic Model Checking , 1993, CAV.
[7] Maria Domenica Di Benedetto,et al. Bisimulation theory for switching linear systems , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).
[8] E. Clarke,et al. Symbolic Model Checking : IO * ’ States and Beyond * , 1992 .
[9] Edmund M. Clarke,et al. Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..
[10] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[11] Albert Benveniste,et al. Toward an Approximation Theory for Computerised Control , 2002, EMSOFT.
[12] Luca de Alfaro,et al. Linear and Branching Metrics for Quantitative Transition Systems , 2004, ICALP.
[13] Arjan van der Schaft,et al. Equivalence of dynamical systems by bisimulation , 2004, IEEE Trans. Autom. Control..
[14] Chris Hankin,et al. Quantitative Relations and Approximate Process Equivalences , 2003, CONCUR.
[15] A. J. van der Schaft. Equivalence of dynamical systems by bisimulation , 2004, IEEE Transactions on Automatic Control.
[16] Paulo Tabuada,et al. Bisimulation relations for dynamical, control, and hybrid systems , 2005, Theor. Comput. Sci..
[17] George J. Pappas. Bisimilar linear systems , 2003, Autom..
[18] Fernando Paganini,et al. IEEE Transactions on Automatic Control , 2006 .
[19] B. Krogh,et al. Reachability analysis of hybrid control systems using reduced-order models , 2004, Proceedings of the 2004 American Control Conference.
[20] George J. Pappas,et al. Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.
[21] Ashish Tiwari,et al. Series of Abstractions for Hybrid Automata , 2002, HSCC.
[22] Bruce H. Krogh,et al. Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations , 1999, HSCC.
[23] Antoine Girard,et al. Reachability of Uncertain Linear Systems Using Zonotopes , 2005, HSCC.
[24] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[25] George J. Pappas,et al. Approximate Bisimulations for Nonlinear Dynamical Systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.
[26] Rasmus Ejlers Møgelberg,et al. Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science , 2007 .
[27] Olivier Bournez,et al. Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems , 2000, HSCC.
[28] A. Schaft,et al. Bisimulation theory for switching linear systems , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).
[29] Radha Jagadeesan,et al. Metrics for labelled Markov processes , 2004, Theor. Comput. Sci..
[30] Eugene Asarin,et al. Abstraction by Projection and Application to Multi-affine Systems , 2004, HSCC.
[31] Jean-Pierre Aubin,et al. Viability theory , 1991 .
[32] Rajeev Alur,et al. Reachability Analysis of Hybrid Systems via Predicate Abstraction , 2002, HSCC.
[33] Nicolas Markey,et al. Non-deterministic Temporal Logics for General Flow Systems , 2004, HSCC.
[34] Luca de Alfaro,et al. Linear and Branching System Metrics , 2009, IEEE Transactions on Software Engineering.
[35] Joël Ouaknine,et al. An Intrinsic Characterization of Approximate Probabilistic Bisimilarity , 2003, FoSSaCS.
[36] G. Ewald. Combinatorial Convexity and Algebraic Geometry , 1996 .
[37] Ali Jadbabaie,et al. Safety Verification of Hybrid Systems Using Barrier Certificates , 2004, HSCC.
[38] D. Sorensen,et al. A Survey of Model Reduction Methods for Large-Scale Systems , 2000 .
[39] Scott A. Smolka,et al. CCS expressions, finite state processes, and three problems of equivalence , 1983, PODC '83.