Computing compositional proofs of input-to-output stability using SOS optimization and -decidability

DOI10.1016/J.NAHS.2016.03.008MaRDI QIDQ2374569zbMATH OpenOpenAlexWikidataFDO

Authors Abhishek Murthy, M. A. Islam, Scott A. Smolka, Radu Grosu

Publication date 15 December 2016

Published in Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.nahs.2016.03.008

zbMATH Keywords

model-order reductioncardiac cell modelapproximate bisimulationionic channel

Mathematics Subject Classification ID

Medical applications (general) (92C50) Control/observation systems governed by partial differential equations (93C20) Input-output approaches in control theory (93D25) Lyapunov and storage functions (93D30)

Recommendations

• Computing bisimulation functions using SOS optimization and \(\delta\)-decidability over the reals
• Compositionality results for cardiac cell dynamics
• Proofs from simulations and modular annotations
• Determining input-to-state and incremental input-to-state stability of nonpolynomial systems
• Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems

Cites work

• scientific article; zbMATH DE number 5347321 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 2121148 (Why is no real title available?)
• scientific article; zbMATH DE number 3056963 (Why is no real title available?)
• A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
• A Lyapunov formulation of the nonlinear small-gain theorem for interconnected ISS systems
• Approximate bisimulation relations for constrained linear systems
• Approximation Metrics for Discrete and Continuous Systems
• Compositional construction of approximate abstractions
• Compositionality results for cardiac cell dynamics
• Computing bisimulation functions using SOS optimization and \(\delta\)-decidability over the reals
• Hierarchical control system design using approximate simulation
• Hybrid Systems: Computation and Control
• Norms and exclusion theorems
• On characterizations of the input-to-state stability property
• Simulation-guided Lyapunov analysis for hybrid dynamical systems
• Smooth stabilization implies coprime factorization
• Switching in systems and control
• \(\delta \)-complete decision procedures for satisfiability over the reals
• \(\delta\)-decidability over the reals
• dReal: an SMT solver for nonlinear theories over the reals

Cited in

(3)

• Computing bisimulation functions using SOS optimization and \(\delta\)-decidability over the reals
• Compositionality results for cardiac cell dynamics
• Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans

Describes a project that uses

Uses Software

• BFComp
• cftool
• dReal
• MATISSE
• Sostools
• Matlab

This page was built for publication: Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2374569)