Decidable hybrid systems (Q1922203)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Decidable hybrid systems |
scientific article |
Statements
Decidable hybrid systems (English)
0 references
15 September 1996
0 references
The authors study an interesting class of dynamic systems combining discrete evolution and continuous evolution. (These systems are called hybrid systems). The continuous part of the dynamics is modeled by a differential inclusion. The target problem is investigated. For a certain class of hybrid systems, the authors show that the reachability problem can be decided in a finite number of steps.
0 references
hybrid systems
0 references
differential inclusion
0 references
reachability problem
0 references
