Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability (Q2374569)
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: Computing compositional proofs of input-to-output stability using SOS optimization and -decidability |
scientific article; zbMATH DE number 6664170
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability |
scientific article; zbMATH DE number 6664170 |
Statements
Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability (English)
0 references
15 December 2016
0 references
model-order reduction
0 references
cardiac cell model
0 references
ionic channel
0 references
approximate bisimulation
0 references
0 references
0 references
0 references
0.9516587853431702
0 references
0.6859842538833618
0 references
0.677201509475708
0 references
0.6525467038154602
0 references
