کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
9501274 1338396 2005 32 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
On the expressiveness and decidability of o-minimal hybrid systems
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات آنالیز ریاضی
پیش نمایش صفحه اول مقاله
On the expressiveness and decidability of o-minimal hybrid systems
چکیده انگلیسی
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.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Complexity - Volume 21, Issue 4, August 2005, Pages 447-478
نویسندگان
, ,