Decidable hybrid systems (Q1922203)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Decidable hybrid systems |
scientific article; zbMATH DE number 927175
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Decidable hybrid systems |
scientific article; zbMATH DE number 927175 |
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
