Pre-orders for reasoning about stability

DOI10.1145/2185632.2185662zbMath1362.68179OpenAlexW2147082453MaRDI QIDQ2986767

Mahesh Viswanathan, Pavithra Prabhakar, Geir E. Dullerud

Publication date: 16 May 2017

Published in: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

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

zbMATH Keywords

verificationstabilitybisimulationuniform continuitypre-order

Mathematics Subject Classification ID

Asymptotic stability in control theory (93D20) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once ⋮ Change-of-bases abstractions for non-linear hybrid systems ⋮ Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems ⋮ Abstractions of Varying Decentralization Degree for Reachability of Coupled Multiagent Systems ⋮ Simulation Relations and Controllability Properties of Linear and Nonlinear Control Systems

This page was built for publication: Pre-orders for reasoning about stability