Computing bisimulation functions using SOS optimization and -decidability over the reals

DOI10.1145/2728606.2728609MaRDI QIDQ2988918zbMATH OpenOpenAlexFDO

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

Publication date 19 May 2017

Published in Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2728606.2728609

zbMATH Keywords

bisimulation functionsbisimulation functions (BFs)input-to-output stability (IOS)Lyapunov-like functionssum-of-squares (SOS) optimization

Mathematics Subject Classification ID

System structure simplification (93B11) Input-output approaches in control theory (93D25) Lyapunov and storage functions (93D30)

Recommendations

• Computing compositional proofs of input-to-output stability using SOS optimization and -decidability
• Approximate bisimulation relations for constrained linear systems
• Hybrid Systems: Computation and Control
• Compositionality results for cardiac cell dynamics
• Approximate bisimulation: a bridge between computer science and control theory

Cites work

• Continuous system simulation
• scientific article; zbMATH DE number 1638973 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• On fixed points of strictly causal functions
• Requirements for hybrid cosimulation standards
• THEORY OF QUANTIZED SYSTEMS: DEVS SIMULATION OF PERCEIVING AGENTS

Cited in

(3)

• Computing compositional proofs of input-to-output stability using SOS optimization and -decidability
• Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans
• Compositionality results for cardiac cell dynamics

Describes a project that uses

Uses Software

• BFComp

This page was built for publication: Computing bisimulation functions using SOS optimization and \(\delta\)-decidability over the reals

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