论文信息 - Logic, topological semantics and hybrid systems

Logic, topological semantics and hybrid systems

This note is a preliminary discussion of logics and semantics for the specification, development, and verification of hybrid control systems, with special attention to the central issues of continuity and stability. The hybrid control systems consist of continuous plants and discrete automata.

[1] A. Nerode,et al. Continualization : A hybrid systems control technique for computing , 1996 .

[2] Anil Nerode,et al. Modal Logics and Topological Semantics for Hybrid Systems , 1997 .

[3] Anil Nerode,et al. Hybrid Systems as Finsler Manifolds: Finite State Control as Approximation to Connections , 1994, Hybrid Systems.

[4] A. Nerode,et al. Some Stone spaces and recursion theory , 1959 .

[5] Anil Nerode,et al. Models for Hybrid Systems: Automata, Topologies, Controllability, Observability , 1992, Hybrid Systems.

[6] J. M. Davoren,et al. Modal logics for continuous dynamics , 1998 .

[7] Anil Nerode,et al. Viability in Hybrid Systems , 1995, Theor. Comput. Sci..

[8] Anil Nerode,et al. Multiple Agent Hybrid Control Architecture , 1992, Hybrid Systems.

[9] A. Tarski. Der Aussagenkalkül und die Topologie , 1938 .