Understanding Basic Automata Theory in the Continuous Time Setting
暂无分享,去创建一个
[1] Eduardo D. Sontag,et al. Mathematical control theory: deterministic systems , 1990 .
[2] Boris A. Trakhtenbrot,et al. From finite automata toward hybrid systems , 1997 .
[3] Boris A. Trakhtenbrot,et al. Automata and Their Interaction: Definitional Suggestions , 1999, FCT.
[4] Eduardo D. Sontag,et al. Mathematical Control Theory: Deterministic Finite Dimensional Systems , 1990 .
[5] Olaf Müller,et al. Functional Specification of Real-Time and Hybrid Systems , 1997, HART.
[6] Alexander Moshe Rabinovich,et al. Automata over continuous time , 2003, Theor. Comput. Sci..
[7] Alexander Moshe Rabinovich,et al. Synchronous Circuits over Continuous Time: Feedback Reliability and mpleteness , 2004, Fundam. Informaticae.
[8] A. Pnueli,et al. Effective synthesis of switching controllers for linear systems , 2000, Proceedings of the IEEE.
[9] Joseph Sifakis,et al. Controller Synthesis for Timed Automata 1 , 1998 .
[10] A. Burks,et al. Theory of Logical Nets , 1953, Proceedings of the IRE.
[11] Thomas A. Henzinger,et al. Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems , 1996, Hybrid Systems.
[12] Manfred Broy,et al. Semantics of finite and infinite networks of concurrent communicating agents , 1987, Distributed Computing.
[13] Eduardo Sontag,et al. Mathematical Control Theory: Deterministic Finite Dimensional , 2001 .
[14] T. Henzinger. The theory of hybrid automata , 1996, LICS 1996.
[15] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[16] O. Maler. A unified approach for studying discrete and continuous dynamical systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).
[17] Johannes Schumacher,et al. An Introduction to Hybrid Dynamical Systems, Springer Lecture Notes in Control and Information Sciences 251 , 1999 .
[18] Ernst-Rüdiger Olderog,et al. Decomposing Real-Time Specifications , 1997, COMPOS.
[19] Alexander Moshe Rabinovich,et al. From Finite Automata toward Hybrid Systems (Extended Abstract) , 1997, FCT.
[20] Thomas A. Henzinger,et al. Logics and Models of Real Time: A Survey , 1991, REX Workshop.
[21] Amir Pnueli,et al. Timing analysis of asynchronous circuits using timed automata , 1995, CHARME.
[22] Boris A. Trakhtenbrot. Origins and metamorphoses of the Trinity: logic, nets, automata , 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
[23] Ying Zhang,et al. Constraint Nets: A Semantic Model for Hybrid Dynamic Systems , 1995, Theor. Comput. Sci..
[24] Zohar Manna,et al. Models for reactivity , 1993, Acta Informatica.
[25] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[26] Paul Caspi,et al. A Kleene theorem for timed automata , 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
[27] A. Nerode,et al. Logics for hybrid systems , 2000, Proceedings of the IEEE.
[28] Boris A. Trakhtenbrot,et al. Automata, Circuits, and Hybrids: Facets of Continuous Time , 2001, ICALP.
[29] Thomas A. Henzinger,et al. A Determinizable Class of Timed Automata , 1994, CAV.
[30] Zvi Artstein,et al. Examples of Stabilization with Hybrid Feedback , 1996, Hybrid Systems.
[31] Joseph Sifakis,et al. On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract) , 1995, STACS.
[32] W. M. Wonham,et al. The control of discrete event systems , 1989 .
[33] Alexander Moshe Rabinovich,et al. Finite variability interpretation of monadic logic of order , 2002, Theor. Comput. Sci..
[34] Eugene Asarin. Equations on Timed Languages , 1998, HSCC.
[35] Yoram Hirshfeld,et al. Logics for Real Time: Decidability and Complexity , 2004, Fundam. Informaticae.