Computing compositional proofs of input-to-output stability using SOS optimization and -decidability
DOI10.1016/J.NAHS.2016.03.008zbMATH Open1351.93133OpenAlexW2357291834WikidataQ113868514 ScholiaQ113868514MaRDI QIDQ2374569FDOQ2374569
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
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
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)
Cites Work
- Approximate bisimulation relations for constrained linear systems
- dReal: an SMT solver for nonlinear theories over the reals
- Switching in systems and control
- Smooth stabilization implies coprime factorization
- Hybrid Systems: Computation and Control
- On characterizations of the input-to-state stability property
- A Lyapunov formulation of the nonlinear small-gain theorem for interconnected ISS systems
- Simulation-guided Lyapunov analysis for hybrid dynamical systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Approximation Metrics for Discrete and Continuous Systems
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
- Title not available (Why is that?)
- \(\delta \)-complete decision procedures for satisfiability over the reals
- Title not available (Why is that?)
- Norms and exclusion theorems
- Hierarchical control system design using approximate simulation
- Compositionality results for cardiac cell dynamics
- \(\delta\)-decidability over the reals
- Compositional construction of approximate abstractions
- Computing bisimulation functions using SOS optimization and \(\delta\)-decidability over the reals
Cited In (3)
Uses Software
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)
