On the expressiveness and decidability of o-minimal hybrid systems |
| |
Institution: | 1. Dept of Matematiques / Faculte des Sciences et Tecniques / Universite de Limoges / 123,, Avenue Albert Thomas / F-87060 Limoges cedex, FRANCE;2. Universidad de Cantabria / Facultad de Ciencias / Depto. Matematicas, Estadistica y Computacion Avde. de los Castros, s/n SPAIN |
| |
Abstract: | This paper is driven by a general motto: bisimulate a hybrid system by a finite symbolic dynamical system. In the case of o-minimal hybrid systems, the continuous and discrete components can be decoupled, and hence, the problem reduces in building a finite symbolic dynamical system for the continuous dynamics of each location. We show that this can be done for a quite general class of hybrid systems defined on o-minimal structures. In particular, we recover the main result of a paper by G. Lafferriere, G.J. Pappas, and S. Sastry, on o-minimal hybrid systems. We also provide an analysis and extension of results on decidability and complexity of problems and constructions related to o-minimal hybrid systems. |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|