A new class of decidable hybrid systems (Q4249569)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1303067
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A new class of decidable hybrid systems |
scientific article; zbMATH DE number 1303067 |
Statements
22 November 1999
0 references
hybrid systems
0 references
reachability
0 references
decidability
0 references
bisimulations
0 references
0.9488182
0 references
0.9133793
0 references
0.9120485
0 references
0.9120485
0 references
0.89256585
0 references
0.8875509
0 references
A new class of decidable hybrid systems (English)
0 references
The hybrid systems here are discrete systems which ``locally'' realize continuous systems, essentially given via suitable vector fields, i.e. they combine continuous evolutions and discrete jumps. The interesting problem is that of reachability, i.e. whether some final state can be reached from some initial one. Using bisimulations, i.e. reachability preserving quotients, and results from standard model theory of theories of the ordered field of reals (partly including exponentiation) the authors show that the reachability problem becomes decidable for some classes of ``local'' vector fields. For the entire collection see [Zbl 0911.00057].
0 references
