Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability (Q2374569)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability |
scientific article |
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
