论文信息 - Discrete Abstractions for Two-Dimensional Nearly Integrable Continuous Systems

Discrete Abstractions for Two-Dimensional Nearly Integrable Continuous Systems

Abstract Many manufacturing processes involve an interplay of logical and continuous objectives. Hybrid Control Systems are well-suited for studying interactions between continuous and logical control goals. A technique for generating the interfaces of a family of Hybrid Control Systems is presented. It amounts to extracting (untimed and specification-independent) abstractions for a class of nonlinear continuous systems satisfying an integrability property. Here we focus on the special case of two-dimensional systems. An example illustrates the theory.

[1] Mireille E. Broucke. A Geometric Approach to Bisimulation and Verification of Hybrid Systems , 1999, HSCC.

[2] Jan Lunze,et al. Deterministic discrete-event representations of linear continuous-variable systems , 1999, Autom..

[3] Jan Lunze,et al. Stabilization of nonlinear systems by qualitative feedback controllers , 1995 .

[4] O. Stursberg,et al. On the Generation of Timed Discrete Approximations for Continuous Systems , 2000 .

[5] Panos J. Antsaklis,et al. An invariant‐based approach to the design of hybrid control systems , 2001 .

[6] Feng Zhao,et al. Extracting and Representing Qualitative Behaviors of Complex Systems in Phase Spaces , 1991, IJCAI.

[7] E. S. Lemch,et al. On the global controllability of Hamiltonian and other nonlinear systems: fountains and recurrence , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[8] Jörg Raisch. Discrete Abstractions of Continuous Systems – an Input/Output Point of View , 2000 .

[9] H. Sussmann. Orbits of families of vector fields and integrability of distributions , 1973 .