Pre-orders for reasoning about stability

DOI10.1145/2185632.2185662MaRDI QIDQ2986767zbMATH OpenOpenAlexFDO

Authors Pavithra Prabhakar, Mahesh Viswanathan, 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

bisimulationpre-orderstabilityuniform continuityverification

Mathematics Subject Classification ID

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

Recommendations

• Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems
• Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems
• scientific article; zbMATH DE number 1927572
• On Bicontinuous Bisimulation and the Preservation of Stability
• Simulations up-to and canonical preorders (extended abstract)

Cited in

(9)

• On Ruppert's preordering
• Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems
• Special classes of positive preorders
• Hybrid tools for hybrid systems -- proving stability and safety at once
• Multiparty testing preorders
• Pre-orders and Orders Generated by Conjunctive Uninorms
• Abstractions of varying decentralization degree for reachability of coupled multiagent systems
• Simulation relations and controllability properties of linear and nonlinear control systems
• Change-of-bases abstractions for non-linear hybrid systems

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

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