Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability
From MaRDI portal
Publication:2374569
DOI10.1016/j.nahs.2016.03.008zbMath1351.93133OpenAlexW2357291834WikidataQ113868514 ScholiaQ113868514MaRDI QIDQ2374569
Radu Grosu, Abhishek Murthy, Md. Ariful Islam, Scott A. Smolka
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On characterizations of the input-to-state stability property
- Norms and exclusion theorems
- Hierarchical control system design using approximate simulation
- Switching in systems and control
- A Lyapunov formulation of the nonlinear small-gain theorem for interconnected ISS systems
- Approximate bisimulation relations for constrained linear systems
- δ-Complete Decision Procedures for Satisfiability over the Reals
- Delta-Decidability over the Reals
- Simulation-guided lyapunov analysis for hybrid dynamical systems
- Compositionality results for cardiac cell dynamics
- Compositional construction of approximate abstractions
- Computing bisimulation functions using SOS optimization and δ -decidability over the reals
- Smooth stabilization implies coprime factorization
- dReal: An SMT Solver for Nonlinear Theories over the Reals
- Approximation Metrics for Discrete and Continuous Systems
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
- Hybrid Systems: Computation and Control
This page was built for publication: Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability
