A modal characterization of alternating approximate bisimilarity

DOI10.1007/S10703-013-0201-9MaRDI QIDQ479808zbMATH OpenOpenAlexFDO

Authors Jinjin Zhang, Zhaohui Zhu

Publication date 5 December 2014

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1212.5139

zbMATH Keywords

finite abstractionsalternating approximate bisimilaritycontrol systems with disturbancesmodal characterizationtemporal logical specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Discrete event control/observation systems (93C65)

Abstract: Recently, alternating transition systems are adopted to describe control systems with disturbances and their finite abstract systems. In order to capture the equivalence relation between these systems, a notion of alternating approximate bisimilarity is introduced. This paper aims to establish a modal characterization for alternating approximate bisimilarity. Moreover, based on this result, we provide a link between specifications satisfied by the samples of control systems with disturbances and their finite abstractions.

Recommendations

• scientific article; zbMATH DE number 1696897
• Approximately Bisimilar Finite Abstractions of Stable Linear Systems
• Approximate simulation relations for hybrid systems
• Approximate bisimulation: a bridge between computer science and control theory
• Bisimilar Finite Abstractions of Interconnected Systems

Cites work

• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 2209335 (Why is no real title available?)
• A behavioural pseudometric based on \(\lambda\)-bisimilarity
• A behavioural pseudometric for probabilistic transition systems
• A final coalgebra theorem
• Algebraic laws for nondeterminism and concurrency
• Alternating-time temporal logic
• An Approximate Simulation Approach to Symbolic Control
• Approximate bisimulation: a bridge between computer science and control theory
• Approximately Bisimilar Finite Abstractions of Stable Linear Systems
• Approximately bisimilar symbolic models for nonlinear control systems
• Approximating Markov processes through filtration
• Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems
• Approximation Metrics for Discrete and Continuous Systems
• Bisimulation indexes and their applications
• CONCUR 2005 – Concurrency Theory
• Characterize branching distance in terms of \((\eta , \alpha )\)-bisimilarity
• Dealing with Nondeterminism in Symbolic Control
• Hierarchical control system design using approximate simulation
• Hybrid Systems: Computation and Control
• Linear Time Logic Control of Discrete-Time Linear Systems
• Metrics for labelled Markov processes
• Symbolic models for nonlinear control systems affected by disturbances
• Symbolic models for nonlinear control systems: alternating approximate bisimulations
• Synthesis of switching controllers using approximately bisimilar multiscale abstractions
• Theoretical and experimental studies of heat transfer with moving phase-change interface in freezing and thawing of porous potting soil
• Time abstracted bisimulation: Implicit specifications and decidability
• \(\pi\)-calculus with noisy channels

Cited in

(2)

• Characterization and computation of approximate bisimulations for fuzzy automata
• Nondeterministic fuzzy automata with membership values in complete residuated lattices

This page was built for publication: A modal characterization of alternating approximate bisimilarity

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