Quantified Differential Dynamic Logic for Distributed Hybrid Systems
暂无分享,去创建一个
[1] Melvin Fitting,et al. First-Order Logic and Automated Theorem Proving , 1990, Graduate Texts in Computer Science.
[2] Bernhard Beckert,et al. Dynamic logic with non-rigid functions a basis for object-oriented program verification , 2006 .
[3] George E. Collins,et al. Partial Cylindrical Algebraic Decomposition for Quantifier Elimination , 1991, J. Symb. Comput..
[4] Larry Wos,et al. What Is Automated Reasoning? , 1987, J. Autom. Reason..
[5] Ka Lok Man,et al. Syntax and consistent equation semantics of hybrid Chi , 2006, J. Log. Algebraic Methods Program..
[6] Panos J. Antsaklis,et al. Hybrid Systems IV , 1997, Lecture Notes in Computer Science.
[7] André Platzer,et al. A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems , 2012, Log. Methods Comput. Sci..
[8] M. Fitting. First-order logic and automated theorem proving (2nd ed.) , 1996 .
[9] Michel A. Reniers,et al. Hybrid process algebra , 2005, J. Log. Algebraic Methods Program..
[10] Nancy A. Lynch,et al. Dynamic input/output automata, a formal model for dynamic systems , 2001, PODC '01.
[11] André Platzer,et al. Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics , 2010 .
[12] Insup Lee,et al. R-Charon, a Modeling Language for Reconfigurable Hybrid Systems , 2006, HSCC.
[13] Thomas A. Henzinger,et al. Hybrid Systems III , 1995, Lecture Notes in Computer Science.
[14] Gilles Dowek,et al. Provably Safe Coordinated Strategy for Distributed Conflict Resolution , 2005 .
[15] Sonia R. Sachs,et al. Design Of Platoon Maneuver Protocols For IVHS , 1991 .
[16] Philipp Rümmer,et al. Sequential, Parallel, and Quantified Updates of First-Order Structures , 2006, LPAR.
[17] Bernhard Beckert,et al. Dynamic Logic , 2007, The KeY Approach.
[18] Pravin Varaiya,et al. The Design of Platoon Maneuvers for IVHS , 1991, 1991 American Control Conference.
[19] Robert L. Grossman,et al. Timed Automata , 1999, CAV.
[20] José Meseguer,et al. Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems , 2006, HSCC.
[21] André Platzer,et al. Differential Dynamic Logic for Hybrid Systems , 2008, Journal of Automated Reasoning.
[22] Torben Braüner,et al. First-order modal logic , 2007, Handbook of Modal Logic.
[23] Dexter Kozen,et al. Kleene algebra with tests , 1997, TOPL.
[24] Jan Joris Vereijken. A Process Algebra for Hybrid Systems , 1999 .
[25] Yde Venema,et al. Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages , 2002, Theory and Practice of Logic Programming.
[26] Pravin Varaiya,et al. SHIFT: A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata , 1996, Hybrid Systems.
[27] Anders P. Ravn,et al. A Formal Description of Hybrid Systems , 1996, Hybrid Systems.
[28] Thomas A. Henzinger,et al. Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.
[29] Thomas A. Henzinger,et al. The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
[30] Frank Wolter,et al. Monodic fragments of first-order temporal logics: 2000-2001 A.D , 2001, LPAR.
[31] R. Milner,et al. Bigraphical Reactive Systems , 2001, CONCUR.
[32] Vladimir I. Bogachev,et al. Deterministic and stochastic differential equations in infinite-dimensional spaces , 1995 .
[33] William C. Rounds,et al. A Spatial Logic for the Hybrid p-Calculus , 2004, HSCC.
[34] André Platzer,et al. Differential-algebraic Dynamic Logic for Differential-algebraic Programs , 2010, J. Log. Comput..