مرکز منطقه ای اطلاع رساني علوم و فناوري - On the expressiveness and decidability of o-minimal hybrid systems

Title of article :

On the expressiveness and decidability of o-minimal hybrid systems

Author/Authors :

Thomas Brihaye، نويسنده , , Christian Michaux، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2005

Pages :

From page :

447

To page :

478

Keywords :

Hybrid System , O-minimality , BSS-model of computation , Bisimulation , Definability , Decidability

Journal title :

Journal of Complexity

Serial Year :

2005

Journal title :

Journal of Complexity

Record number :

292053

Link To Document :