Hybrid tools for hybrid systems -- proving stability and safety at once (Q2945598)
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 6481832
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Hybrid tools for hybrid systems -- proving stability and safety at once |
scientific article; zbMATH DE number 6481832 |
Statements
Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once (English)
0 references
14 September 2015
0 references
hybrid systems
0 references
automatic verification
0 references
stability
0 references
safety
0 references
reachability
0 references
Lyapunov theory
0 references
geometry
0 references
unrolling
0 references
0 references
0 references
0.7944055795669556
0 references
0.7805107831954956
0 references
0.7521935105323792
0 references
0.7377385497093201
0 references
0.7342784404754639
0 references
