Optimization of Discrete-discrete Hybrid Dynamical Systems and Its Application to Problem Solving
چکیده
A hybrid dynamical system has continuous dynamics, described by differential equations, which interact with a discrete event dynamics [4]. One of the simplest discrete dynamics appears in the delay of a dynamic system. Delays can change in discrete times by discrete dynamics. This kind of interactions can show very complicated behavior. Some of the changes of delay can be described by jumps. The jumps can have proper dynamics, or can be considered as control in the framework of control systems. Technology development, problem solving [2, 3], and theorem proving have a common property: All new results became new tools for the development at the instant of their birth. That is, they become sources.